1 #include "nith.classes.0.h"
2 /* runtime class platform__PlatformPhase */
3 const struct class class_platform__PlatformPhase
= {
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 */
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
));
57 self
->class = &class_platform__PlatformPhase
;
59 self
->attrs
[COLOR_phase__Phase___disabled
].s
= var
; /* _disabled on <self:PlatformPhase exact> */
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");
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");
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");
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");
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");
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");
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");
111 /* runtime class c_tools__ExternCFile */
112 const struct class class_c_tools__ExternCFile
= {
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= */
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
));
163 self
->class = &class_c_tools__ExternCFile
;
166 /* runtime class coloring__POSetConflictGraph */
167 const struct class class_coloring__POSetConflictGraph
= {
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 */
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
));
226 self
->class = &class_coloring__POSetConflictGraph
;
227 var
= NEW_hash_collection__HashSet(self
->type
->resolution_table
->types
[COLOR_hash_collection__HashSetcoloring__POSetConflictGraph_FT0
]);
229 ((void (*)(val
*))(var
->class->vft
[COLOR_kernel__Object__init
]))(var
) /* init on <var:HashSet[Object]>*/;
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
]);
234 ((void (*)(val
*))(var1
->class->vft
[COLOR_kernel__Object__init
]))(var1
) /* init on <var1:HashSet[Object]>*/;
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
]);
239 ((void (*)(val
*))(var2
->class->vft
[COLOR_kernel__Object__init
]))(var2
) /* init on <var2:HashSet[Object]>*/;
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
]);
244 ((void (*)(val
*))(var3
->class->vft
[COLOR_kernel__Object__init
]))(var3
) /* init on <var3:HashMap[Object, Set[Object]]>*/;
246 self
->attrs
[COLOR_coloring__POSetConflictGraph___conflicts
].val
= var3
; /* _conflicts on <self:POSetConflictGraph[Object] exact> */
249 /* runtime class coloring__POSetColorer */
250 const struct class class_coloring__POSetColorer
= {
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 */
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
));
314 self
->class = &class_coloring__POSetColorer
;
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
]);
319 ((void (*)(val
*))(var1
->class->vft
[COLOR_kernel__Object__init
]))(var1
) /* init on <var1:HashMap[Object, Int]>*/;
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
]);
324 ((void (*)(val
*))(var2
->class->vft
[COLOR_kernel__Object__init
]))(var2
) /* init on <var2:HashMap[Object, Int]>*/;
326 self
->attrs
[COLOR_coloring__POSetColorer___colors_cache
].val
= var2
; /* _colors_cache on <self:POSetColorer[Object] exact> */
329 /* runtime class coloring__BucketsColorer */
330 const struct class class_coloring__BucketsColorer
= {
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 */
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
));
378 self
->class = &class_coloring__BucketsColorer
;
379 var
= NEW_hash_collection__HashMap(self
->type
->resolution_table
->types
[COLOR_hash_collection__HashMapcoloring__BucketsColorer_FT1kernel__Int
]);
381 ((void (*)(val
*))(var
->class->vft
[COLOR_kernel__Object__init
]))(var
) /* init on <var:HashMap[Object, Int]>*/;
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
]);
386 ((void (*)(val
*))(var1
->class->vft
[COLOR_kernel__Object__init
]))(var1
) /* init on <var1:HashMap[Object, Set[Object]]>*/;
388 self
->attrs
[COLOR_coloring__BucketsColorer___conflicts
].val
= var1
; /* _conflicts on <self:BucketsColorer[Object, Object] exact> */
391 /* runtime class coloring__POSetBucketsColorer */
392 const struct class class_coloring__POSetBucketsColorer
= {
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 */
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
));
444 self
->class = &class_coloring__POSetBucketsColorer
;
445 var
= NEW_hash_collection__HashMap(self
->type
->resolution_table
->types
[COLOR_hash_collection__HashMapcoloring__POSetBucketsColorer_FT1kernel__Int
]);
447 ((void (*)(val
*))(var
->class->vft
[COLOR_kernel__Object__init
]))(var
) /* init on <var:HashMap[Object, Int]>*/;
449 self
->attrs
[COLOR_coloring__POSetBucketsColorer___colors
].val
= var
; /* _colors on <self:POSetBucketsColorer[Object, Object] exact> */