c_src/nith.classes.7.c

   1 #include "nith.classes.0.h"
   2 /* runtime class platform__PlatformPhase */
   3 const struct class class_platform__PlatformPhase = {
   4 0, /* box_kind */
   5 {
   6 (nitmethod_t)VIRTUAL_kernel__Object__object_id, /* pointer to platform:PlatformPhase:kernel#Object#object_id */
   7 (nitmethod_t)VIRTUAL_kernel__Object__is_same_instance, /* pointer to platform:PlatformPhase:kernel#Object#is_same_instance */
   8 (nitmethod_t)VIRTUAL_kernel__Object___61d_61d, /* pointer to platform:PlatformPhase:kernel#Object#== */
   9 (nitmethod_t)VIRTUAL_kernel__Object___33d_61d, /* pointer to platform:PlatformPhase:kernel#Object#!= */
  10 (nitmethod_t)VIRTUAL_kernel__Object__hash, /* pointer to platform:PlatformPhase:kernel#Object#hash */
  11 (nitmethod_t)VIRTUAL_kernel__Object__exit, /* pointer to platform:PlatformPhase:kernel#Object#exit */
  12 (nitmethod_t)VIRTUAL_kernel__Object__sys, /* pointer to platform:PlatformPhase:kernel#Object#sys */
  13 (nitmethod_t)VIRTUAL_kernel__Object__init, /* pointer to platform:PlatformPhase:kernel#Object#init */
  14 (nitmethod_t)VIRTUAL_sorter__Object__default_comparator, /* pointer to platform:PlatformPhase:sorter#Object#default_comparator */
  15 (nitmethod_t)VIRTUAL_phase__Phase__to_s, /* pointer to platform:PlatformPhase:phase#Phase#to_s */
  16 (nitmethod_t)VIRTUAL_string__Object__native_class_name, /* pointer to platform:PlatformPhase:string#Object#native_class_name */
  17 (nitmethod_t)VIRTUAL_string__Object__class_name, /* pointer to platform:PlatformPhase:string#Object#class_name */
  18 (nitmethod_t)VIRTUAL_string__Object__inspect, /* pointer to platform:PlatformPhase:string#Object#inspect */
  19 (nitmethod_t)VIRTUAL_string__Object__inspect_head, /* pointer to platform:PlatformPhase:string#Object#inspect_head */
  20 (nitmethod_t)VIRTUAL_string__Object__args, /* pointer to platform:PlatformPhase:string#Object#args */
  21 (nitmethod_t)VIRTUAL_time__Object__get_time, /* pointer to platform:PlatformPhase:time#Object#get_time */
  22 (nitmethod_t)VIRTUAL_file__Object__printn, /* pointer to platform:PlatformPhase:file#Object#printn */
  23 (nitmethod_t)VIRTUAL_file__Object__print, /* pointer to platform:PlatformPhase:file#Object#print */
  24 (nitmethod_t)VIRTUAL_file__Object__getcwd, /* pointer to platform:PlatformPhase:file#Object#getcwd */
  25 (nitmethod_t)VIRTUAL_file__Object__file_getcwd, /* pointer to platform:PlatformPhase:file#Object#file_getcwd */
  26 (nitmethod_t)VIRTUAL_model_base__Object__intrude_visibility, /* pointer to platform:PlatformPhase:model_base#Object#intrude_visibility */
  27 (nitmethod_t)VIRTUAL_model_base__Object__public_visibility, /* pointer to platform:PlatformPhase:model_base#Object#public_visibility */
  28 (nitmethod_t)VIRTUAL_model_base__Object__protected_visibility, /* pointer to platform:PlatformPhase:model_base#Object#protected_visibility */
  29 (nitmethod_t)VIRTUAL_model_base__Object__private_visibility, /* pointer to platform:PlatformPhase:model_base#Object#private_visibility */
  30 (nitmethod_t)VIRTUAL_model_base__Object__none_visibility, /* pointer to platform:PlatformPhase:model_base#Object#none_visibility */
  31 (nitmethod_t)VIRTUAL_version__Object__nit_version, /* pointer to platform:PlatformPhase:version#Object#nit_version */
  32 (nitmethod_t)VIRTUAL_model__Object__abstract_kind, /* pointer to platform:PlatformPhase:model#Object#abstract_kind */
  33 (nitmethod_t)VIRTUAL_model__Object__concrete_kind, /* pointer to platform:PlatformPhase:model#Object#concrete_kind */
  34 (nitmethod_t)VIRTUAL_model__Object__interface_kind, /* pointer to platform:PlatformPhase:model#Object#interface_kind */
  35 (nitmethod_t)VIRTUAL_model__Object__enum_kind, /* pointer to platform:PlatformPhase:model#Object#enum_kind */
  36 (nitmethod_t)VIRTUAL_model__Object__extern_kind, /* pointer to platform:PlatformPhase:model#Object#extern_kind */
  37 (nitmethod_t)VIRTUAL_phase__Phase__toolcontext, /* pointer to platform:PlatformPhase:phase#Phase#toolcontext */
  38 (nitmethod_t)VIRTUAL_phase__Phase__toolcontext_61d, /* pointer to platform:PlatformPhase:phase#Phase#toolcontext= */
  39 (nitmethod_t)VIRTUAL_phase__Phase__in_hierarchy, /* pointer to platform:PlatformPhase:phase#Phase#in_hierarchy */
  40 (nitmethod_t)VIRTUAL_phase__Phase__in_hierarchy_61d, /* pointer to platform:PlatformPhase:phase#Phase#in_hierarchy= */
  41 (nitmethod_t)VIRTUAL_phase__Phase__init, /* pointer to platform:PlatformPhase:phase#Phase#init */
  42 (nitmethod_t)VIRTUAL_phase__Phase__disabled, /* pointer to platform:PlatformPhase:phase#Phase#disabled */
  43 (nitmethod_t)VIRTUAL_phase__Phase__disabled_61d, /* pointer to platform:PlatformPhase:phase#Phase#disabled= */
  44 (nitmethod_t)VIRTUAL_phase__Phase__process_nmodule, /* pointer to platform:PlatformPhase:phase#Phase#process_nmodule */
  45 (nitmethod_t)VIRTUAL_phase__Phase__process_nclassdef, /* pointer to platform:PlatformPhase:phase#Phase#process_nclassdef */
  46 (nitmethod_t)VIRTUAL_phase__Phase__process_npropdef, /* pointer to platform:PlatformPhase:phase#Phase#process_npropdef */
  47 (nitmethod_t)VIRTUAL_platform__PlatformPhase__process_annotated_node, /* pointer to platform:PlatformPhase:platform#PlatformPhase#process_annotated_node */
  48 (nitmethod_t)VIRTUAL_modelbuilder__Phase__process_mainmodule, /* pointer to platform:PlatformPhase:modelbuilder#Phase#process_mainmodule */
  49 }
  50 };
  51 /* allocate PlatformPhase */
  52 val* NEW_platform__PlatformPhase(const struct type* type) {
  53 val* self /* : PlatformPhase */;
  54 short int var /* : Bool */;
  55 self = nit_alloc(sizeof(struct instance) + 3*sizeof(nitattribute_t));
  56 self->type = type;
  57 self->class = &class_platform__PlatformPhase;
  58 var = 0;
  59 self->attrs[COLOR_phase__Phase___disabled].s = var; /* _disabled on <self:PlatformPhase exact> */
  60 return self;
  61 }
  62 /* runtime class platform__Platform */
  63 /* allocate Platform */
  64 val* NEW_platform__Platform(const struct type* type) {
  65 PRINT_ERROR("Runtime error: %s", "Platform is DEAD");
  66 PRINT_ERROR("\n");
  67 show_backtrace(1);
  68 }
  69 /* runtime class parser_util__InjectedLexer */
  70 /* allocate InjectedLexer */
  71 val* NEW_parser_util__InjectedLexer(const struct type* type) {
  72 PRINT_ERROR("Runtime error: %s", "InjectedLexer is DEAD");
  73 PRINT_ERROR("\n");
  74 show_backtrace(1);
  75 }
  76 /* runtime class parser_util__CollectTokensByTextVisitor */
  77 /* allocate CollectTokensByTextVisitor */
  78 val* NEW_parser_util__CollectTokensByTextVisitor(const struct type* type) {
  79 PRINT_ERROR("Runtime error: %s", "CollectTokensByTextVisitor is DEAD");
  80 PRINT_ERROR("\n");
  81 show_backtrace(1);
  82 }
  83 /* runtime class parser_util__CollectAnnotationsByNameVisitor */
  84 /* allocate CollectAnnotationsByNameVisitor */
  85 val* NEW_parser_util__CollectAnnotationsByNameVisitor(const struct type* type) {
  86 PRINT_ERROR("Runtime error: %s", "CollectAnnotationsByNameVisitor is DEAD");
  87 PRINT_ERROR("\n");
  88 show_backtrace(1);
  89 }
  90 /* runtime class c_tools__CCompilationUnit */
  91 /* allocate CCompilationUnit */
  92 val* NEW_c_tools__CCompilationUnit(const struct type* type) {
  93 PRINT_ERROR("Runtime error: %s", "CCompilationUnit is DEAD");
  94 PRINT_ERROR("\n");
  95 show_backtrace(1);
  96 }
  97 /* runtime class c_tools__CFunction */
  98 /* allocate CFunction */
  99 val* NEW_c_tools__CFunction(const struct type* type) {
 100 PRINT_ERROR("Runtime error: %s", "CFunction is DEAD");
 101 PRINT_ERROR("\n");
 102 show_backtrace(1);
 103 }
 104 /* runtime class c_tools__ExternFile */
 105 /* allocate ExternFile */
 106 val* NEW_c_tools__ExternFile(const struct type* type) {
 107 PRINT_ERROR("Runtime error: %s", "ExternFile is DEAD");
 108 PRINT_ERROR("\n");
 109 show_backtrace(1);
 110 }
 111 /* runtime class c_tools__ExternCFile */
 112 const struct class class_c_tools__ExternCFile = {
 113 0, /* box_kind */
 114 {
 115 (nitmethod_t)VIRTUAL_kernel__Object__object_id, /* pointer to c_tools:ExternCFile:kernel#Object#object_id */
 116 (nitmethod_t)VIRTUAL_kernel__Object__is_same_instance, /* pointer to c_tools:ExternCFile:kernel#Object#is_same_instance */
 117 (nitmethod_t)VIRTUAL_c_tools__ExternCFile___61d_61d, /* pointer to c_tools:ExternCFile:c_tools#ExternCFile#== */
 118 (nitmethod_t)VIRTUAL_kernel__Object___33d_61d, /* pointer to c_tools:ExternCFile:kernel#Object#!= */
 119 (nitmethod_t)VIRTUAL_c_tools__ExternCFile__hash, /* pointer to c_tools:ExternCFile:c_tools#ExternCFile#hash */
 120 (nitmethod_t)VIRTUAL_kernel__Object__exit, /* pointer to c_tools:ExternCFile:kernel#Object#exit */
 121 (nitmethod_t)VIRTUAL_kernel__Object__sys, /* pointer to c_tools:ExternCFile:kernel#Object#sys */
 122 (nitmethod_t)VIRTUAL_c_tools__ExternFile__init, /* pointer to c_tools:ExternCFile:c_tools#ExternFile#init */
 123 (nitmethod_t)VIRTUAL_sorter__Object__default_comparator, /* pointer to c_tools:ExternCFile:sorter#Object#default_comparator */
 124 (nitmethod_t)VIRTUAL_string__Object__to_s, /* pointer to c_tools:ExternCFile:string#Object#to_s */
 125 (nitmethod_t)VIRTUAL_string__Object__native_class_name, /* pointer to c_tools:ExternCFile:string#Object#native_class_name */
 126 (nitmethod_t)VIRTUAL_string__Object__class_name, /* pointer to c_tools:ExternCFile:string#Object#class_name */
 127 (nitmethod_t)VIRTUAL_string__Object__inspect, /* pointer to c_tools:ExternCFile:string#Object#inspect */
 128 (nitmethod_t)VIRTUAL_string__Object__inspect_head, /* pointer to c_tools:ExternCFile:string#Object#inspect_head */
 129 (nitmethod_t)VIRTUAL_string__Object__args, /* pointer to c_tools:ExternCFile:string#Object#args */
 130 (nitmethod_t)VIRTUAL_time__Object__get_time, /* pointer to c_tools:ExternCFile:time#Object#get_time */
 131 (nitmethod_t)VIRTUAL_file__Object__printn, /* pointer to c_tools:ExternCFile:file#Object#printn */
 132 (nitmethod_t)VIRTUAL_file__Object__print, /* pointer to c_tools:ExternCFile:file#Object#print */
 133 (nitmethod_t)VIRTUAL_file__Object__getcwd, /* pointer to c_tools:ExternCFile:file#Object#getcwd */
 134 (nitmethod_t)VIRTUAL_file__Object__file_getcwd, /* pointer to c_tools:ExternCFile:file#Object#file_getcwd */
 135 (nitmethod_t)VIRTUAL_model_base__Object__intrude_visibility, /* pointer to c_tools:ExternCFile:model_base#Object#intrude_visibility */
 136 (nitmethod_t)VIRTUAL_model_base__Object__public_visibility, /* pointer to c_tools:ExternCFile:model_base#Object#public_visibility */
 137 (nitmethod_t)VIRTUAL_model_base__Object__protected_visibility, /* pointer to c_tools:ExternCFile:model_base#Object#protected_visibility */
 138 (nitmethod_t)VIRTUAL_model_base__Object__private_visibility, /* pointer to c_tools:ExternCFile:model_base#Object#private_visibility */
 139 (nitmethod_t)VIRTUAL_model_base__Object__none_visibility, /* pointer to c_tools:ExternCFile:model_base#Object#none_visibility */
 140 (nitmethod_t)VIRTUAL_version__Object__nit_version, /* pointer to c_tools:ExternCFile:version#Object#nit_version */
 141 (nitmethod_t)VIRTUAL_model__Object__abstract_kind, /* pointer to c_tools:ExternCFile:model#Object#abstract_kind */
 142 (nitmethod_t)VIRTUAL_model__Object__concrete_kind, /* pointer to c_tools:ExternCFile:model#Object#concrete_kind */
 143 (nitmethod_t)VIRTUAL_model__Object__interface_kind, /* pointer to c_tools:ExternCFile:model#Object#interface_kind */
 144 (nitmethod_t)VIRTUAL_model__Object__enum_kind, /* pointer to c_tools:ExternCFile:model#Object#enum_kind */
 145 (nitmethod_t)VIRTUAL_model__Object__extern_kind, /* pointer to c_tools:ExternCFile:model#Object#extern_kind */
 146 (nitmethod_t)VIRTUAL_c_tools__ExternFile__filename, /* pointer to c_tools:ExternCFile:c_tools#ExternFile#filename */
 147 (nitmethod_t)VIRTUAL_c_tools__ExternFile__filename_61d, /* pointer to c_tools:ExternCFile:c_tools#ExternFile#filename= */
 148 (nitmethod_t)VIRTUAL_c_tools__ExternCFile__makefile_rule_name, /* pointer to c_tools:ExternCFile:c_tools#ExternCFile#makefile_rule_name */
 149 (nitmethod_t)VIRTUAL_c_tools__ExternCFile__makefile_rule_content, /* pointer to c_tools:ExternCFile:c_tools#ExternCFile#makefile_rule_content */
 150 (nitmethod_t)VIRTUAL_c_tools__ExternCFile__compiles_to_o_file, /* pointer to c_tools:ExternCFile:c_tools#ExternCFile#compiles_to_o_file */
 151 (nitmethod_t)VIRTUAL_c_tools__ExternFile__add_to_jar, /* pointer to c_tools:ExternCFile:c_tools#ExternFile#add_to_jar */
 152 (nitmethod_t)VIRTUAL_kernel__Object__init, /* pointer to c_tools:ExternCFile:kernel#Object#init */
 153 (nitmethod_t)VIRTUAL_c_tools__ExternCFile__init, /* pointer to c_tools:ExternCFile:c_tools#ExternCFile#init */
 154 (nitmethod_t)VIRTUAL_c_tools__ExternCFile__cflags, /* pointer to c_tools:ExternCFile:c_tools#ExternCFile#cflags */
 155 (nitmethod_t)VIRTUAL_c_tools__ExternCFile__cflags_61d, /* pointer to c_tools:ExternCFile:c_tools#ExternCFile#cflags= */
 156 }
 157 };
 158 /* allocate ExternCFile */
 159 val* NEW_c_tools__ExternCFile(const struct type* type) {
 160 val* self /* : ExternCFile */;
 161 self = nit_alloc(sizeof(struct instance) + 2*sizeof(nitattribute_t));
 162 self->type = type;
 163 self->class = &class_c_tools__ExternCFile;
 164 return self;
 165 }
 166 /* runtime class coloring__POSetConflictGraph */
 167 const struct class class_coloring__POSetConflictGraph = {
 168 0, /* box_kind */
 169 {
 170 (nitmethod_t)VIRTUAL_kernel__Object__object_id, /* pointer to coloring:POSetConflictGraph:kernel#Object#object_id */
 171 (nitmethod_t)VIRTUAL_kernel__Object__is_same_instance, /* pointer to coloring:POSetConflictGraph:kernel#Object#is_same_instance */
 172 (nitmethod_t)VIRTUAL_kernel__Object___61d_61d, /* pointer to coloring:POSetConflictGraph:kernel#Object#== */
 173 (nitmethod_t)VIRTUAL_kernel__Object___33d_61d, /* pointer to coloring:POSetConflictGraph:kernel#Object#!= */
 174 (nitmethod_t)VIRTUAL_kernel__Object__hash, /* pointer to coloring:POSetConflictGraph:kernel#Object#hash */
 175 (nitmethod_t)VIRTUAL_kernel__Object__exit, /* pointer to coloring:POSetConflictGraph:kernel#Object#exit */
 176 (nitmethod_t)VIRTUAL_kernel__Object__sys, /* pointer to coloring:POSetConflictGraph:kernel#Object#sys */
 177 (nitmethod_t)VIRTUAL_kernel__Object__init, /* pointer to coloring:POSetConflictGraph:kernel#Object#init */
 178 (nitmethod_t)VIRTUAL_sorter__Object__default_comparator, /* pointer to coloring:POSetConflictGraph:sorter#Object#default_comparator */
 179 (nitmethod_t)VIRTUAL_string__Object__to_s, /* pointer to coloring:POSetConflictGraph:string#Object#to_s */
 180 (nitmethod_t)VIRTUAL_string__Object__native_class_name, /* pointer to coloring:POSetConflictGraph:string#Object#native_class_name */
 181 (nitmethod_t)VIRTUAL_string__Object__class_name, /* pointer to coloring:POSetConflictGraph:string#Object#class_name */
 182 (nitmethod_t)VIRTUAL_string__Object__inspect, /* pointer to coloring:POSetConflictGraph:string#Object#inspect */
 183 (nitmethod_t)VIRTUAL_string__Object__inspect_head, /* pointer to coloring:POSetConflictGraph:string#Object#inspect_head */
 184 (nitmethod_t)VIRTUAL_string__Object__args, /* pointer to coloring:POSetConflictGraph:string#Object#args */
 185 (nitmethod_t)VIRTUAL_time__Object__get_time, /* pointer to coloring:POSetConflictGraph:time#Object#get_time */
 186 (nitmethod_t)VIRTUAL_file__Object__printn, /* pointer to coloring:POSetConflictGraph:file#Object#printn */
 187 (nitmethod_t)VIRTUAL_file__Object__print, /* pointer to coloring:POSetConflictGraph:file#Object#print */
 188 (nitmethod_t)VIRTUAL_file__Object__getcwd, /* pointer to coloring:POSetConflictGraph:file#Object#getcwd */
 189 (nitmethod_t)VIRTUAL_file__Object__file_getcwd, /* pointer to coloring:POSetConflictGraph:file#Object#file_getcwd */
 190 (nitmethod_t)VIRTUAL_model_base__Object__intrude_visibility, /* pointer to coloring:POSetConflictGraph:model_base#Object#intrude_visibility */
 191 (nitmethod_t)VIRTUAL_model_base__Object__public_visibility, /* pointer to coloring:POSetConflictGraph:model_base#Object#public_visibility */
 192 (nitmethod_t)VIRTUAL_model_base__Object__protected_visibility, /* pointer to coloring:POSetConflictGraph:model_base#Object#protected_visibility */
 193 (nitmethod_t)VIRTUAL_model_base__Object__private_visibility, /* pointer to coloring:POSetConflictGraph:model_base#Object#private_visibility */
 194 (nitmethod_t)VIRTUAL_model_base__Object__none_visibility, /* pointer to coloring:POSetConflictGraph:model_base#Object#none_visibility */
 195 (nitmethod_t)VIRTUAL_version__Object__nit_version, /* pointer to coloring:POSetConflictGraph:version#Object#nit_version */
 196 (nitmethod_t)VIRTUAL_model__Object__abstract_kind, /* pointer to coloring:POSetConflictGraph:model#Object#abstract_kind */
 197 (nitmethod_t)VIRTUAL_model__Object__concrete_kind, /* pointer to coloring:POSetConflictGraph:model#Object#concrete_kind */
 198 (nitmethod_t)VIRTUAL_model__Object__interface_kind, /* pointer to coloring:POSetConflictGraph:model#Object#interface_kind */
 199 (nitmethod_t)VIRTUAL_model__Object__enum_kind, /* pointer to coloring:POSetConflictGraph:model#Object#enum_kind */
 200 (nitmethod_t)VIRTUAL_model__Object__extern_kind, /* pointer to coloring:POSetConflictGraph:model#Object#extern_kind */
 201 (nitmethod_t)VIRTUAL_coloring__POSetConflictGraph__core, /* pointer to coloring:POSetConflictGraph:coloring#POSetConflictGraph#core */
 202 (nitmethod_t)VIRTUAL_coloring__POSetConflictGraph__border, /* pointer to coloring:POSetConflictGraph:coloring#POSetConflictGraph#border */
 203 (nitmethod_t)VIRTUAL_coloring__POSetConflictGraph__crown, /* pointer to coloring:POSetConflictGraph:coloring#POSetConflictGraph#crown */
 204 (nitmethod_t)VIRTUAL_coloring__POSetConflictGraph__conflicts, /* pointer to coloring:POSetConflictGraph:coloring#POSetConflictGraph#conflicts */
 205 (nitmethod_t)VIRTUAL_coloring__POSetConflictGraph__poset, /* pointer to coloring:POSetConflictGraph:coloring#POSetConflictGraph#poset */
 206 (nitmethod_t)VIRTUAL_coloring__POSetConflictGraph__poset_61d, /* pointer to coloring:POSetConflictGraph:coloring#POSetConflictGraph#poset= */
 207 (nitmethod_t)VIRTUAL_coloring__POSetConflictGraph__init, /* pointer to coloring:POSetConflictGraph:coloring#POSetConflictGraph#init */
 208 (nitmethod_t)VIRTUAL_coloring__POSetConflictGraph__extract_core, /* pointer to coloring:POSetConflictGraph:coloring#POSetConflictGraph#extract_core */
 209 (nitmethod_t)VIRTUAL_coloring__POSetConflictGraph__extract_border, /* pointer to coloring:POSetConflictGraph:coloring#POSetConflictGraph#extract_border */
 210 (nitmethod_t)VIRTUAL_coloring__POSetConflictGraph__is_border, /* pointer to coloring:POSetConflictGraph:coloring#POSetConflictGraph#is_border */
 211 (nitmethod_t)VIRTUAL_coloring__POSetConflictGraph__extract_crown, /* pointer to coloring:POSetConflictGraph:coloring#POSetConflictGraph#extract_crown */
 212 (nitmethod_t)VIRTUAL_coloring__POSetConflictGraph__compute_conflicts, /* pointer to coloring:POSetConflictGraph:coloring#POSetConflictGraph#compute_conflicts */
 213 (nitmethod_t)VIRTUAL_coloring__POSetConflictGraph__add_conflict, /* pointer to coloring:POSetConflictGraph:coloring#POSetConflictGraph#add_conflict */
 214 (nitmethod_t)VIRTUAL_coloring__POSetConflictGraph__add_conflicts, /* pointer to coloring:POSetConflictGraph:coloring#POSetConflictGraph#add_conflicts */
 215 }
 216 };
 217 /* allocate POSetConflictGraph[Object] */
 218 val* NEW_coloring__POSetConflictGraph(const struct type* type) {
 219 val* self /* : POSetConflictGraph[Object] */;
 220 val* var /* : HashSet[Object] */;
 221 val* var1 /* : HashSet[Object] */;
 222 val* var2 /* : HashSet[Object] */;
 223 val* var3 /* : HashMap[Object, Set[Object]] */;
 224 self = nit_alloc(sizeof(struct instance) + 5*sizeof(nitattribute_t));
 225 self->type = type;
 226 self->class = &class_coloring__POSetConflictGraph;
 227 var = NEW_hash_collection__HashSet(self->type->resolution_table->types[COLOR_hash_collection__HashSetcoloring__POSetConflictGraph_FT0]);
 228 {
 229 ((void (*)(val*))(var->class->vft[COLOR_kernel__Object__init]))(var) /* init on <var:HashSet[Object]>*/;
 230 }
 231 self->attrs[COLOR_coloring__POSetConflictGraph___core].val = var; /* _core on <self:POSetConflictGraph[Object] exact> */
 232 var1 = NEW_hash_collection__HashSet(self->type->resolution_table->types[COLOR_hash_collection__HashSetcoloring__POSetConflictGraph_FT0]);
 233 {
 234 ((void (*)(val*))(var1->class->vft[COLOR_kernel__Object__init]))(var1) /* init on <var1:HashSet[Object]>*/;
 235 }
 236 self->attrs[COLOR_coloring__POSetConflictGraph___border].val = var1; /* _border on <self:POSetConflictGraph[Object] exact> */
 237 var2 = NEW_hash_collection__HashSet(self->type->resolution_table->types[COLOR_hash_collection__HashSetcoloring__POSetConflictGraph_FT0]);
 238 {
 239 ((void (*)(val*))(var2->class->vft[COLOR_kernel__Object__init]))(var2) /* init on <var2:HashSet[Object]>*/;
 240 }
 241 self->attrs[COLOR_coloring__POSetConflictGraph___crown].val = var2; /* _crown on <self:POSetConflictGraph[Object] exact> */
 242 var3 = NEW_hash_collection__HashMap(self->type->resolution_table->types[COLOR_hash_collection__HashMapcoloring__POSetConflictGraph_FT0abstract_collection__Setcoloring__POSetConflictGraph_FT0]);
 243 {
 244 ((void (*)(val*))(var3->class->vft[COLOR_kernel__Object__init]))(var3) /* init on <var3:HashMap[Object, Set[Object]]>*/;
 245 }
 246 self->attrs[COLOR_coloring__POSetConflictGraph___conflicts].val = var3; /* _conflicts on <self:POSetConflictGraph[Object] exact> */
 247 return self;
 248 }
 249 /* runtime class coloring__POSetColorer */
 250 const struct class class_coloring__POSetColorer = {
 251 0, /* box_kind */
 252 {
 253 (nitmethod_t)VIRTUAL_kernel__Object__object_id, /* pointer to coloring:POSetColorer:kernel#Object#object_id */
 254 (nitmethod_t)VIRTUAL_kernel__Object__is_same_instance, /* pointer to coloring:POSetColorer:kernel#Object#is_same_instance */
 255 (nitmethod_t)VIRTUAL_kernel__Object___61d_61d, /* pointer to coloring:POSetColorer:kernel#Object#== */
 256 (nitmethod_t)VIRTUAL_kernel__Object___33d_61d, /* pointer to coloring:POSetColorer:kernel#Object#!= */
 257 (nitmethod_t)VIRTUAL_kernel__Object__hash, /* pointer to coloring:POSetColorer:kernel#Object#hash */
 258 (nitmethod_t)VIRTUAL_kernel__Object__exit, /* pointer to coloring:POSetColorer:kernel#Object#exit */
 259 (nitmethod_t)VIRTUAL_kernel__Object__sys, /* pointer to coloring:POSetColorer:kernel#Object#sys */
 260 (nitmethod_t)VIRTUAL_kernel__Object__init, /* pointer to coloring:POSetColorer:kernel#Object#init */
 261 (nitmethod_t)VIRTUAL_sorter__Object__default_comparator, /* pointer to coloring:POSetColorer:sorter#Object#default_comparator */
 262 (nitmethod_t)VIRTUAL_string__Object__to_s, /* pointer to coloring:POSetColorer:string#Object#to_s */
 263 (nitmethod_t)VIRTUAL_string__Object__native_class_name, /* pointer to coloring:POSetColorer:string#Object#native_class_name */
 264 (nitmethod_t)VIRTUAL_string__Object__class_name, /* pointer to coloring:POSetColorer:string#Object#class_name */
 265 (nitmethod_t)VIRTUAL_string__Object__inspect, /* pointer to coloring:POSetColorer:string#Object#inspect */
 266 (nitmethod_t)VIRTUAL_string__Object__inspect_head, /* pointer to coloring:POSetColorer:string#Object#inspect_head */
 267 (nitmethod_t)VIRTUAL_string__Object__args, /* pointer to coloring:POSetColorer:string#Object#args */
 268 (nitmethod_t)VIRTUAL_time__Object__get_time, /* pointer to coloring:POSetColorer:time#Object#get_time */
 269 (nitmethod_t)VIRTUAL_file__Object__printn, /* pointer to coloring:POSetColorer:file#Object#printn */
 270 (nitmethod_t)VIRTUAL_file__Object__print, /* pointer to coloring:POSetColorer:file#Object#print */
 271 (nitmethod_t)VIRTUAL_file__Object__getcwd, /* pointer to coloring:POSetColorer:file#Object#getcwd */
 272 (nitmethod_t)VIRTUAL_file__Object__file_getcwd, /* pointer to coloring:POSetColorer:file#Object#file_getcwd */
 273 (nitmethod_t)VIRTUAL_model_base__Object__intrude_visibility, /* pointer to coloring:POSetColorer:model_base#Object#intrude_visibility */
 274 (nitmethod_t)VIRTUAL_model_base__Object__public_visibility, /* pointer to coloring:POSetColorer:model_base#Object#public_visibility */
 275 (nitmethod_t)VIRTUAL_model_base__Object__protected_visibility, /* pointer to coloring:POSetColorer:model_base#Object#protected_visibility */
 276 (nitmethod_t)VIRTUAL_model_base__Object__private_visibility, /* pointer to coloring:POSetColorer:model_base#Object#private_visibility */
 277 (nitmethod_t)VIRTUAL_model_base__Object__none_visibility, /* pointer to coloring:POSetColorer:model_base#Object#none_visibility */
 278 (nitmethod_t)VIRTUAL_version__Object__nit_version, /* pointer to coloring:POSetColorer:version#Object#nit_version */
 279 (nitmethod_t)VIRTUAL_model__Object__abstract_kind, /* pointer to coloring:POSetColorer:model#Object#abstract_kind */
 280 (nitmethod_t)VIRTUAL_model__Object__concrete_kind, /* pointer to coloring:POSetColorer:model#Object#concrete_kind */
 281 (nitmethod_t)VIRTUAL_model__Object__interface_kind, /* pointer to coloring:POSetColorer:model#Object#interface_kind */
 282 (nitmethod_t)VIRTUAL_model__Object__enum_kind, /* pointer to coloring:POSetColorer:model#Object#enum_kind */
 283 (nitmethod_t)VIRTUAL_model__Object__extern_kind, /* pointer to coloring:POSetColorer:model#Object#extern_kind */
 284 (nitmethod_t)VIRTUAL_coloring__POSetColorer__is_colored, /* pointer to coloring:POSetColorer:coloring#POSetColorer#is_colored */
 285 (nitmethod_t)VIRTUAL_coloring__POSetColorer__is_colored_61d, /* pointer to coloring:POSetColorer:coloring#POSetColorer#is_colored= */
 286 (nitmethod_t)VIRTUAL_coloring__POSetColorer__ids, /* pointer to coloring:POSetColorer:coloring#POSetColorer#ids */
 287 (nitmethod_t)VIRTUAL_coloring__POSetColorer__ids_cache, /* pointer to coloring:POSetColorer:coloring#POSetColorer#ids_cache */
 288 (nitmethod_t)VIRTUAL_coloring__POSetColorer__colors, /* pointer to coloring:POSetColorer:coloring#POSetColorer#colors */
 289 (nitmethod_t)VIRTUAL_coloring__POSetColorer__colors_cache, /* pointer to coloring:POSetColorer:coloring#POSetColorer#colors_cache */
 290 (nitmethod_t)VIRTUAL_coloring__POSetColorer__poset_cache, /* pointer to coloring:POSetColorer:coloring#POSetColorer#poset_cache */
 291 (nitmethod_t)VIRTUAL_coloring__POSetColorer__poset_cache_61d, /* pointer to coloring:POSetColorer:coloring#POSetColorer#poset_cache= */
 292 (nitmethod_t)VIRTUAL_coloring__POSetColorer__conflicts, /* pointer to coloring:POSetColorer:coloring#POSetColorer#conflicts */
 293 (nitmethod_t)VIRTUAL_coloring__POSetColorer__conflicts_cache, /* pointer to coloring:POSetColorer:coloring#POSetColorer#conflicts_cache */
 294 (nitmethod_t)VIRTUAL_coloring__POSetColorer__conflicts_cache_61d, /* pointer to coloring:POSetColorer:coloring#POSetColorer#conflicts_cache= */
 295 (nitmethod_t)VIRTUAL_coloring__POSetColorer__graph, /* pointer to coloring:POSetColorer:coloring#POSetColorer#graph */
 296 (nitmethod_t)VIRTUAL_coloring__POSetColorer__graph_61d, /* pointer to coloring:POSetColorer:coloring#POSetColorer#graph= */
 297 (nitmethod_t)VIRTUAL_coloring__POSetColorer__colorize, /* pointer to coloring:POSetColorer:coloring#POSetColorer#colorize */
 298 (nitmethod_t)VIRTUAL_coloring__POSetColorer__allocate_ids, /* pointer to coloring:POSetColorer:coloring#POSetColorer#allocate_ids */
 299 (nitmethod_t)VIRTUAL_coloring__POSetColorer__compute_colors, /* pointer to coloring:POSetColorer:coloring#POSetColorer#compute_colors */
 300 (nitmethod_t)VIRTUAL_coloring__POSetColorer__colorize_core, /* pointer to coloring:POSetColorer:coloring#POSetColorer#colorize_core */
 301 (nitmethod_t)VIRTUAL_coloring__POSetColorer__colorize_set, /* pointer to coloring:POSetColorer:coloring#POSetColorer#colorize_set */
 302 (nitmethod_t)VIRTUAL_coloring__POSetColorer__min_color, /* pointer to coloring:POSetColorer:coloring#POSetColorer#min_color */
 303 (nitmethod_t)VIRTUAL_coloring__POSetColorer__is_color_free, /* pointer to coloring:POSetColorer:coloring#POSetColorer#is_color_free */
 304 }
 305 };
 306 /* allocate POSetColorer[Object] */
 307 val* NEW_coloring__POSetColorer(const struct type* type) {
 308 val* self /* : POSetColorer[Object] */;
 309 short int var /* : Bool */;
 310 val* var1 /* : HashMap[Object, Int] */;
 311 val* var2 /* : HashMap[Object, Int] */;
 312 self = nit_alloc(sizeof(struct instance) + 6*sizeof(nitattribute_t));
 313 self->type = type;
 314 self->class = &class_coloring__POSetColorer;
 315 var = 0;
 316 self->attrs[COLOR_coloring__POSetColorer___is_colored].s = var; /* _is_colored on <self:POSetColorer[Object] exact> */
 317 var1 = NEW_hash_collection__HashMap(self->type->resolution_table->types[COLOR_hash_collection__HashMapcoloring__POSetColorer_FT0kernel__Int]);
 318 {
 319 ((void (*)(val*))(var1->class->vft[COLOR_kernel__Object__init]))(var1) /* init on <var1:HashMap[Object, Int]>*/;
 320 }
 321 self->attrs[COLOR_coloring__POSetColorer___ids_cache].val = var1; /* _ids_cache on <self:POSetColorer[Object] exact> */
 322 var2 = NEW_hash_collection__HashMap(self->type->resolution_table->types[COLOR_hash_collection__HashMapcoloring__POSetColorer_FT0kernel__Int]);
 323 {
 324 ((void (*)(val*))(var2->class->vft[COLOR_kernel__Object__init]))(var2) /* init on <var2:HashMap[Object, Int]>*/;
 325 }
 326 self->attrs[COLOR_coloring__POSetColorer___colors_cache].val = var2; /* _colors_cache on <self:POSetColorer[Object] exact> */
 327 return self;
 328 }
 329 /* runtime class coloring__BucketsColorer */
 330 const struct class class_coloring__BucketsColorer = {
 331 0, /* box_kind */
 332 {
 333 (nitmethod_t)VIRTUAL_kernel__Object__object_id, /* pointer to coloring:BucketsColorer:kernel#Object#object_id */
 334 (nitmethod_t)VIRTUAL_kernel__Object__is_same_instance, /* pointer to coloring:BucketsColorer:kernel#Object#is_same_instance */
 335 (nitmethod_t)VIRTUAL_kernel__Object___61d_61d, /* pointer to coloring:BucketsColorer:kernel#Object#== */
 336 (nitmethod_t)VIRTUAL_kernel__Object___33d_61d, /* pointer to coloring:BucketsColorer:kernel#Object#!= */
 337 (nitmethod_t)VIRTUAL_kernel__Object__hash, /* pointer to coloring:BucketsColorer:kernel#Object#hash */
 338 (nitmethod_t)VIRTUAL_kernel__Object__exit, /* pointer to coloring:BucketsColorer:kernel#Object#exit */
 339 (nitmethod_t)VIRTUAL_kernel__Object__sys, /* pointer to coloring:BucketsColorer:kernel#Object#sys */
 340 (nitmethod_t)VIRTUAL_kernel__Object__init, /* pointer to coloring:BucketsColorer:kernel#Object#init */
 341 (nitmethod_t)VIRTUAL_sorter__Object__default_comparator, /* pointer to coloring:BucketsColorer:sorter#Object#default_comparator */
 342 (nitmethod_t)VIRTUAL_string__Object__to_s, /* pointer to coloring:BucketsColorer:string#Object#to_s */
 343 (nitmethod_t)VIRTUAL_string__Object__native_class_name, /* pointer to coloring:BucketsColorer:string#Object#native_class_name */
 344 (nitmethod_t)VIRTUAL_string__Object__class_name, /* pointer to coloring:BucketsColorer:string#Object#class_name */
 345 (nitmethod_t)VIRTUAL_string__Object__inspect, /* pointer to coloring:BucketsColorer:string#Object#inspect */
 346 (nitmethod_t)VIRTUAL_string__Object__inspect_head, /* pointer to coloring:BucketsColorer:string#Object#inspect_head */
 347 (nitmethod_t)VIRTUAL_string__Object__args, /* pointer to coloring:BucketsColorer:string#Object#args */
 348 (nitmethod_t)VIRTUAL_time__Object__get_time, /* pointer to coloring:BucketsColorer:time#Object#get_time */
 349 (nitmethod_t)VIRTUAL_file__Object__printn, /* pointer to coloring:BucketsColorer:file#Object#printn */
 350 (nitmethod_t)VIRTUAL_file__Object__print, /* pointer to coloring:BucketsColorer:file#Object#print */
 351 (nitmethod_t)VIRTUAL_file__Object__getcwd, /* pointer to coloring:BucketsColorer:file#Object#getcwd */
 352 (nitmethod_t)VIRTUAL_file__Object__file_getcwd, /* pointer to coloring:BucketsColorer:file#Object#file_getcwd */
 353 (nitmethod_t)VIRTUAL_model_base__Object__intrude_visibility, /* pointer to coloring:BucketsColorer:model_base#Object#intrude_visibility */
 354 (nitmethod_t)VIRTUAL_model_base__Object__public_visibility, /* pointer to coloring:BucketsColorer:model_base#Object#public_visibility */
 355 (nitmethod_t)VIRTUAL_model_base__Object__protected_visibility, /* pointer to coloring:BucketsColorer:model_base#Object#protected_visibility */
 356 (nitmethod_t)VIRTUAL_model_base__Object__private_visibility, /* pointer to coloring:BucketsColorer:model_base#Object#private_visibility */
 357 (nitmethod_t)VIRTUAL_model_base__Object__none_visibility, /* pointer to coloring:BucketsColorer:model_base#Object#none_visibility */
 358 (nitmethod_t)VIRTUAL_version__Object__nit_version, /* pointer to coloring:BucketsColorer:version#Object#nit_version */
 359 (nitmethod_t)VIRTUAL_model__Object__abstract_kind, /* pointer to coloring:BucketsColorer:model#Object#abstract_kind */
 360 (nitmethod_t)VIRTUAL_model__Object__concrete_kind, /* pointer to coloring:BucketsColorer:model#Object#concrete_kind */
 361 (nitmethod_t)VIRTUAL_model__Object__interface_kind, /* pointer to coloring:BucketsColorer:model#Object#interface_kind */
 362 (nitmethod_t)VIRTUAL_model__Object__enum_kind, /* pointer to coloring:BucketsColorer:model#Object#enum_kind */
 363 (nitmethod_t)VIRTUAL_model__Object__extern_kind, /* pointer to coloring:BucketsColorer:model#Object#extern_kind */
 364 (nitmethod_t)VIRTUAL_coloring__BucketsColorer__colors, /* pointer to coloring:BucketsColorer:coloring#BucketsColorer#colors */
 365 (nitmethod_t)VIRTUAL_coloring__BucketsColorer__conflicts, /* pointer to coloring:BucketsColorer:coloring#BucketsColorer#conflicts */
 366 (nitmethod_t)VIRTUAL_coloring__BucketsColorer__colorize, /* pointer to coloring:BucketsColorer:coloring#BucketsColorer#colorize */
 367 (nitmethod_t)VIRTUAL_coloring__BucketsColorer__is_color_free, /* pointer to coloring:BucketsColorer:coloring#BucketsColorer#is_color_free */
 368 (nitmethod_t)VIRTUAL_coloring__BucketsColorer__compute_conflicts, /* pointer to coloring:BucketsColorer:coloring#BucketsColorer#compute_conflicts */
 369 }
 370 };
 371 /* allocate BucketsColorer[Object, Object] */
 372 val* NEW_coloring__BucketsColorer(const struct type* type) {
 373 val* self /* : BucketsColorer[Object, Object] */;
 374 val* var /* : HashMap[Object, Int] */;
 375 val* var1 /* : HashMap[Object, Set[Object]] */;
 376 self = nit_alloc(sizeof(struct instance) + 2*sizeof(nitattribute_t));
 377 self->type = type;
 378 self->class = &class_coloring__BucketsColorer;
 379 var = NEW_hash_collection__HashMap(self->type->resolution_table->types[COLOR_hash_collection__HashMapcoloring__BucketsColorer_FT1kernel__Int]);
 380 {
 381 ((void (*)(val*))(var->class->vft[COLOR_kernel__Object__init]))(var) /* init on <var:HashMap[Object, Int]>*/;
 382 }
 383 self->attrs[COLOR_coloring__BucketsColorer___colors].val = var; /* _colors on <self:BucketsColorer[Object, Object] exact> */
 384 var1 = NEW_hash_collection__HashMap(self->type->resolution_table->types[COLOR_hash_collection__HashMapcoloring__BucketsColorer_FT1abstract_collection__Setcoloring__BucketsColorer_FT1]);
 385 {
 386 ((void (*)(val*))(var1->class->vft[COLOR_kernel__Object__init]))(var1) /* init on <var1:HashMap[Object, Set[Object]]>*/;
 387 }
 388 self->attrs[COLOR_coloring__BucketsColorer___conflicts].val = var1; /* _conflicts on <self:BucketsColorer[Object, Object] exact> */
 389 return self;
 390 }
 391 /* runtime class coloring__POSetBucketsColorer */
 392 const struct class class_coloring__POSetBucketsColorer = {
 393 0, /* box_kind */
 394 {
 395 (nitmethod_t)VIRTUAL_kernel__Object__object_id, /* pointer to coloring:POSetBucketsColorer:kernel#Object#object_id */
 396 (nitmethod_t)VIRTUAL_kernel__Object__is_same_instance, /* pointer to coloring:POSetBucketsColorer:kernel#Object#is_same_instance */
 397 (nitmethod_t)VIRTUAL_kernel__Object___61d_61d, /* pointer to coloring:POSetBucketsColorer:kernel#Object#== */
 398 (nitmethod_t)VIRTUAL_kernel__Object___33d_61d, /* pointer to coloring:POSetBucketsColorer:kernel#Object#!= */
 399 (nitmethod_t)VIRTUAL_kernel__Object__hash, /* pointer to coloring:POSetBucketsColorer:kernel#Object#hash */
 400 (nitmethod_t)VIRTUAL_kernel__Object__exit, /* pointer to coloring:POSetBucketsColorer:kernel#Object#exit */
 401 (nitmethod_t)VIRTUAL_kernel__Object__sys, /* pointer to coloring:POSetBucketsColorer:kernel#Object#sys */
 402 (nitmethod_t)VIRTUAL_kernel__Object__init, /* pointer to coloring:POSetBucketsColorer:kernel#Object#init */
 403 (nitmethod_t)VIRTUAL_sorter__Object__default_comparator, /* pointer to coloring:POSetBucketsColorer:sorter#Object#default_comparator */
 404 (nitmethod_t)VIRTUAL_string__Object__to_s, /* pointer to coloring:POSetBucketsColorer:string#Object#to_s */
 405 (nitmethod_t)VIRTUAL_string__Object__native_class_name, /* pointer to coloring:POSetBucketsColorer:string#Object#native_class_name */
 406 (nitmethod_t)VIRTUAL_string__Object__class_name, /* pointer to coloring:POSetBucketsColorer:string#Object#class_name */
 407 (nitmethod_t)VIRTUAL_string__Object__inspect, /* pointer to coloring:POSetBucketsColorer:string#Object#inspect */
 408 (nitmethod_t)VIRTUAL_string__Object__inspect_head, /* pointer to coloring:POSetBucketsColorer:string#Object#inspect_head */
 409 (nitmethod_t)VIRTUAL_string__Object__args, /* pointer to coloring:POSetBucketsColorer:string#Object#args */
 410 (nitmethod_t)VIRTUAL_time__Object__get_time, /* pointer to coloring:POSetBucketsColorer:time#Object#get_time */
 411 (nitmethod_t)VIRTUAL_file__Object__printn, /* pointer to coloring:POSetBucketsColorer:file#Object#printn */
 412 (nitmethod_t)VIRTUAL_file__Object__print, /* pointer to coloring:POSetBucketsColorer:file#Object#print */
 413 (nitmethod_t)VIRTUAL_file__Object__getcwd, /* pointer to coloring:POSetBucketsColorer:file#Object#getcwd */
 414 (nitmethod_t)VIRTUAL_file__Object__file_getcwd, /* pointer to coloring:POSetBucketsColorer:file#Object#file_getcwd */
 415 (nitmethod_t)VIRTUAL_model_base__Object__intrude_visibility, /* pointer to coloring:POSetBucketsColorer:model_base#Object#intrude_visibility */
 416 (nitmethod_t)VIRTUAL_model_base__Object__public_visibility, /* pointer to coloring:POSetBucketsColorer:model_base#Object#public_visibility */
 417 (nitmethod_t)VIRTUAL_model_base__Object__protected_visibility, /* pointer to coloring:POSetBucketsColorer:model_base#Object#protected_visibility */
 418 (nitmethod_t)VIRTUAL_model_base__Object__private_visibility, /* pointer to coloring:POSetBucketsColorer:model_base#Object#private_visibility */
 419 (nitmethod_t)VIRTUAL_model_base__Object__none_visibility, /* pointer to coloring:POSetBucketsColorer:model_base#Object#none_visibility */
 420 (nitmethod_t)VIRTUAL_version__Object__nit_version, /* pointer to coloring:POSetBucketsColorer:version#Object#nit_version */
 421 (nitmethod_t)VIRTUAL_model__Object__abstract_kind, /* pointer to coloring:POSetBucketsColorer:model#Object#abstract_kind */
 422 (nitmethod_t)VIRTUAL_model__Object__concrete_kind, /* pointer to coloring:POSetBucketsColorer:model#Object#concrete_kind */
 423 (nitmethod_t)VIRTUAL_model__Object__interface_kind, /* pointer to coloring:POSetBucketsColorer:model#Object#interface_kind */
 424 (nitmethod_t)VIRTUAL_model__Object__enum_kind, /* pointer to coloring:POSetBucketsColorer:model#Object#enum_kind */
 425 (nitmethod_t)VIRTUAL_model__Object__extern_kind, /* pointer to coloring:POSetBucketsColorer:model#Object#extern_kind */
 426 (nitmethod_t)VIRTUAL_coloring__POSetBucketsColorer__colors, /* pointer to coloring:POSetBucketsColorer:coloring#POSetBucketsColorer#colors */
 427 (nitmethod_t)VIRTUAL_coloring__POSetBucketsColorer__poset, /* pointer to coloring:POSetBucketsColorer:coloring#POSetBucketsColorer#poset */
 428 (nitmethod_t)VIRTUAL_coloring__POSetBucketsColorer__poset_61d, /* pointer to coloring:POSetBucketsColorer:coloring#POSetBucketsColorer#poset= */
 429 (nitmethod_t)VIRTUAL_coloring__POSetBucketsColorer__conflicts, /* pointer to coloring:POSetBucketsColorer:coloring#POSetBucketsColorer#conflicts */
 430 (nitmethod_t)VIRTUAL_coloring__POSetBucketsColorer__conflicts_61d, /* pointer to coloring:POSetBucketsColorer:coloring#POSetBucketsColorer#conflicts= */
 431 (nitmethod_t)VIRTUAL_coloring__POSetBucketsColorer__init, /* pointer to coloring:POSetBucketsColorer:coloring#POSetBucketsColorer#init */
 432 (nitmethod_t)VIRTUAL_coloring__POSetBucketsColorer__colorize, /* pointer to coloring:POSetBucketsColorer:coloring#POSetBucketsColorer#colorize */
 433 (nitmethod_t)VIRTUAL_coloring__POSetBucketsColorer__min_color, /* pointer to coloring:POSetBucketsColorer:coloring#POSetBucketsColorer#min_color */
 434 (nitmethod_t)VIRTUAL_coloring__POSetBucketsColorer__max_color, /* pointer to coloring:POSetBucketsColorer:coloring#POSetBucketsColorer#max_color */
 435 (nitmethod_t)VIRTUAL_coloring__POSetBucketsColorer__is_color_free, /* pointer to coloring:POSetBucketsColorer:coloring#POSetBucketsColorer#is_color_free */
 436 }
 437 };
 438 /* allocate POSetBucketsColorer[Object, Object] */
 439 val* NEW_coloring__POSetBucketsColorer(const struct type* type) {
 440 val* self /* : POSetBucketsColorer[Object, Object] */;
 441 val* var /* : HashMap[Object, Int] */;
 442 self = nit_alloc(sizeof(struct instance) + 3*sizeof(nitattribute_t));
 443 self->type = type;
 444 self->class = &class_coloring__POSetBucketsColorer;
 445 var = NEW_hash_collection__HashMap(self->type->resolution_table->types[COLOR_hash_collection__HashMapcoloring__POSetBucketsColorer_FT1kernel__Int]);
 446 {
 447 ((void (*)(val*))(var->class->vft[COLOR_kernel__Object__init]))(var) /* init on <var:HashMap[Object, Int]>*/;
 448 }
 449 self->attrs[COLOR_coloring__POSetBucketsColorer___colors].val = var; /* _colors on <self:POSetBucketsColorer[Object, Object] exact> */
 450 return self;
 451 }