tests: base_nullable.nit and base_eq_null_notnull.nit
[nit.git] / c_src / abstracttool._sep.c
index a231775..d59ebca 100644 (file)
@@ -8,10 +8,10 @@ void abstracttool___AbstractCompiler___init(val_t  self, int* init_table) {
   trace.file = LOCATE_abstracttool;
   variable[0] =  self;
   if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_AbstractCompiler].i]) return;
-  ((mmloader___ToolContext___init_t)CALL(variable[0],COLOR_mmloader___ToolContext___init))(variable[0], init_table /*YYY*/) /*ToolContext::init*/;
+  CALL_mmloader___ToolContext___init(variable[0])(variable[0], init_table /*YYY*/) /*ToolContext::init*/;
   variable[2] = variable[0];
   variable[3] = NEW_SrcModuleLoader_syntax___SrcModuleLoader___init(); /*new SrcModuleLoader*/
-  ((mmloader___ToolContext___register_loader_t)CALL(variable[2],COLOR_mmloader___ToolContext___register_loader))(variable[2], variable[3]) /*ToolContext::register_loader*/;
+  CALL_mmloader___ToolContext___register_loader(variable[2])(variable[2], variable[3]) /*ToolContext::register_loader*/;
   return_label0: while(false);
   init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_AbstractCompiler].i] = 1;
   tracehead = trace.prev;
@@ -25,43 +25,43 @@ void abstracttool___AbstractCompiler___exec_cmd_line(val_t  self) {
   trace.file = LOCATE_abstracttool;
   variable[0] =  self;
   variable[2] = variable[0];
-  ((mmloader___ToolContext___process_options_t)CALL(variable[2],COLOR_mmloader___ToolContext___process_options))(variable[2]) /*ToolContext::process_options*/;
+  CALL_mmloader___ToolContext___process_options(variable[2])(variable[2]) /*ToolContext::process_options*/;
   variable[2] = variable[0];
-  variable[2] = ((mmloader___ToolContext___opt_help_t)CALL(variable[2],COLOR_mmloader___ToolContext___opt_help))(variable[2]) /*ToolContext::opt_help*/;
-  variable[2] = ((opts___Option___value_t)CALL(variable[2],COLOR_opts___Option___value))(variable[2]) /*Option::value*/;
+  variable[2] = CALL_mmloader___ToolContext___opt_help(variable[2])(variable[2]) /*ToolContext::opt_help*/;
+  variable[2] = CALL_opts___Option___value(variable[2])(variable[2]) /*Option::value*/;
   if (UNTAG_Bool(variable[2])) { /*if*/
     variable[2] = variable[0];
-    variable[2] = ((mmloader___ToolContext___option_context_t)CALL(variable[2],COLOR_mmloader___ToolContext___option_context))(variable[2]) /*ToolContext::option_context*/;
-    ((opts___OptionContext___usage_t)CALL(variable[2],COLOR_opts___OptionContext___usage))(variable[2]) /*OptionContext::usage*/;
+    variable[2] = CALL_mmloader___ToolContext___option_context(variable[2])(variable[2]) /*ToolContext::option_context*/;
+    CALL_opts___OptionContext___usage(variable[2])(variable[2]) /*OptionContext::usage*/;
     variable[2] = variable[0];
     exit(UNTAG_Int( TAG_Int(0)));
   }
   variable[2] = variable[0];
-  variable[2] = ((mmloader___ToolContext___option_context_t)CALL(variable[2],COLOR_mmloader___ToolContext___option_context))(variable[2]) /*ToolContext::option_context*/;
-  variable[2] = ((opts___OptionContext___rest_t)CALL(variable[2],COLOR_opts___OptionContext___rest))(variable[2]) /*OptionContext::rest*/;
-  variable[2] = ((array___AbstractArray___length_t)CALL(variable[2],COLOR_abstract_collection___Collection___length))(variable[2]) /*AbstractArray::length*/;
+  variable[2] = CALL_mmloader___ToolContext___option_context(variable[2])(variable[2]) /*ToolContext::option_context*/;
+  variable[2] = CALL_opts___OptionContext___rest(variable[2])(variable[2]) /*OptionContext::rest*/;
+  variable[2] = CALL_abstract_collection___Collection___length(variable[2])(variable[2]) /*AbstractArray::length*/;
   variable[2] = TAG_Bool((variable[2])==( TAG_Int(0)));
   if (UNTAG_Bool(variable[2])) { /*if*/
     variable[2] = variable[0];
-    variable[2] = ((mmloader___ToolContext___option_context_t)CALL(variable[2],COLOR_mmloader___ToolContext___option_context))(variable[2]) /*ToolContext::option_context*/;
-    ((opts___OptionContext___usage_t)CALL(variable[2],COLOR_opts___OptionContext___usage))(variable[2]) /*OptionContext::usage*/;
+    variable[2] = CALL_mmloader___ToolContext___option_context(variable[2])(variable[2]) /*ToolContext::option_context*/;
+    CALL_opts___OptionContext___usage(variable[2])(variable[2]) /*OptionContext::usage*/;
     variable[2] = variable[0];
     exit(UNTAG_Int( TAG_Int(1)));
   }
   variable[3] = variable[0];
-  variable[3] = ((mmloader___ToolContext___option_context_t)CALL(variable[3],COLOR_mmloader___ToolContext___option_context))(variable[3]) /*ToolContext::option_context*/;
-  variable[3] = ((opts___OptionContext___rest_t)CALL(variable[3],COLOR_opts___OptionContext___rest))(variable[3]) /*OptionContext::rest*/;
+  variable[3] = CALL_mmloader___ToolContext___option_context(variable[3])(variable[3]) /*ToolContext::option_context*/;
+  variable[3] = CALL_opts___OptionContext___rest(variable[3])(variable[3]) /*OptionContext::rest*/;
   variable[2] = variable[3];
   variable[4] = NEW_Array_array___Array___init(); /*new Array[MMModule]*/
   variable[3] = variable[4];
-  variable[4] = ((array___AbstractArray___length_t)CALL( variable[2] /*rest*/,COLOR_abstract_collection___Collection___length))( variable[2] /*rest*/) /*AbstractArray::length*/;
+  variable[4] = CALL_abstract_collection___Collection___length( variable[2] /*rest*/)( variable[2] /*rest*/) /*AbstractArray::length*/;
   variable[5] = NEW_Range_range___Range___without_last( TAG_Int(0), variable[4]); /*new Range[Int]*/
   variable[4] = variable[5];
-  variable[4] = ((range___Range___iterator_t)CALL(variable[4],COLOR_abstract_collection___Collection___iterator))(variable[4]) /*Range::iterator*/;
+  variable[4] = CALL_abstract_collection___Collection___iterator(variable[4])(variable[4]) /*Range::iterator*/;
   while (true) { /*for*/
-    variable[5] = ((abstract_collection___Iterator___is_ok_t)CALL(variable[4],COLOR_abstract_collection___Iterator___is_ok))(variable[4]) /*Iterator::is_ok*/;
+    variable[5] = CALL_abstract_collection___Iterator___is_ok(variable[4])(variable[4]) /*Iterator::is_ok*/;
     if (!UNTAG_Bool(variable[5])) break; /*for*/
-    variable[5] = ((abstract_collection___Iterator___item_t)CALL(variable[4],COLOR_abstract_collection___Iterator___item))(variable[4]) /*Iterator::item*/;
+    variable[5] = CALL_abstract_collection___Iterator___item(variable[4])(variable[4]) /*Iterator::item*/;
     variable[6] = variable[5];
     variable[8] = variable[0];
     variable[9] =  variable[2] /*rest*/;
@@ -82,39 +82,39 @@ void abstracttool___AbstractCompiler___exec_cmd_line(val_t  self) {
     goto return_label3;
     return_label3: while(false);
     variable[9] = variable[11];
-    variable[8] = ((mmloader___ToolContext___get_module_from_filename_t)CALL(variable[8],COLOR_mmloader___ToolContext___get_module_from_filename))(variable[8], variable[9]) /*ToolContext::get_module_from_filename*/;
+    variable[8] = CALL_mmloader___ToolContext___get_module_from_filename(variable[8])(variable[8], variable[9]) /*ToolContext::get_module_from_filename*/;
     variable[7] = variable[8];
-    ((array___AbstractArray___add_t)CALL( variable[3] /*to_do*/,COLOR_abstract_collection___SimpleCollection___add))( variable[3] /*to_do*/,  variable[7] /*mod*/) /*AbstractArray::add*/;
+    CALL_abstract_collection___SimpleCollection___add( variable[3] /*to_do*/)( variable[3] /*to_do*/,  variable[7] /*mod*/) /*AbstractArray::add*/;
     continue_2: while(0);
-    ((abstract_collection___Iterator___next_t)CALL(variable[4],COLOR_abstract_collection___Iterator___next))(variable[4]) /*Iterator::next*/;
+    CALL_abstract_collection___Iterator___next(variable[4])(variable[4]) /*Iterator::next*/;
   }
   break_2: while(0);
   variable[4] = variable[0];
-  variable[4] = ((mmloader___ToolContext___opt_log_t)CALL(variable[4],COLOR_mmloader___ToolContext___opt_log))(variable[4]) /*ToolContext::opt_log*/;
-  variable[4] = ((opts___Option___value_t)CALL(variable[4],COLOR_opts___Option___value))(variable[4]) /*Option::value*/;
+  variable[4] = CALL_mmloader___ToolContext___opt_log(variable[4])(variable[4]) /*ToolContext::opt_log*/;
+  variable[4] = CALL_opts___Option___value(variable[4])(variable[4]) /*Option::value*/;
   if (UNTAG_Bool(variable[4])) { /*if*/
     variable[4] = variable[0];
-    ((abstracttool___AbstractCompiler___dump_context_info_t)CALL(variable[4],COLOR_abstracttool___AbstractCompiler___dump_context_info))(variable[4]) /*AbstractCompiler::dump_context_info*/;
+    CALL_abstracttool___AbstractCompiler___dump_context_info(variable[4])(variable[4]) /*AbstractCompiler::dump_context_info*/;
   }
-  variable[4] = ((array___AbstractArray___is_empty_t)CALL( variable[3] /*to_do*/,COLOR_abstract_collection___Collection___is_empty))( variable[3] /*to_do*/) /*AbstractArray::is_empty*/;
+  variable[4] = CALL_abstract_collection___Collection___is_empty( variable[3] /*to_do*/)( variable[3] /*to_do*/) /*AbstractArray::is_empty*/;
   variable[4] =  TAG_Bool(!UNTAG_Bool(variable[4]));
   if (UNTAG_Bool(variable[4])) { /* and */
     variable[4] = variable[0];
-    variable[4] = ((mmloader___ToolContext___opt_only_metamodel_t)CALL(variable[4],COLOR_mmloader___ToolContext___opt_only_metamodel))(variable[4]) /*ToolContext::opt_only_metamodel*/;
-    variable[4] = ((opts___Option___value_t)CALL(variable[4],COLOR_opts___Option___value))(variable[4]) /*Option::value*/;
+    variable[4] = CALL_mmloader___ToolContext___opt_only_metamodel(variable[4])(variable[4]) /*ToolContext::opt_only_metamodel*/;
+    variable[4] = CALL_opts___Option___value(variable[4])(variable[4]) /*Option::value*/;
     variable[4] =  TAG_Bool(!UNTAG_Bool(variable[4]));
   }
   variable[5] = variable[4];
   if (UNTAG_Bool(variable[5])) { /* and */
     variable[5] = variable[0];
-    variable[5] = ((mmloader___ToolContext___opt_only_parse_t)CALL(variable[5],COLOR_mmloader___ToolContext___opt_only_parse))(variable[5]) /*ToolContext::opt_only_parse*/;
-    variable[5] = ((opts___Option___value_t)CALL(variable[5],COLOR_opts___Option___value))(variable[5]) /*Option::value*/;
+    variable[5] = CALL_mmloader___ToolContext___opt_only_parse(variable[5])(variable[5]) /*ToolContext::opt_only_parse*/;
+    variable[5] = CALL_opts___Option___value(variable[5])(variable[5]) /*Option::value*/;
     variable[5] =  TAG_Bool(!UNTAG_Bool(variable[5]));
   }
   variable[4] = variable[5];
   if (UNTAG_Bool(variable[4])) { /*if*/
     variable[4] = variable[0];
-    ((abstracttool___AbstractCompiler___perform_work_t)CALL(variable[4],COLOR_abstracttool___AbstractCompiler___perform_work))(variable[4],  variable[3] /*to_do*/) /*AbstractCompiler::perform_work*/;
+    CALL_abstracttool___AbstractCompiler___perform_work(variable[4])(variable[4],  variable[3] /*to_do*/) /*AbstractCompiler::perform_work*/;
   }
   return_label1: while(false);
   tracehead = trace.prev;
@@ -140,63 +140,65 @@ void abstracttool___AbstractCompiler___dump_context_info(val_t  self) {
   trace.file = LOCATE_abstracttool;
   variable[0] =  self;
   variable[2] = variable[0];
-  variable[2] = ((abstractmetamodel___MMContext___module_hierarchy_t)CALL(variable[2],COLOR_abstractmetamodel___MMContext___module_hierarchy))(variable[2]) /*MMContext::module_hierarchy*/;
-  variable[2] = ((partial_order___PartialOrder___iterator_t)CALL(variable[2],COLOR_abstract_collection___Collection___iterator))(variable[2]) /*PartialOrder::iterator*/;
+  variable[2] = CALL_abstractmetamodel___MMContext___module_hierarchy(variable[2])(variable[2]) /*MMContext::module_hierarchy*/;
+  variable[2] = CALL_abstract_collection___Collection___iterator(variable[2])(variable[2]) /*PartialOrder::iterator*/;
   while (true) { /*for*/
-    variable[3] = ((abstract_collection___Iterator___is_ok_t)CALL(variable[2],COLOR_abstract_collection___Iterator___is_ok))(variable[2]) /*Iterator::is_ok*/;
+    variable[3] = CALL_abstract_collection___Iterator___is_ok(variable[2])(variable[2]) /*Iterator::is_ok*/;
     if (!UNTAG_Bool(variable[3])) break; /*for*/
-    variable[3] = ((abstract_collection___Iterator___item_t)CALL(variable[2],COLOR_abstract_collection___Iterator___item))(variable[2]) /*Iterator::item*/;
+    variable[3] = CALL_abstract_collection___Iterator___item(variable[2])(variable[2]) /*Iterator::item*/;
     variable[4] = variable[3];
-    ((abstracttool___MMModule___dump_module_info_t)CALL( variable[4] /*mod*/,COLOR_abstracttool___MMModule___dump_module_info))( variable[4] /*mod*/) /*MMModule::dump_module_info*/;
+    CALL_abstracttool___MMModule___dump_module_info( variable[4] /*mod*/)( variable[4] /*mod*/) /*MMModule::dump_module_info*/;
     continue_5: while(0);
-    ((abstract_collection___Iterator___next_t)CALL(variable[2],COLOR_abstract_collection___Iterator___next))(variable[2]) /*Iterator::next*/;
+    CALL_abstract_collection___Iterator___next(variable[2])(variable[2]) /*Iterator::next*/;
   }
   break_5: while(0);
   variable[3] = NEW_Array_array___Array___init(); /*new Array[MMModule]*/
   variable[2] = variable[3];
   variable[3] = variable[0];
-  variable[3] = ((abstractmetamodel___MMContext___module_hierarchy_t)CALL(variable[3],COLOR_abstractmetamodel___MMContext___module_hierarchy))(variable[3]) /*MMContext::module_hierarchy*/;
-  ((abstract_collection___SimpleCollection___add_all_t)CALL( variable[2] /*tab*/,COLOR_abstract_collection___SimpleCollection___add_all))( variable[2] /*tab*/, variable[3]) /*SimpleCollection::add_all*/;
+  variable[3] = CALL_abstractmetamodel___MMContext___module_hierarchy(variable[3])(variable[3]) /*MMContext::module_hierarchy*/;
+  CALL_abstract_collection___SimpleCollection___add_all( variable[2] /*tab*/)( variable[2] /*tab*/, variable[3]) /*SimpleCollection::add_all*/;
   variable[4] = variable[0];
-  variable[4] = ((abstractmetamodel___MMContext___module_hierarchy_t)CALL(variable[4],COLOR_abstractmetamodel___MMContext___module_hierarchy))(variable[4]) /*MMContext::module_hierarchy*/;
-  variable[4] = ((partial_order___PartialOrder___select_smallests_t)CALL(variable[4],COLOR_partial_order___PartialOrder___select_smallests))(variable[4],  variable[2] /*tab*/) /*PartialOrder::select_smallests*/;
+  variable[4] = CALL_abstractmetamodel___MMContext___module_hierarchy(variable[4])(variable[4]) /*MMContext::module_hierarchy*/;
+  variable[4] = CALL_partial_order___PartialOrder___select_smallests(variable[4])(variable[4],  variable[2] /*tab*/) /*PartialOrder::select_smallests*/;
   variable[5] = NEW_String_string___String___with_native(BOX_NativeString("-"), TAG_Int(1)); /*new String*/
-  variable[4] = ((string___Collection___join_t)CALL(variable[4],COLOR_string___Collection___join))(variable[4], variable[5]) /*Collection::join*/;
+  variable[4] = CALL_string___Collection___join(variable[4])(variable[4], variable[5]) /*Collection::join*/;
   variable[3] = variable[4];
-  variable[5] = NEW_String_string___String___init(); /*new String*/
+  variable[5] = NEW_Array_array___Array___with_capacity(TAG_Int(3)); /*new Array[String]*/
   variable[6] = NEW_String_string___String___with_native(BOX_NativeString(""), TAG_Int(0)); /*new String*/
   variable[7] = variable[6];
-  ((string___String___append_t)CALL(variable[5],COLOR_abstract_collection___IndexedCollection___append))(variable[5], variable[7]) /*String::append*/;
+  CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], variable[7]) /*AbstractArray::add*/;
   variable[8] =  variable[3] /*name*/;
-  ((string___String___append_t)CALL(variable[5],COLOR_abstract_collection___IndexedCollection___append))(variable[5], variable[8]) /*String::append*/;
+  CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], variable[8]) /*AbstractArray::add*/;
   variable[9] = NEW_String_string___String___with_native(BOX_NativeString(".full_class_hierarchy.new.dot"), TAG_Int(29)); /*new String*/
   variable[10] = variable[9];
-  ((string___String___append_t)CALL(variable[5],COLOR_abstract_collection___IndexedCollection___append))(variable[5], variable[10]) /*String::append*/;
+  CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], variable[10]) /*AbstractArray::add*/;
+  variable[5] = CALL_string___Object___to_s(variable[5])(variable[5]) /*Object::to_s*/;
   variable[6] = NEW_OFStream_file___OFStream___open(variable[5]); /*new OFStream*/
   variable[5] = variable[6];
   variable[4] = variable[5];
   variable[5] = variable[0];
-  variable[5] = ((abstractmetamodel___MMContext___class_hierarchy_t)CALL(variable[5],COLOR_abstractmetamodel___MMContext___class_hierarchy))(variable[5]) /*MMContext::class_hierarchy*/;
-  variable[5] = ((partial_order___PartialOrder___to_dot_t)CALL(variable[5],COLOR_partial_order___PartialOrder___to_dot))(variable[5]) /*PartialOrder::to_dot*/;
-  ((file___OFStream___write_t)CALL( variable[4] /*f*/,COLOR_stream___OStream___write))( variable[4] /*f*/, variable[5]) /*OFStream::write*/;
-  ((file___OFStream___close_t)CALL( variable[4] /*f*/,COLOR_stream___IOS___close))( variable[4] /*f*/) /*OFStream::close*/;
-  variable[5] = NEW_String_string___String___init(); /*new String*/
+  variable[5] = CALL_abstractmetamodel___MMContext___class_hierarchy(variable[5])(variable[5]) /*MMContext::class_hierarchy*/;
+  variable[5] = CALL_partial_order___PartialOrder___to_dot(variable[5])(variable[5]) /*PartialOrder::to_dot*/;
+  CALL_stream___OStream___write( variable[4] /*f*/)( variable[4] /*f*/, variable[5]) /*OFStream::write*/;
+  CALL_stream___IOS___close( variable[4] /*f*/)( variable[4] /*f*/) /*OFStream::close*/;
+  variable[5] = NEW_Array_array___Array___with_capacity(TAG_Int(3)); /*new Array[String]*/
   variable[6] = NEW_String_string___String___with_native(BOX_NativeString(""), TAG_Int(0)); /*new String*/
   variable[7] = variable[6];
-  ((string___String___append_t)CALL(variable[5],COLOR_abstract_collection___IndexedCollection___append))(variable[5], variable[7]) /*String::append*/;
+  CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], variable[7]) /*AbstractArray::add*/;
   variable[8] =  variable[3] /*name*/;
-  ((string___String___append_t)CALL(variable[5],COLOR_abstract_collection___IndexedCollection___append))(variable[5], variable[8]) /*String::append*/;
+  CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], variable[8]) /*AbstractArray::add*/;
   variable[9] = NEW_String_string___String___with_native(BOX_NativeString(".module_hierarchy.new.dot"), TAG_Int(25)); /*new String*/
   variable[10] = variable[9];
-  ((string___String___append_t)CALL(variable[5],COLOR_abstract_collection___IndexedCollection___append))(variable[5], variable[10]) /*String::append*/;
+  CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], variable[10]) /*AbstractArray::add*/;
+  variable[5] = CALL_string___Object___to_s(variable[5])(variable[5]) /*Object::to_s*/;
   variable[6] = NEW_OFStream_file___OFStream___open(variable[5]); /*new OFStream*/
   variable[5] = variable[6];
   variable[4] = variable[5] /*f=*/;
   variable[5] = variable[0];
-  variable[5] = ((abstractmetamodel___MMContext___module_hierarchy_t)CALL(variable[5],COLOR_abstractmetamodel___MMContext___module_hierarchy))(variable[5]) /*MMContext::module_hierarchy*/;
-  variable[5] = ((partial_order___PartialOrder___to_dot_t)CALL(variable[5],COLOR_partial_order___PartialOrder___to_dot))(variable[5]) /*PartialOrder::to_dot*/;
-  ((file___OFStream___write_t)CALL( variable[4] /*f*/,COLOR_stream___OStream___write))( variable[4] /*f*/, variable[5]) /*OFStream::write*/;
-  ((file___OFStream___close_t)CALL( variable[4] /*f*/,COLOR_stream___IOS___close))( variable[4] /*f*/) /*OFStream::close*/;
+  variable[5] = CALL_abstractmetamodel___MMContext___module_hierarchy(variable[5])(variable[5]) /*MMContext::module_hierarchy*/;
+  variable[5] = CALL_partial_order___PartialOrder___to_dot(variable[5])(variable[5]) /*PartialOrder::to_dot*/;
+  CALL_stream___OStream___write( variable[4] /*f*/)( variable[4] /*f*/, variable[5]) /*OFStream::write*/;
+  CALL_stream___IOS___close( variable[4] /*f*/)( variable[4] /*f*/) /*OFStream::close*/;
   return_label4: while(false);
   tracehead = trace.prev;
   return;
@@ -209,72 +211,75 @@ void abstracttool___MMModule___dump_module_info(val_t  self) {
   trace.file = LOCATE_abstracttool;
   variable[0] =  self;
   variable[3] = variable[0];
-  variable[3] = ((mmloader___MMModule___filename_t)CALL(variable[3],COLOR_mmloader___MMModule___filename))(variable[3]) /*MMModule::filename*/;
-  variable[3] = ((file___String___file_path_t)CALL(variable[3],COLOR_file___String___file_path))(variable[3]) /*String::file_path*/;
+  variable[3] = CALL_mmloader___MMModule___filename(variable[3])(variable[3]) /*MMModule::filename*/;
+  variable[3] = CALL_file___String___file_path(variable[3])(variable[3]) /*String::file_path*/;
   variable[2] = variable[3];
-  variable[4] = NEW_String_string___String___init(); /*new String*/
+  variable[4] = NEW_Array_array___Array___with_capacity(TAG_Int(5)); /*new Array[String]*/
   variable[5] = NEW_String_string___String___with_native(BOX_NativeString(""), TAG_Int(0)); /*new String*/
   variable[6] = variable[5];
-  ((string___String___append_t)CALL(variable[4],COLOR_abstract_collection___IndexedCollection___append))(variable[4], variable[6]) /*String::append*/;
+  CALL_abstract_collection___SimpleCollection___add(variable[4])(variable[4], variable[6]) /*AbstractArray::add*/;
   variable[7] =  variable[2] /*p*/;
-  ((string___String___append_t)CALL(variable[4],COLOR_abstract_collection___IndexedCollection___append))(variable[4], variable[7]) /*String::append*/;
+  CALL_abstract_collection___SimpleCollection___add(variable[4])(variable[4], variable[7]) /*AbstractArray::add*/;
   variable[8] = NEW_String_string___String___with_native(BOX_NativeString("/"), TAG_Int(1)); /*new String*/
   variable[9] = variable[8];
-  ((string___String___append_t)CALL(variable[4],COLOR_abstract_collection___IndexedCollection___append))(variable[4], variable[9]) /*String::append*/;
+  CALL_abstract_collection___SimpleCollection___add(variable[4])(variable[4], variable[9]) /*AbstractArray::add*/;
   variable[10] = variable[0];
-  variable[10] = ((abstractmetamodel___MMModule___name_t)CALL(variable[10],COLOR_abstractmetamodel___MMModule___name))(variable[10]) /*MMModule::name*/;
+  variable[10] = CALL_abstractmetamodel___MMModule___name(variable[10])(variable[10]) /*MMModule::name*/;
   variable[11] = variable[10];
-  variable[11] = ((string___String___to_s_t)CALL(variable[11],COLOR_string___Object___to_s))(variable[11]) /*String::to_s*/;
-  ((string___String___append_t)CALL(variable[4],COLOR_abstract_collection___IndexedCollection___append))(variable[4], variable[11]) /*String::append*/;
+  variable[11] = CALL_string___Object___to_s(variable[11])(variable[11]) /*Object::to_s*/;
+  CALL_abstract_collection___SimpleCollection___add(variable[4])(variable[4], variable[11]) /*AbstractArray::add*/;
   variable[12] = NEW_String_string___String___with_native(BOX_NativeString(""), TAG_Int(0)); /*new String*/
   variable[13] = variable[12];
-  ((string___String___append_t)CALL(variable[4],COLOR_abstract_collection___IndexedCollection___append))(variable[4], variable[13]) /*String::append*/;
+  CALL_abstract_collection___SimpleCollection___add(variable[4])(variable[4], variable[13]) /*AbstractArray::add*/;
+  variable[4] = CALL_string___Object___to_s(variable[4])(variable[4]) /*Object::to_s*/;
   variable[3] = variable[4];
-  variable[5] = NEW_String_string___String___init(); /*new String*/
+  variable[5] = NEW_Array_array___Array___with_capacity(TAG_Int(3)); /*new Array[String]*/
   variable[6] = NEW_String_string___String___with_native(BOX_NativeString(""), TAG_Int(0)); /*new String*/
   variable[7] = variable[6];
-  ((string___String___append_t)CALL(variable[5],COLOR_abstract_collection___IndexedCollection___append))(variable[5], variable[7]) /*String::append*/;
+  CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], variable[7]) /*AbstractArray::add*/;
   variable[8] =  variable[3] /*fname*/;
-  ((string___String___append_t)CALL(variable[5],COLOR_abstract_collection___IndexedCollection___append))(variable[5], variable[8]) /*String::append*/;
+  CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], variable[8]) /*AbstractArray::add*/;
   variable[9] = NEW_String_string___String___with_native(BOX_NativeString(".class_hierarchy.new.dot"), TAG_Int(24)); /*new String*/
   variable[10] = variable[9];
-  ((string___String___append_t)CALL(variable[5],COLOR_abstract_collection___IndexedCollection___append))(variable[5], variable[10]) /*String::append*/;
+  CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], variable[10]) /*AbstractArray::add*/;
+  variable[5] = CALL_string___Object___to_s(variable[5])(variable[5]) /*Object::to_s*/;
   variable[6] = NEW_OFStream_file___OFStream___open(variable[5]); /*new OFStream*/
   variable[5] = variable[6];
   variable[4] = variable[5];
   variable[5] = variable[0];
-  variable[5] = ((abstractmetamodel___MMModule___class_specialization_hierarchy_t)CALL(variable[5],COLOR_abstractmetamodel___MMModule___class_specialization_hierarchy))(variable[5]) /*MMModule::class_specialization_hierarchy*/;
-  variable[5] = ((partial_order___PartialOrder___to_dot_t)CALL(variable[5],COLOR_partial_order___PartialOrder___to_dot))(variable[5]) /*PartialOrder::to_dot*/;
-  ((file___OFStream___write_t)CALL( variable[4] /*f*/,COLOR_stream___OStream___write))( variable[4] /*f*/, variable[5]) /*OFStream::write*/;
-  ((file___OFStream___close_t)CALL( variable[4] /*f*/,COLOR_stream___IOS___close))( variable[4] /*f*/) /*OFStream::close*/;
-  variable[5] = NEW_String_string___String___init(); /*new String*/
+  variable[5] = CALL_abstractmetamodel___MMModule___class_specialization_hierarchy(variable[5])(variable[5]) /*MMModule::class_specialization_hierarchy*/;
+  variable[5] = CALL_partial_order___PartialOrder___to_dot(variable[5])(variable[5]) /*PartialOrder::to_dot*/;
+  CALL_stream___OStream___write( variable[4] /*f*/)( variable[4] /*f*/, variable[5]) /*OFStream::write*/;
+  CALL_stream___IOS___close( variable[4] /*f*/)( variable[4] /*f*/) /*OFStream::close*/;
+  variable[5] = NEW_Array_array___Array___with_capacity(TAG_Int(3)); /*new Array[String]*/
   variable[6] = NEW_String_string___String___with_native(BOX_NativeString(""), TAG_Int(0)); /*new String*/
   variable[7] = variable[6];
-  ((string___String___append_t)CALL(variable[5],COLOR_abstract_collection___IndexedCollection___append))(variable[5], variable[7]) /*String::append*/;
+  CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], variable[7]) /*AbstractArray::add*/;
   variable[8] =  variable[3] /*fname*/;
-  ((string___String___append_t)CALL(variable[5],COLOR_abstract_collection___IndexedCollection___append))(variable[5], variable[8]) /*String::append*/;
+  CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], variable[8]) /*AbstractArray::add*/;
   variable[9] = NEW_String_string___String___with_native(BOX_NativeString(".properties.log"), TAG_Int(15)); /*new String*/
   variable[10] = variable[9];
-  ((string___String___append_t)CALL(variable[5],COLOR_abstract_collection___IndexedCollection___append))(variable[5], variable[10]) /*String::append*/;
+  CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], variable[10]) /*AbstractArray::add*/;
+  variable[5] = CALL_string___Object___to_s(variable[5])(variable[5]) /*Object::to_s*/;
   variable[6] = NEW_OFStream_file___OFStream___open(variable[5]); /*new OFStream*/
   variable[5] = variable[6];
   variable[4] = variable[5] /*f=*/;
   variable[5] = variable[0];
-  variable[5] = ((abstractmetamodel___MMModule___local_classes_t)CALL(variable[5],COLOR_abstractmetamodel___MMModule___local_classes))(variable[5]) /*MMModule::local_classes*/;
-  variable[5] = ((array___AbstractArray___iterator_t)CALL(variable[5],COLOR_abstract_collection___Collection___iterator))(variable[5]) /*AbstractArray::iterator*/;
+  variable[5] = CALL_abstractmetamodel___MMModule___local_classes(variable[5])(variable[5]) /*MMModule::local_classes*/;
+  variable[5] = CALL_abstract_collection___Collection___iterator(variable[5])(variable[5]) /*AbstractArray::iterator*/;
   while (true) { /*for*/
-    variable[6] = ((array___ArrayIterator___is_ok_t)CALL(variable[5],COLOR_abstract_collection___Iterator___is_ok))(variable[5]) /*ArrayIterator::is_ok*/;
+    variable[6] = CALL_abstract_collection___Iterator___is_ok(variable[5])(variable[5]) /*ArrayIterator::is_ok*/;
     if (!UNTAG_Bool(variable[6])) break; /*for*/
-    variable[6] = ((array___ArrayIterator___item_t)CALL(variable[5],COLOR_abstract_collection___Iterator___item))(variable[5]) /*ArrayIterator::item*/;
+    variable[6] = CALL_abstract_collection___Iterator___item(variable[5])(variable[5]) /*ArrayIterator::item*/;
     variable[7] = variable[6];
-    ((abstracttool___MMLocalClass___dump_properties_t)CALL( variable[7] /*cla*/,COLOR_abstracttool___MMLocalClass___dump_properties))( variable[7] /*cla*/,  variable[4] /*f*/) /*MMLocalClass::dump_properties*/;
+    CALL_abstracttool___MMLocalClass___dump_properties( variable[7] /*cla*/)( variable[7] /*cla*/,  variable[4] /*f*/) /*MMLocalClass::dump_properties*/;
     variable[8] = NEW_String_string___String___with_native(BOX_NativeString("\n"), TAG_Int(1)); /*new String*/
-    ((file___OFStream___write_t)CALL( variable[4] /*f*/,COLOR_stream___OStream___write))( variable[4] /*f*/, variable[8]) /*OFStream::write*/;
+    CALL_stream___OStream___write( variable[4] /*f*/)( variable[4] /*f*/, variable[8]) /*OFStream::write*/;
     continue_7: while(0);
-    ((array___ArrayIterator___next_t)CALL(variable[5],COLOR_abstract_collection___Iterator___next))(variable[5]) /*ArrayIterator::next*/;
+    CALL_abstract_collection___Iterator___next(variable[5])(variable[5]) /*ArrayIterator::next*/;
   }
   break_7: while(0);
-  ((file___OFStream___close_t)CALL( variable[4] /*f*/,COLOR_stream___IOS___close))( variable[4] /*f*/) /*OFStream::close*/;
+  CALL_stream___IOS___close( variable[4] /*f*/)( variable[4] /*f*/) /*OFStream::close*/;
   return_label6: while(false);
   tracehead = trace.prev;
   return;
@@ -287,65 +292,68 @@ void abstracttool___MMLocalClass___dump_properties(val_t  self, val_t  param0) {
   trace.file = LOCATE_abstracttool;
   variable[0] =  self;
   variable[1] =  param0;
-  variable[3] = NEW_String_string___String___init(); /*new String*/
+  variable[3] = NEW_Array_array___Array___with_capacity(TAG_Int(3)); /*new Array[String]*/
   variable[4] = NEW_String_string___String___with_native(BOX_NativeString("class "), TAG_Int(6)); /*new String*/
   variable[5] = variable[4];
-  ((string___String___append_t)CALL(variable[3],COLOR_abstract_collection___IndexedCollection___append))(variable[3], variable[5]) /*String::append*/;
+  CALL_abstract_collection___SimpleCollection___add(variable[3])(variable[3], variable[5]) /*AbstractArray::add*/;
   variable[6] = variable[0];
   variable[7] = variable[6];
-  variable[7] = ((string___String___to_s_t)CALL(variable[7],COLOR_string___Object___to_s))(variable[7]) /*String::to_s*/;
-  ((string___String___append_t)CALL(variable[3],COLOR_abstract_collection___IndexedCollection___append))(variable[3], variable[7]) /*String::append*/;
+  variable[7] = CALL_string___Object___to_s(variable[7])(variable[7]) /*Object::to_s*/;
+  CALL_abstract_collection___SimpleCollection___add(variable[3])(variable[3], variable[7]) /*AbstractArray::add*/;
   variable[8] = NEW_String_string___String___with_native(BOX_NativeString("\n"), TAG_Int(1)); /*new String*/
   variable[9] = variable[8];
-  ((string___String___append_t)CALL(variable[3],COLOR_abstract_collection___IndexedCollection___append))(variable[3], variable[9]) /*String::append*/;
-  ((stream___OStream___write_t)CALL( variable[1] /*file*/,COLOR_stream___OStream___write))( variable[1] /*file*/, variable[3]) /*OStream::write*/;
+  CALL_abstract_collection___SimpleCollection___add(variable[3])(variable[3], variable[9]) /*AbstractArray::add*/;
+  variable[3] = CALL_string___Object___to_s(variable[3])(variable[3]) /*Object::to_s*/;
+  CALL_stream___OStream___write( variable[1] /*file*/)( variable[1] /*file*/, variable[3]) /*OStream::write*/;
   variable[3] = variable[0];
-  variable[3] = ((abstractmetamodel___MMLocalClass___global_properties_t)CALL(variable[3],COLOR_abstractmetamodel___MMLocalClass___global_properties))(variable[3]) /*MMLocalClass::global_properties*/;
-  variable[3] = ((abstract_collection___Collection___iterator_t)CALL(variable[3],COLOR_abstract_collection___Collection___iterator))(variable[3]) /*Collection::iterator*/;
+  variable[3] = CALL_abstractmetamodel___MMLocalClass___global_properties(variable[3])(variable[3]) /*MMLocalClass::global_properties*/;
+  variable[3] = CALL_abstract_collection___Collection___iterator(variable[3])(variable[3]) /*Collection::iterator*/;
   while (true) { /*for*/
-    variable[4] = ((abstract_collection___Iterator___is_ok_t)CALL(variable[3],COLOR_abstract_collection___Iterator___is_ok))(variable[3]) /*Iterator::is_ok*/;
+    variable[4] = CALL_abstract_collection___Iterator___is_ok(variable[3])(variable[3]) /*Iterator::is_ok*/;
     if (!UNTAG_Bool(variable[4])) break; /*for*/
-    variable[4] = ((abstract_collection___Iterator___item_t)CALL(variable[3],COLOR_abstract_collection___Iterator___item))(variable[3]) /*Iterator::item*/;
+    variable[4] = CALL_abstract_collection___Iterator___item(variable[3])(variable[3]) /*Iterator::item*/;
     variable[5] = variable[4];
     variable[7] = variable[0];
-    variable[7] = ((inheritance___MMLocalClass_____bra_t)CALL(variable[7],COLOR_abstractmetamodel___MMLocalClass_____bra))(variable[7],  variable[5] /*p*/) /*MMLocalClass::[]*/;
+    variable[7] = CALL_abstractmetamodel___MMLocalClass_____bra(variable[7])(variable[7],  variable[5] /*p*/) /*MMLocalClass::[]*/;
     variable[6] = variable[7];
-    variable[7] = NEW_String_string___String___init(); /*new String*/
+    variable[7] = NEW_Array_array___Array___with_capacity(TAG_Int(5)); /*new Array[String]*/
     variable[8] = NEW_String_string___String___with_native(BOX_NativeString("\t"), TAG_Int(1)); /*new String*/
     variable[9] = variable[8];
-    ((string___String___append_t)CALL(variable[7],COLOR_abstract_collection___IndexedCollection___append))(variable[7], variable[9]) /*String::append*/;
+    CALL_abstract_collection___SimpleCollection___add(variable[7])(variable[7], variable[9]) /*AbstractArray::add*/;
     variable[10] =  variable[6] /*lp*/;
-    variable[10] = ((string___String___to_s_t)CALL(variable[10],COLOR_string___Object___to_s))(variable[10]) /*String::to_s*/;
-    ((string___String___append_t)CALL(variable[7],COLOR_abstract_collection___IndexedCollection___append))(variable[7], variable[10]) /*String::append*/;
+    variable[10] = CALL_string___Object___to_s(variable[10])(variable[10]) /*Object::to_s*/;
+    CALL_abstract_collection___SimpleCollection___add(variable[7])(variable[7], variable[10]) /*AbstractArray::add*/;
     variable[11] = NEW_String_string___String___with_native(BOX_NativeString(""), TAG_Int(0)); /*new String*/
     variable[12] = variable[11];
-    ((string___String___append_t)CALL(variable[7],COLOR_abstract_collection___IndexedCollection___append))(variable[7], variable[12]) /*String::append*/;
+    CALL_abstract_collection___SimpleCollection___add(variable[7])(variable[7], variable[12]) /*AbstractArray::add*/;
     variable[13] = variable[0];
-    variable[13] = ((genericity___MMLocalClass___get_type_t)CALL(variable[13],COLOR_static_type___MMLocalClass___get_type))(variable[13]) /*MMLocalClass::get_type*/;
-    variable[13] = ((static_type___MMLocalProperty___signature_for_t)CALL( variable[6] /*lp*/,COLOR_static_type___MMLocalProperty___signature_for))( variable[6] /*lp*/, variable[13]) /*MMLocalProperty::signature_for*/;
+    variable[13] = CALL_static_type___MMLocalClass___get_type(variable[13])(variable[13]) /*MMLocalClass::get_type*/;
+    variable[13] = CALL_static_type___MMLocalProperty___signature_for( variable[6] /*lp*/)( variable[6] /*lp*/, variable[13]) /*MMLocalProperty::signature_for*/;
     variable[14] = variable[13];
-    variable[14] = ((string___String___to_s_t)CALL(variable[14],COLOR_string___Object___to_s))(variable[14]) /*String::to_s*/;
-    ((string___String___append_t)CALL(variable[7],COLOR_abstract_collection___IndexedCollection___append))(variable[7], variable[14]) /*String::append*/;
+    variable[14] = CALL_string___Object___to_s(variable[14])(variable[14]) /*Object::to_s*/;
+    CALL_abstract_collection___SimpleCollection___add(variable[7])(variable[7], variable[14]) /*AbstractArray::add*/;
     variable[15] = NEW_String_string___String___with_native(BOX_NativeString("\n"), TAG_Int(1)); /*new String*/
     variable[16] = variable[15];
-    ((string___String___append_t)CALL(variable[7],COLOR_abstract_collection___IndexedCollection___append))(variable[7], variable[16]) /*String::append*/;
-    ((stream___OStream___write_t)CALL( variable[1] /*file*/,COLOR_stream___OStream___write))( variable[1] /*file*/, variable[7]) /*OStream::write*/;
+    CALL_abstract_collection___SimpleCollection___add(variable[7])(variable[7], variable[16]) /*AbstractArray::add*/;
+    variable[7] = CALL_string___Object___to_s(variable[7])(variable[7]) /*Object::to_s*/;
+    CALL_stream___OStream___write( variable[1] /*file*/)( variable[1] /*file*/, variable[7]) /*OStream::write*/;
     continue_9: while(0);
-    ((abstract_collection___Iterator___next_t)CALL(variable[3],COLOR_abstract_collection___Iterator___next))(variable[3]) /*Iterator::next*/;
+    CALL_abstract_collection___Iterator___next(variable[3])(variable[3]) /*Iterator::next*/;
   }
   break_9: while(0);
-  variable[3] = NEW_String_string___String___init(); /*new String*/
+  variable[3] = NEW_Array_array___Array___with_capacity(TAG_Int(3)); /*new Array[String]*/
   variable[4] = NEW_String_string___String___with_native(BOX_NativeString("end # "), TAG_Int(6)); /*new String*/
   variable[5] = variable[4];
-  ((string___String___append_t)CALL(variable[3],COLOR_abstract_collection___IndexedCollection___append))(variable[3], variable[5]) /*String::append*/;
+  CALL_abstract_collection___SimpleCollection___add(variable[3])(variable[3], variable[5]) /*AbstractArray::add*/;
   variable[6] = variable[0];
   variable[7] = variable[6];
-  variable[7] = ((string___String___to_s_t)CALL(variable[7],COLOR_string___Object___to_s))(variable[7]) /*String::to_s*/;
-  ((string___String___append_t)CALL(variable[3],COLOR_abstract_collection___IndexedCollection___append))(variable[3], variable[7]) /*String::append*/;
+  variable[7] = CALL_string___Object___to_s(variable[7])(variable[7]) /*Object::to_s*/;
+  CALL_abstract_collection___SimpleCollection___add(variable[3])(variable[3], variable[7]) /*AbstractArray::add*/;
   variable[8] = NEW_String_string___String___with_native(BOX_NativeString("\n"), TAG_Int(1)); /*new String*/
   variable[9] = variable[8];
-  ((string___String___append_t)CALL(variable[3],COLOR_abstract_collection___IndexedCollection___append))(variable[3], variable[9]) /*String::append*/;
-  ((stream___OStream___write_t)CALL( variable[1] /*file*/,COLOR_stream___OStream___write))( variable[1] /*file*/, variable[3]) /*OStream::write*/;
+  CALL_abstract_collection___SimpleCollection___add(variable[3])(variable[3], variable[9]) /*AbstractArray::add*/;
+  variable[3] = CALL_string___Object___to_s(variable[3])(variable[3]) /*Object::to_s*/;
+  CALL_stream___OStream___write( variable[1] /*file*/)( variable[1] /*file*/, variable[3]) /*OStream::write*/;
   return_label8: while(false);
   tracehead = trace.prev;
   return;