1 #include "syntax_base._sep.h"
2 val_t
syntax_base___MMSrcModule___node(val_t self
) {
3 struct trace_t trace
= {NULL
, "syntax_base::MMSrcModule::node (src/syntax//syntax_base.nit:26,2--27:29)"};
4 trace
.prev
= tracehead
; tracehead
= &trace
;
5 tracehead
= trace
.prev
;
6 return ATTR_syntax_base___MMSrcModule____node( self
) /*MMSrcModule::_node*/;
8 val_t
syntax_base___MMSrcModule___src_local_classes(val_t self
) {
9 struct trace_t trace
= {NULL
, "syntax_base::MMSrcModule::src_local_classes (src/syntax//syntax_base.nit:29,2--30:62)"};
10 trace
.prev
= tracehead
; tracehead
= &trace
;
11 tracehead
= trace
.prev
;
12 return ATTR_syntax_base___MMSrcModule____src_local_classes( self
) /*MMSrcModule::_src_local_classes*/;
14 void syntax_base___MMSrcModule___init(val_t self
, val_t param0
, val_t param1
, val_t param2
, val_t param3
, int* init_table
) {
15 struct trace_t trace
= {NULL
, "syntax_base::MMSrcModule::init (src/syntax//syntax_base.nit:32,2--36:58)"};
21 trace
.prev
= tracehead
; tracehead
= &trace
;
26 if (init_table
[VAL2OBJ( self
)->vft
[INIT_TABLE_POS_MMSrcModule
].i
]) return;
27 ((abstractmetamodel___MMModule___init_t
)CALL( self
,COLOR_abstractmetamodel___MMModule___init
))( self
, variable3
/*name*/, variable2
/*dir*/, variable0
/*c*/, init_table
/*YYY*/) /*MMModule::init*/;
28 ATTR_syntax_base___MMSrcModule____node( self
) /*MMSrcModule::_node*/ = variable1
/*source*/;
29 variable4
= NEW_hash___HashMap___init(); /*new HashMap[Symbol, MMSrcLocalClass]*/
30 ATTR_syntax_base___MMSrcModule____src_local_classes( self
) /*MMSrcModule::_src_local_classes*/ = variable4
;
31 init_table
[VAL2OBJ( self
)->vft
[INIT_TABLE_POS_MMSrcModule
].i
] = 1;
32 tracehead
= trace
.prev
;
35 val_t
syntax_base___MMGlobalClass___check_visibility(val_t self
, val_t param0
, val_t param1
, val_t param2
) {
36 struct trace_t trace
= {NULL
, "syntax_base::MMGlobalClass::check_visibility (src/syntax//syntax_base.nit:41,2--55:13)"};
51 trace
.prev
= tracehead
; tracehead
= &trace
;
55 variable4
= ((abstractmetamodel___MMGlobalClass___intro_t
)CALL( self
,COLOR_abstractmetamodel___MMGlobalClass___intro
))( self
) /*MMGlobalClass::intro*/;
56 variable4
= ((abstractmetamodel___MMLocalClass___module_t
)CALL(variable4
,COLOR_abstractmetamodel___MMLocalClass___module
))(variable4
) /*MMLocalClass::module*/;
57 variable3
= variable4
;
58 variable4
= TAG_Bool(( variable3
/*pm*/==NIT_NULL
) || VAL_ISA( variable3
/*pm*/, COLOR_MMSrcModule
, ID_MMSrcModule
)) /*cast MMSrcModule*/;
59 if (!UNTAG_Bool(variable4
)) { fprintf(stderr
, "Assert failed: src/syntax//syntax_base.nit:44,3--27\n"); nit_exit(1);}
60 variable5
= ((abstractmetamodel___MMModule___visibility_for_t
)CALL( variable2
/*cm*/,COLOR_abstractmetamodel___MMModule___visibility_for
))( variable2
/*cm*/, variable3
/*pm*/) /*MMSrcModule::visibility_for*/;
61 variable4
= variable5
;
62 variable5
= TAG_Bool(( variable4
/*vpm*/)==( TAG_Int(3)));
63 if (UNTAG_Bool(variable5
)) { /*if*/
64 variable3
= TAG_Bool(true);
67 variable5
= TAG_Bool(( variable4
/*vpm*/)==( TAG_Int(0)));
68 if (UNTAG_Bool(variable5
)) { /*if*/
69 variable5
= NEW_string___String___init(); /*new String*/
70 variable6
= NEW_string___String___with_native(BOX_NativeString("Visibility error: Class "), TAG_Int(24)); /*new String*/
71 variable7
= variable6
;
72 ((string___String___append_t
)CALL(variable5
,COLOR_abstract_collection___IndexedCollection___append
))(variable5
, variable7
) /*String::append*/;
74 variable8
= ((string___String___to_s_t
)CALL(variable8
,COLOR_string___Object___to_s
))(variable8
) /*String::to_s*/;
75 ((string___String___append_t
)CALL(variable5
,COLOR_abstract_collection___IndexedCollection___append
))(variable5
, variable8
) /*String::append*/;
76 variable9
= NEW_string___String___with_native(BOX_NativeString(" comes from the hidden module "), TAG_Int(30)); /*new String*/
77 variable10
= variable9
;
78 ((string___String___append_t
)CALL(variable5
,COLOR_abstract_collection___IndexedCollection___append
))(variable5
, variable10
) /*String::append*/;
79 variable11
= variable2
/*cm*/;
80 variable11
= ((string___String___to_s_t
)CALL(variable11
,COLOR_string___Object___to_s
))(variable11
) /*String::to_s*/;
81 ((string___String___append_t
)CALL(variable5
,COLOR_abstract_collection___IndexedCollection___append
))(variable5
, variable11
) /*String::append*/;
82 variable12
= NEW_string___String___with_native(BOX_NativeString("."), TAG_Int(1)); /*new String*/
83 variable13
= variable12
;
84 ((string___String___append_t
)CALL(variable5
,COLOR_abstract_collection___IndexedCollection___append
))(variable5
, variable13
) /*String::append*/;
85 ((syntax_base___AbsSyntaxVisitor___error_t
)CALL( variable0
/*v*/,COLOR_syntax_base___AbsSyntaxVisitor___error
))( variable0
/*v*/, variable1
/*n*/, variable5
) /*AbsSyntaxVisitor::error*/;
86 variable3
= TAG_Bool(false);
89 variable5
= ((abstractmetamodel___MMGlobalClass___visibility_level_t
)CALL( self
,COLOR_abstractmetamodel___MMGlobalClass___visibility_level
))( self
) /*MMGlobalClass::visibility_level*/;
90 variable5
= TAG_Bool(UNTAG_Int(variable5
)>=UNTAG_Int( TAG_Int(3)));
91 if (UNTAG_Bool(variable5
)) { /*if*/
92 variable5
= NEW_string___String___init(); /*new String*/
93 variable6
= NEW_string___String___with_native(BOX_NativeString("Visibility error: Class "), TAG_Int(24)); /*new String*/
94 variable7
= variable6
;
95 ((string___String___append_t
)CALL(variable5
,COLOR_abstract_collection___IndexedCollection___append
))(variable5
, variable7
) /*String::append*/;
97 variable8
= ((string___String___to_s_t
)CALL(variable8
,COLOR_string___Object___to_s
))(variable8
) /*String::to_s*/;
98 ((string___String___append_t
)CALL(variable5
,COLOR_abstract_collection___IndexedCollection___append
))(variable5
, variable8
) /*String::append*/;
99 variable9
= NEW_string___String___with_native(BOX_NativeString(" is private."), TAG_Int(12)); /*new String*/
100 variable10
= variable9
;
101 ((string___String___append_t
)CALL(variable5
,COLOR_abstract_collection___IndexedCollection___append
))(variable5
, variable10
) /*String::append*/;
102 ((syntax_base___AbsSyntaxVisitor___error_t
)CALL( variable0
/*v*/,COLOR_syntax_base___AbsSyntaxVisitor___error
))( variable0
/*v*/, variable1
/*n*/, variable5
) /*AbsSyntaxVisitor::error*/;
103 variable3
= TAG_Bool(false);
108 variable3
= TAG_Bool(true);
110 return_label1
: while(false);
111 tracehead
= trace
.prev
;
114 val_t
syntax_base___MMSrcLocalClass___nodes(val_t self
) {
115 struct trace_t trace
= {NULL
, "syntax_base::MMSrcLocalClass::nodes (src/syntax//syntax_base.nit:62,2--63:38)"};
116 trace
.prev
= tracehead
; tracehead
= &trace
;
117 tracehead
= trace
.prev
;
118 return ATTR_syntax_base___MMSrcLocalClass____nodes( self
) /*MMSrcLocalClass::_nodes*/;
120 val_t
syntax_base___MMSrcLocalClass___formal_dict(val_t self
) {
121 struct trace_t trace
= {NULL
, "syntax_base::MMSrcLocalClass::formal_dict (src/syntax//syntax_base.nit:65,2--66:71)"};
122 trace
.prev
= tracehead
; tracehead
= &trace
;
123 tracehead
= trace
.prev
;
124 return ATTR_syntax_base___MMSrcLocalClass____formal_dict( self
) /*MMSrcLocalClass::_formal_dict*/;
126 void syntax_base___MMSrcLocalClass___formal_dict__eq(val_t self
, val_t param0
) {
127 struct trace_t trace
= {NULL
, "syntax_base::MMSrcLocalClass::formal_dict= (src/syntax//syntax_base.nit:65,2--66:71)"};
128 trace
.prev
= tracehead
; tracehead
= &trace
;
129 ATTR_syntax_base___MMSrcLocalClass____formal_dict( self
) /*MMSrcLocalClass::_formal_dict*/ = param0
;
130 tracehead
= trace
.prev
;
133 val_t
syntax_base___MMSrcLocalClass___src_local_properties(val_t self
) {
134 struct trace_t trace
= {NULL
, "syntax_base::MMSrcLocalClass::src_local_properties (src/syntax//syntax_base.nit:68,2--69:68)"};
135 trace
.prev
= tracehead
; tracehead
= &trace
;
136 tracehead
= trace
.prev
;
137 return ATTR_syntax_base___MMSrcLocalClass____src_local_properties( self
) /*MMSrcLocalClass::_src_local_properties*/;
139 void syntax_base___MMSrcLocalClass___init(val_t self
, val_t param0
, val_t param1
, val_t param2
, int* init_table
) {
140 struct trace_t trace
= {NULL
, "syntax_base::MMSrcLocalClass::init (src/syntax//syntax_base.nit:71,2--75:64)"};
145 trace
.prev
= tracehead
; tracehead
= &trace
;
149 if (init_table
[VAL2OBJ( self
)->vft
[INIT_TABLE_POS_MMSrcLocalClass
].i
]) return;
150 ((abstractmetamodel___MMLocalClass___init_t
)CALL( self
,COLOR_abstractmetamodel___MMLocalClass___init
))( self
, variable0
/*n*/, variable2
/*a*/, init_table
/*YYY*/) /*MMLocalClass::init*/;
151 variable3
= NEW_array___Array___with_capacity(TAG_Int(1)); /*new Array[PClassdef]*/
152 ((array___AbstractArray___add_t
)CALL(variable3
,COLOR_abstract_collection___SimpleCollection___add
))(variable3
, variable1
/*cla*/) /*Array::add*/;
153 ATTR_syntax_base___MMSrcLocalClass____nodes( self
) /*MMSrcLocalClass::_nodes*/ = variable3
;
154 variable3
= NEW_hash___HashMap___init(); /*new HashMap[Symbol, MMSrcLocalProperty]*/
155 ATTR_syntax_base___MMSrcLocalClass____src_local_properties( self
) /*MMSrcLocalClass::_src_local_properties*/ = variable3
;
156 init_table
[VAL2OBJ( self
)->vft
[INIT_TABLE_POS_MMSrcLocalClass
].i
] = 1;
157 tracehead
= trace
.prev
;
160 val_t
syntax_base___MMGlobalProperty___check_visibility(val_t self
, val_t param0
, val_t param1
, val_t param2
, val_t param3
) {
161 struct trace_t trace
= {NULL
, "syntax_base::MMGlobalProperty::check_visibility (src/syntax//syntax_base.nit:80,2--98:13)"};
177 trace
.prev
= tracehead
; tracehead
= &trace
;
182 variable5
= ((abstractmetamodel___MMGlobalProperty___local_class_t
)CALL( self
,COLOR_abstractmetamodel___MMGlobalProperty___local_class
))( self
) /*MMGlobalProperty::local_class*/;
183 variable5
= ((abstractmetamodel___MMLocalClass___module_t
)CALL(variable5
,COLOR_abstractmetamodel___MMLocalClass___module
))(variable5
) /*MMLocalClass::module*/;
184 variable4
= variable5
;
185 variable5
= TAG_Bool(( variable4
/*pm*/==NIT_NULL
) || VAL_ISA( variable4
/*pm*/, COLOR_MMSrcModule
, ID_MMSrcModule
)) /*cast MMSrcModule*/;
186 if (!UNTAG_Bool(variable5
)) { fprintf(stderr
, "Assert failed: src/syntax//syntax_base.nit:83,3--27\n"); nit_exit(1);}
187 variable6
= ((abstractmetamodel___MMModule___visibility_for_t
)CALL( variable2
/*cm*/,COLOR_abstractmetamodel___MMModule___visibility_for
))( variable2
/*cm*/, variable4
/*pm*/) /*MMSrcModule::visibility_for*/;
188 variable5
= variable6
;
189 variable6
= TAG_Bool(( variable5
/*vpm*/)==( TAG_Int(3)));
190 if (UNTAG_Bool(variable6
)) { /*if*/
191 variable4
= TAG_Bool(true);
194 variable6
= TAG_Bool(( variable5
/*vpm*/)==( TAG_Int(0)));
195 if (UNTAG_Bool(variable6
)) { /*if*/
196 variable6
= NEW_string___String___init(); /*new String*/
197 variable7
= NEW_string___String___with_native(BOX_NativeString("Visibility error: Property "), TAG_Int(27)); /*new String*/
198 variable8
= variable7
;
199 ((string___String___append_t
)CALL(variable6
,COLOR_abstract_collection___IndexedCollection___append
))(variable6
, variable8
) /*String::append*/;
201 variable9
= ((string___String___to_s_t
)CALL(variable9
,COLOR_string___Object___to_s
))(variable9
) /*String::to_s*/;
202 ((string___String___append_t
)CALL(variable6
,COLOR_abstract_collection___IndexedCollection___append
))(variable6
, variable9
) /*String::append*/;
203 variable10
= NEW_string___String___with_native(BOX_NativeString(" comes from the hidden module "), TAG_Int(30)); /*new String*/
204 variable11
= variable10
;
205 ((string___String___append_t
)CALL(variable6
,COLOR_abstract_collection___IndexedCollection___append
))(variable6
, variable11
) /*String::append*/;
206 variable12
= variable2
/*cm*/;
207 variable12
= ((string___String___to_s_t
)CALL(variable12
,COLOR_string___Object___to_s
))(variable12
) /*String::to_s*/;
208 ((string___String___append_t
)CALL(variable6
,COLOR_abstract_collection___IndexedCollection___append
))(variable6
, variable12
) /*String::append*/;
209 variable13
= NEW_string___String___with_native(BOX_NativeString("."), TAG_Int(1)); /*new String*/
210 variable14
= variable13
;
211 ((string___String___append_t
)CALL(variable6
,COLOR_abstract_collection___IndexedCollection___append
))(variable6
, variable14
) /*String::append*/;
212 ((syntax_base___AbsSyntaxVisitor___error_t
)CALL( variable0
/*v*/,COLOR_syntax_base___AbsSyntaxVisitor___error
))( variable0
/*v*/, variable1
/*n*/, variable6
) /*AbsSyntaxVisitor::error*/;
213 variable4
= TAG_Bool(false);
216 variable6
= ((abstractmetamodel___MMGlobalProperty___visibility_level_t
)CALL( self
,COLOR_abstractmetamodel___MMGlobalProperty___visibility_level
))( self
) /*MMGlobalProperty::visibility_level*/;
217 variable6
= TAG_Bool(UNTAG_Int(variable6
)>=UNTAG_Int( TAG_Int(3)));
218 if (UNTAG_Bool(variable6
)) { /*if*/
219 variable6
= NEW_string___String___init(); /*new String*/
220 variable7
= NEW_string___String___with_native(BOX_NativeString("Visibility error: Property "), TAG_Int(27)); /*new String*/
221 variable8
= variable7
;
222 ((string___String___append_t
)CALL(variable6
,COLOR_abstract_collection___IndexedCollection___append
))(variable6
, variable8
) /*String::append*/;
224 variable9
= ((string___String___to_s_t
)CALL(variable9
,COLOR_string___Object___to_s
))(variable9
) /*String::to_s*/;
225 ((string___String___append_t
)CALL(variable6
,COLOR_abstract_collection___IndexedCollection___append
))(variable6
, variable9
) /*String::append*/;
226 variable10
= NEW_string___String___with_native(BOX_NativeString(" is private."), TAG_Int(12)); /*new String*/
227 variable11
= variable10
;
228 ((string___String___append_t
)CALL(variable6
,COLOR_abstract_collection___IndexedCollection___append
))(variable6
, variable11
) /*String::append*/;
229 ((syntax_base___AbsSyntaxVisitor___error_t
)CALL( variable0
/*v*/,COLOR_syntax_base___AbsSyntaxVisitor___error
))( variable0
/*v*/, variable1
/*n*/, variable6
) /*AbsSyntaxVisitor::error*/;
230 variable4
= TAG_Bool(false);
233 variable6
= ((abstractmetamodel___MMGlobalProperty___visibility_level_t
)CALL( self
,COLOR_abstractmetamodel___MMGlobalProperty___visibility_level
))( self
) /*MMGlobalProperty::visibility_level*/;
234 variable6
= TAG_Bool(UNTAG_Int(variable6
)>=UNTAG_Int( TAG_Int(2)));
235 variable7
= variable6
;
236 if (UNTAG_Bool(variable7
)) { /* and */
237 variable7
= TAG_Bool(!UNTAG_Bool( variable3
/*allows_protected*/));
239 variable6
= variable7
;
240 if (UNTAG_Bool(variable6
)) { /*if*/
241 variable6
= NEW_string___String___init(); /*new String*/
242 variable7
= NEW_string___String___with_native(BOX_NativeString("Visibility error: Property "), TAG_Int(27)); /*new String*/
243 variable8
= variable7
;
244 ((string___String___append_t
)CALL(variable6
,COLOR_abstract_collection___IndexedCollection___append
))(variable6
, variable8
) /*String::append*/;
246 variable9
= ((string___String___to_s_t
)CALL(variable9
,COLOR_string___Object___to_s
))(variable9
) /*String::to_s*/;
247 ((string___String___append_t
)CALL(variable6
,COLOR_abstract_collection___IndexedCollection___append
))(variable6
, variable9
) /*String::append*/;
248 variable10
= NEW_string___String___with_native(BOX_NativeString(" is protected and can only acceded by self."), TAG_Int(43)); /*new String*/
249 variable11
= variable10
;
250 ((string___String___append_t
)CALL(variable6
,COLOR_abstract_collection___IndexedCollection___append
))(variable6
, variable11
) /*String::append*/;
251 ((syntax_base___AbsSyntaxVisitor___error_t
)CALL( variable0
/*v*/,COLOR_syntax_base___AbsSyntaxVisitor___error
))( variable0
/*v*/, variable1
/*n*/, variable6
) /*AbsSyntaxVisitor::error*/;
252 variable4
= TAG_Bool(false);
258 variable4
= TAG_Bool(true);
260 return_label3
: while(false);
261 tracehead
= trace
.prev
;
264 val_t
syntax_base___MMSrcLocalProperty___node(val_t self
) {
265 struct trace_t trace
= {NULL
, "syntax_base::MMSrcLocalProperty::node (src/syntax//syntax_base.nit:108,2--109:26)"};
266 trace
.prev
= tracehead
; tracehead
= &trace
;
267 tracehead
= trace
.prev
;
268 return ATTR_syntax_base___MMSrcLocalProperty____node( self
) /*MMSrcLocalProperty::_node*/;
270 void syntax_base___MMSrcAttribute___init(val_t self
, val_t param0
, val_t param1
, val_t param2
, int* init_table
) {
271 struct trace_t trace
= {NULL
, "syntax_base::MMSrcAttribute::init (src/syntax//syntax_base.nit:116,2--119:11)"};
275 trace
.prev
= tracehead
; tracehead
= &trace
;
279 if (init_table
[VAL2OBJ( self
)->vft
[INIT_TABLE_POS_MMSrcAttribute
].i
]) return;
280 ((abstractmetamodel___MMLocalProperty___init_t
)CALL( self
,COLOR_abstractmetamodel___MMLocalProperty___init
))( self
, variable0
/*name*/, variable1
/*cla*/, self
, init_table
/*YYY*/) /*MMLocalProperty::init*/;
281 ATTR_syntax_base___MMSrcLocalProperty____node( self
) /*MMSrcAttribute::_node*/ = variable2
/*n*/;
282 init_table
[VAL2OBJ( self
)->vft
[INIT_TABLE_POS_MMSrcAttribute
].i
] = 1;
283 tracehead
= trace
.prev
;
286 void syntax_base___MMReadImplementationMethod___init(val_t self
, val_t param0
, val_t param1
, val_t param2
, int* init_table
) {
287 struct trace_t trace
= {NULL
, "syntax_base::MMReadImplementationMethod::init (src/syntax//syntax_base.nit:139,2--142:11)"};
291 trace
.prev
= tracehead
; tracehead
= &trace
;
295 if (init_table
[VAL2OBJ( self
)->vft
[INIT_TABLE_POS_MMReadImplementationMethod
].i
]) return;
296 ((abstractmetamodel___MMLocalProperty___init_t
)CALL( self
,COLOR_abstractmetamodel___MMLocalProperty___init
))( self
, variable0
/*name*/, variable1
/*cla*/, self
, init_table
/*YYY*/) /*MMLocalProperty::init*/;
297 ATTR_syntax_base___MMSrcLocalProperty____node( self
) /*MMReadImplementationMethod::_node*/ = variable2
/*n*/;
298 init_table
[VAL2OBJ( self
)->vft
[INIT_TABLE_POS_MMReadImplementationMethod
].i
] = 1;
299 tracehead
= trace
.prev
;
302 void syntax_base___MMWriteImplementationMethod___init(val_t self
, val_t param0
, val_t param1
, val_t param2
, int* init_table
) {
303 struct trace_t trace
= {NULL
, "syntax_base::MMWriteImplementationMethod::init (src/syntax//syntax_base.nit:150,2--153:11)"};
307 trace
.prev
= tracehead
; tracehead
= &trace
;
311 if (init_table
[VAL2OBJ( self
)->vft
[INIT_TABLE_POS_MMWriteImplementationMethod
].i
]) return;
312 ((abstractmetamodel___MMLocalProperty___init_t
)CALL( self
,COLOR_abstractmetamodel___MMLocalProperty___init
))( self
, variable0
/*name*/, variable1
/*cla*/, self
, init_table
/*YYY*/) /*MMLocalProperty::init*/;
313 ATTR_syntax_base___MMSrcLocalProperty____node( self
) /*MMWriteImplementationMethod::_node*/ = variable2
/*n*/;
314 init_table
[VAL2OBJ( self
)->vft
[INIT_TABLE_POS_MMWriteImplementationMethod
].i
] = 1;
315 tracehead
= trace
.prev
;
318 void syntax_base___MMMethSrcMethod___init(val_t self
, val_t param0
, val_t param1
, val_t param2
, int* init_table
) {
319 struct trace_t trace
= {NULL
, "syntax_base::MMMethSrcMethod::init (src/syntax//syntax_base.nit:162,2--165:11)"};
323 trace
.prev
= tracehead
; tracehead
= &trace
;
327 if (init_table
[VAL2OBJ( self
)->vft
[INIT_TABLE_POS_MMMethSrcMethod
].i
]) return;
328 ((abstractmetamodel___MMLocalProperty___init_t
)CALL( self
,COLOR_abstractmetamodel___MMLocalProperty___init
))( self
, variable0
/*name*/, variable1
/*cla*/, self
, init_table
/*YYY*/) /*MMLocalProperty::init*/;
329 ATTR_syntax_base___MMSrcLocalProperty____node( self
) /*MMMethSrcMethod::_node*/ = variable2
/*n*/;
330 init_table
[VAL2OBJ( self
)->vft
[INIT_TABLE_POS_MMMethSrcMethod
].i
] = 1;
331 tracehead
= trace
.prev
;
334 void syntax_base___MMSrcTypeProperty___init(val_t self
, val_t param0
, val_t param1
, val_t param2
, int* init_table
) {
335 struct trace_t trace
= {NULL
, "syntax_base::MMSrcTypeProperty::init (src/syntax//syntax_base.nit:173,2--176:11)"};
339 trace
.prev
= tracehead
; tracehead
= &trace
;
343 if (init_table
[VAL2OBJ( self
)->vft
[INIT_TABLE_POS_MMSrcTypeProperty
].i
]) return;
344 ((abstractmetamodel___MMLocalProperty___init_t
)CALL( self
,COLOR_abstractmetamodel___MMLocalProperty___init
))( self
, variable0
/*name*/, variable1
/*cla*/, self
, init_table
/*YYY*/) /*MMLocalProperty::init*/;
345 ATTR_syntax_base___MMSrcLocalProperty____node( self
) /*MMSrcTypeProperty::_node*/ = variable2
/*n*/;
346 init_table
[VAL2OBJ( self
)->vft
[INIT_TABLE_POS_MMSrcTypeProperty
].i
] = 1;
347 tracehead
= trace
.prev
;
350 val_t
syntax_base___Variable___name(val_t self
) {
351 struct trace_t trace
= {NULL
, "syntax_base::Variable::name (src/syntax//syntax_base.nit:183,2--184:28)"};
352 trace
.prev
= tracehead
; tracehead
= &trace
;
353 tracehead
= trace
.prev
;
354 return ATTR_syntax_base___Variable____name( self
) /*Variable::_name*/;
356 val_t
syntax_base___Variable___decl(val_t self
) {
357 struct trace_t trace
= {NULL
, "syntax_base::Variable::decl (src/syntax//syntax_base.nit:186,2--187:27)"};
358 trace
.prev
= tracehead
; tracehead
= &trace
;
359 tracehead
= trace
.prev
;
360 return ATTR_syntax_base___Variable____decl( self
) /*Variable::_decl*/;
362 val_t
syntax_base___Variable___stype(val_t self
) {
363 struct trace_t trace
= {NULL
, "syntax_base::Variable::stype (src/syntax//syntax_base.nit:189,2--190:38)"};
364 trace
.prev
= tracehead
; tracehead
= &trace
;
365 tracehead
= trace
.prev
;
366 return ATTR_syntax_base___Variable____stype( self
) /*Variable::_stype*/;
368 void syntax_base___Variable___stype__eq(val_t self
, val_t param0
) {
369 struct trace_t trace
= {NULL
, "syntax_base::Variable::stype= (src/syntax//syntax_base.nit:189,2--190:38)"};
370 trace
.prev
= tracehead
; tracehead
= &trace
;
371 ATTR_syntax_base___Variable____stype( self
) /*Variable::_stype*/ = param0
;
372 tracehead
= trace
.prev
;
375 void syntax_base___Variable___init(val_t self
, val_t param0
, val_t param1
, int* init_table
) {
376 struct trace_t trace
= {NULL
, "syntax_base::Variable::init (src/syntax//syntax_base.nit:192,2--197:11)"};
380 trace
.prev
= tracehead
; tracehead
= &trace
;
383 if (init_table
[VAL2OBJ( self
)->vft
[INIT_TABLE_POS_Variable
].i
]) return;
384 variable2
= TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable0
/*n*/ == NIT_NULL
/*null*/) || (( variable0
/*n*/ != NIT_NULL
) && ((((kernel___Object_____eqeq_t
)CALL( variable0
/*n*/,COLOR_kernel___Object_____eqeq
))==kernel___Object_____eqeq
)?
(IS_EQUAL_NN( variable0
/*n*/, NIT_NULL
/*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t
)CALL( variable0
/*n*/,COLOR_kernel___Object_____eqeq
))( variable0
/*n*/, NIT_NULL
/*null*/) /*Symbol::==*/)))))));
385 if (!UNTAG_Bool(variable2
)) { fprintf(stderr
, "Assert failed: src/syntax//syntax_base.nit:194,3--18\n"); nit_exit(1);}
386 variable2
= TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable1
/*d*/ == NIT_NULL
/*null*/) || (( variable1
/*d*/ != NIT_NULL
) && ((((kernel___Object_____eqeq_t
)CALL( variable1
/*d*/,COLOR_kernel___Object_____eqeq
))==kernel___Object_____eqeq
)?
(IS_EQUAL_NN( variable1
/*d*/, NIT_NULL
/*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t
)CALL( variable1
/*d*/,COLOR_kernel___Object_____eqeq
))( variable1
/*d*/, NIT_NULL
/*null*/) /*PNode::==*/)))))));
387 if (!UNTAG_Bool(variable2
)) { fprintf(stderr
, "Assert failed: src/syntax//syntax_base.nit:195,3--18\n"); nit_exit(1);}
388 ATTR_syntax_base___Variable____name( self
) /*Variable::_name*/ = variable0
/*n*/;
389 ATTR_syntax_base___Variable____decl( self
) /*Variable::_decl*/ = variable1
/*d*/;
390 init_table
[VAL2OBJ( self
)->vft
[INIT_TABLE_POS_Variable
].i
] = 1;
391 tracehead
= trace
.prev
;
394 val_t
syntax_base___AbsSyntaxVisitor___type_bool(val_t self
) {
395 struct trace_t trace
= {NULL
, "syntax_base::AbsSyntaxVisitor::type_bool (src/syntax//syntax_base.nit:206,2--209:64)"};
398 static val_t once_value_variable1_11
; static int once_bool_variable1_11
;
399 trace
.prev
= tracehead
; tracehead
= &trace
;
400 variable0
= ATTR_syntax_base___AbsSyntaxVisitor____module( self
) /*AbsSyntaxVisitor::_module*/;
401 if (once_bool_variable1_11
) variable1
= once_value_variable1_11
;
403 variable1
= NEW_string___String___with_native(BOX_NativeString("Bool"), TAG_Int(4)); /*new String*/
404 variable1
= ((symbol___String___to_symbol_t
)CALL(variable1
,COLOR_symbol___String___to_symbol
))(variable1
) /*String::to_symbol*/;
405 once_value_variable1_11
= variable1
;
406 once_bool_variable1_11
= true;
408 variable0
= ((abstractmetamodel___MMModule___class_by_name_t
)CALL(variable0
,COLOR_abstractmetamodel___MMModule___class_by_name
))(variable0
, variable1
) /*MMSrcModule::class_by_name*/;
409 variable0
= ((genericity___MMLocalClass___get_type_t
)CALL(variable0
,COLOR_static_type___MMLocalClass___get_type
))(variable0
) /*MMLocalClass::get_type*/;
411 return_label10
: while(false);
412 tracehead
= trace
.prev
;
415 val_t
syntax_base___AbsSyntaxVisitor___type_int(val_t self
) {
416 struct trace_t trace
= {NULL
, "syntax_base::AbsSyntaxVisitor::type_int (src/syntax//syntax_base.nit:212,2--215:63)"};
419 static val_t once_value_variable1_13
; static int once_bool_variable1_13
;
420 trace
.prev
= tracehead
; tracehead
= &trace
;
421 variable0
= ATTR_syntax_base___AbsSyntaxVisitor____module( self
) /*AbsSyntaxVisitor::_module*/;
422 if (once_bool_variable1_13
) variable1
= once_value_variable1_13
;
424 variable1
= NEW_string___String___with_native(BOX_NativeString("Int"), TAG_Int(3)); /*new String*/
425 variable1
= ((symbol___String___to_symbol_t
)CALL(variable1
,COLOR_symbol___String___to_symbol
))(variable1
) /*String::to_symbol*/;
426 once_value_variable1_13
= variable1
;
427 once_bool_variable1_13
= true;
429 variable0
= ((abstractmetamodel___MMModule___class_by_name_t
)CALL(variable0
,COLOR_abstractmetamodel___MMModule___class_by_name
))(variable0
, variable1
) /*MMSrcModule::class_by_name*/;
430 variable0
= ((genericity___MMLocalClass___get_type_t
)CALL(variable0
,COLOR_static_type___MMLocalClass___get_type
))(variable0
) /*MMLocalClass::get_type*/;
432 return_label12
: while(false);
433 tracehead
= trace
.prev
;
436 val_t
syntax_base___AbsSyntaxVisitor___type_float(val_t self
) {
437 struct trace_t trace
= {NULL
, "syntax_base::AbsSyntaxVisitor::type_float (src/syntax//syntax_base.nit:218,2--221:65)"};
440 static val_t once_value_variable1_15
; static int once_bool_variable1_15
;
441 trace
.prev
= tracehead
; tracehead
= &trace
;
442 variable0
= ATTR_syntax_base___AbsSyntaxVisitor____module( self
) /*AbsSyntaxVisitor::_module*/;
443 if (once_bool_variable1_15
) variable1
= once_value_variable1_15
;
445 variable1
= NEW_string___String___with_native(BOX_NativeString("Float"), TAG_Int(5)); /*new String*/
446 variable1
= ((symbol___String___to_symbol_t
)CALL(variable1
,COLOR_symbol___String___to_symbol
))(variable1
) /*String::to_symbol*/;
447 once_value_variable1_15
= variable1
;
448 once_bool_variable1_15
= true;
450 variable0
= ((abstractmetamodel___MMModule___class_by_name_t
)CALL(variable0
,COLOR_abstractmetamodel___MMModule___class_by_name
))(variable0
, variable1
) /*MMSrcModule::class_by_name*/;
451 variable0
= ((genericity___MMLocalClass___get_type_t
)CALL(variable0
,COLOR_static_type___MMLocalClass___get_type
))(variable0
) /*MMLocalClass::get_type*/;
453 return_label14
: while(false);
454 tracehead
= trace
.prev
;
457 val_t
syntax_base___AbsSyntaxVisitor___type_char(val_t self
) {
458 struct trace_t trace
= {NULL
, "syntax_base::AbsSyntaxVisitor::type_char (src/syntax//syntax_base.nit:224,2--227:64)"};
461 static val_t once_value_variable1_17
; static int once_bool_variable1_17
;
462 trace
.prev
= tracehead
; tracehead
= &trace
;
463 variable0
= ATTR_syntax_base___AbsSyntaxVisitor____module( self
) /*AbsSyntaxVisitor::_module*/;
464 if (once_bool_variable1_17
) variable1
= once_value_variable1_17
;
466 variable1
= NEW_string___String___with_native(BOX_NativeString("Char"), TAG_Int(4)); /*new String*/
467 variable1
= ((symbol___String___to_symbol_t
)CALL(variable1
,COLOR_symbol___String___to_symbol
))(variable1
) /*String::to_symbol*/;
468 once_value_variable1_17
= variable1
;
469 once_bool_variable1_17
= true;
471 variable0
= ((abstractmetamodel___MMModule___class_by_name_t
)CALL(variable0
,COLOR_abstractmetamodel___MMModule___class_by_name
))(variable0
, variable1
) /*MMSrcModule::class_by_name*/;
472 variable0
= ((genericity___MMLocalClass___get_type_t
)CALL(variable0
,COLOR_static_type___MMLocalClass___get_type
))(variable0
) /*MMLocalClass::get_type*/;
474 return_label16
: while(false);
475 tracehead
= trace
.prev
;
478 val_t
syntax_base___AbsSyntaxVisitor___type_string(val_t self
) {
479 struct trace_t trace
= {NULL
, "syntax_base::AbsSyntaxVisitor::type_string (src/syntax//syntax_base.nit:230,2--233:66)"};
482 static val_t once_value_variable1_19
; static int once_bool_variable1_19
;
483 trace
.prev
= tracehead
; tracehead
= &trace
;
484 variable0
= ATTR_syntax_base___AbsSyntaxVisitor____module( self
) /*AbsSyntaxVisitor::_module*/;
485 if (once_bool_variable1_19
) variable1
= once_value_variable1_19
;
487 variable1
= NEW_string___String___with_native(BOX_NativeString("String"), TAG_Int(6)); /*new String*/
488 variable1
= ((symbol___String___to_symbol_t
)CALL(variable1
,COLOR_symbol___String___to_symbol
))(variable1
) /*String::to_symbol*/;
489 once_value_variable1_19
= variable1
;
490 once_bool_variable1_19
= true;
492 variable0
= ((abstractmetamodel___MMModule___class_by_name_t
)CALL(variable0
,COLOR_abstractmetamodel___MMModule___class_by_name
))(variable0
, variable1
) /*MMSrcModule::class_by_name*/;
493 variable0
= ((genericity___MMLocalClass___get_type_t
)CALL(variable0
,COLOR_static_type___MMLocalClass___get_type
))(variable0
) /*MMLocalClass::get_type*/;
495 return_label18
: while(false);
496 tracehead
= trace
.prev
;
499 val_t
syntax_base___AbsSyntaxVisitor___type_collection(val_t self
) {
500 struct trace_t trace
= {NULL
, "syntax_base::AbsSyntaxVisitor::type_collection (src/syntax//syntax_base.nit:236,2--239:70)"};
503 static val_t once_value_variable1_21
; static int once_bool_variable1_21
;
504 trace
.prev
= tracehead
; tracehead
= &trace
;
505 variable0
= ATTR_syntax_base___AbsSyntaxVisitor____module( self
) /*AbsSyntaxVisitor::_module*/;
506 if (once_bool_variable1_21
) variable1
= once_value_variable1_21
;
508 variable1
= NEW_string___String___with_native(BOX_NativeString("Collection"), TAG_Int(10)); /*new String*/
509 variable1
= ((symbol___String___to_symbol_t
)CALL(variable1
,COLOR_symbol___String___to_symbol
))(variable1
) /*String::to_symbol*/;
510 once_value_variable1_21
= variable1
;
511 once_bool_variable1_21
= true;
513 variable0
= ((abstractmetamodel___MMModule___class_by_name_t
)CALL(variable0
,COLOR_abstractmetamodel___MMModule___class_by_name
))(variable0
, variable1
) /*MMSrcModule::class_by_name*/;
514 variable0
= ((genericity___MMLocalClass___get_type_t
)CALL(variable0
,COLOR_static_type___MMLocalClass___get_type
))(variable0
) /*MMLocalClass::get_type*/;
516 return_label20
: while(false);
517 tracehead
= trace
.prev
;
520 val_t
syntax_base___AbsSyntaxVisitor___type_array(val_t self
, val_t param0
) {
521 struct trace_t trace
= {NULL
, "syntax_base::AbsSyntaxVisitor::type_array (src/syntax//syntax_base.nit:242,2--245:84)"};
525 static val_t once_value_variable2_23
; static int once_bool_variable2_23
;
526 trace
.prev
= tracehead
; tracehead
= &trace
;
528 variable1
= ATTR_syntax_base___AbsSyntaxVisitor____module( self
) /*AbsSyntaxVisitor::_module*/;
529 if (once_bool_variable2_23
) variable2
= once_value_variable2_23
;
531 variable2
= NEW_string___String___with_native(BOX_NativeString("Array"), TAG_Int(5)); /*new String*/
532 variable2
= ((symbol___String___to_symbol_t
)CALL(variable2
,COLOR_symbol___String___to_symbol
))(variable2
) /*String::to_symbol*/;
533 once_value_variable2_23
= variable2
;
534 once_bool_variable2_23
= true;
536 variable1
= ((abstractmetamodel___MMModule___class_by_name_t
)CALL(variable1
,COLOR_abstractmetamodel___MMModule___class_by_name
))(variable1
, variable2
) /*MMSrcModule::class_by_name*/;
537 variable2
= NEW_array___Array___with_capacity(TAG_Int(1)); /*new Array[MMType]*/
538 ((array___AbstractArray___add_t
)CALL(variable2
,COLOR_abstract_collection___SimpleCollection___add
))(variable2
, variable0
/*stype*/) /*Array::add*/;
539 variable1
= ((genericity___MMLocalClass___get_instantiate_type_t
)CALL(variable1
,COLOR_genericity___MMLocalClass___get_instantiate_type
))(variable1
, variable2
) /*MMLocalClass::get_instantiate_type*/;
541 return_label22
: while(false);
542 tracehead
= trace
.prev
;
545 val_t
syntax_base___AbsSyntaxVisitor___type_discrete(val_t self
) {
546 struct trace_t trace
= {NULL
, "syntax_base::AbsSyntaxVisitor::type_discrete (src/syntax//syntax_base.nit:248,2--251:68)"};
549 static val_t once_value_variable1_25
; static int once_bool_variable1_25
;
550 trace
.prev
= tracehead
; tracehead
= &trace
;
551 variable0
= ATTR_syntax_base___AbsSyntaxVisitor____module( self
) /*AbsSyntaxVisitor::_module*/;
552 if (once_bool_variable1_25
) variable1
= once_value_variable1_25
;
554 variable1
= NEW_string___String___with_native(BOX_NativeString("Discrete"), TAG_Int(8)); /*new String*/
555 variable1
= ((symbol___String___to_symbol_t
)CALL(variable1
,COLOR_symbol___String___to_symbol
))(variable1
) /*String::to_symbol*/;
556 once_value_variable1_25
= variable1
;
557 once_bool_variable1_25
= true;
559 variable0
= ((abstractmetamodel___MMModule___class_by_name_t
)CALL(variable0
,COLOR_abstractmetamodel___MMModule___class_by_name
))(variable0
, variable1
) /*MMSrcModule::class_by_name*/;
560 variable0
= ((genericity___MMLocalClass___get_type_t
)CALL(variable0
,COLOR_static_type___MMLocalClass___get_type
))(variable0
) /*MMLocalClass::get_type*/;
562 return_label24
: while(false);
563 tracehead
= trace
.prev
;
566 val_t
syntax_base___AbsSyntaxVisitor___type_range(val_t self
, val_t param0
) {
567 struct trace_t trace
= {NULL
, "syntax_base::AbsSyntaxVisitor::type_range (src/syntax//syntax_base.nit:254,2--257:84)"};
571 static val_t once_value_variable2_27
; static int once_bool_variable2_27
;
572 trace
.prev
= tracehead
; tracehead
= &trace
;
574 variable1
= ATTR_syntax_base___AbsSyntaxVisitor____module( self
) /*AbsSyntaxVisitor::_module*/;
575 if (once_bool_variable2_27
) variable2
= once_value_variable2_27
;
577 variable2
= NEW_string___String___with_native(BOX_NativeString("Range"), TAG_Int(5)); /*new String*/
578 variable2
= ((symbol___String___to_symbol_t
)CALL(variable2
,COLOR_symbol___String___to_symbol
))(variable2
) /*String::to_symbol*/;
579 once_value_variable2_27
= variable2
;
580 once_bool_variable2_27
= true;
582 variable1
= ((abstractmetamodel___MMModule___class_by_name_t
)CALL(variable1
,COLOR_abstractmetamodel___MMModule___class_by_name
))(variable1
, variable2
) /*MMSrcModule::class_by_name*/;
583 variable2
= NEW_array___Array___with_capacity(TAG_Int(1)); /*new Array[MMType]*/
584 ((array___AbstractArray___add_t
)CALL(variable2
,COLOR_abstract_collection___SimpleCollection___add
))(variable2
, variable0
/*stype*/) /*Array::add*/;
585 variable1
= ((genericity___MMLocalClass___get_instantiate_type_t
)CALL(variable1
,COLOR_genericity___MMLocalClass___get_instantiate_type
))(variable1
, variable2
) /*MMLocalClass::get_instantiate_type*/;
587 return_label26
: while(false);
588 tracehead
= trace
.prev
;
591 val_t
syntax_base___AbsSyntaxVisitor___type_none(val_t self
) {
592 struct trace_t trace
= {NULL
, "syntax_base::AbsSyntaxVisitor::type_none (src/syntax//syntax_base.nit:260,2--263:26)"};
594 trace
.prev
= tracehead
; tracehead
= &trace
;
595 variable0
= ATTR_syntax_base___AbsSyntaxVisitor____module( self
) /*AbsSyntaxVisitor::_module*/;
596 variable0
= ((static_type___MMModule___type_none_t
)CALL(variable0
,COLOR_static_type___MMModule___type_none
))(variable0
) /*MMSrcModule::type_none*/;
598 return_label28
: while(false);
599 tracehead
= trace
.prev
;
602 val_t
syntax_base___AbsSyntaxVisitor___module(val_t self
) {
603 struct trace_t trace
= {NULL
, "syntax_base::AbsSyntaxVisitor::module (src/syntax//syntax_base.nit:266,2--267:44)"};
604 trace
.prev
= tracehead
; tracehead
= &trace
;
605 tracehead
= trace
.prev
;
606 return ATTR_syntax_base___AbsSyntaxVisitor____module( self
) /*AbsSyntaxVisitor::_module*/;
608 void syntax_base___AbsSyntaxVisitor___module__eq(val_t self
, val_t param0
) {
609 struct trace_t trace
= {NULL
, "syntax_base::AbsSyntaxVisitor::module= (src/syntax//syntax_base.nit:266,2--267:44)"};
610 trace
.prev
= tracehead
; tracehead
= &trace
;
611 ATTR_syntax_base___AbsSyntaxVisitor____module( self
) /*AbsSyntaxVisitor::_module*/ = param0
;
612 tracehead
= trace
.prev
;
615 val_t
syntax_base___AbsSyntaxVisitor___local_class(val_t self
) {
616 struct trace_t trace
= {NULL
, "syntax_base::AbsSyntaxVisitor::local_class (src/syntax//syntax_base.nit:269,2--270:53)"};
617 trace
.prev
= tracehead
; tracehead
= &trace
;
618 tracehead
= trace
.prev
;
619 return ATTR_syntax_base___AbsSyntaxVisitor____local_class( self
) /*AbsSyntaxVisitor::_local_class*/;
621 void syntax_base___AbsSyntaxVisitor___local_class__eq(val_t self
, val_t param0
) {
622 struct trace_t trace
= {NULL
, "syntax_base::AbsSyntaxVisitor::local_class= (src/syntax//syntax_base.nit:269,2--270:53)"};
623 trace
.prev
= tracehead
; tracehead
= &trace
;
624 ATTR_syntax_base___AbsSyntaxVisitor____local_class( self
) /*AbsSyntaxVisitor::_local_class*/ = param0
;
625 tracehead
= trace
.prev
;
628 val_t
syntax_base___AbsSyntaxVisitor___local_property(val_t self
) {
629 struct trace_t trace
= {NULL
, "syntax_base::AbsSyntaxVisitor::local_property (src/syntax//syntax_base.nit:272,2--273:59)"};
630 trace
.prev
= tracehead
; tracehead
= &trace
;
631 tracehead
= trace
.prev
;
632 return ATTR_syntax_base___AbsSyntaxVisitor____local_property( self
) /*AbsSyntaxVisitor::_local_property*/;
634 void syntax_base___AbsSyntaxVisitor___local_property__eq(val_t self
, val_t param0
) {
635 struct trace_t trace
= {NULL
, "syntax_base::AbsSyntaxVisitor::local_property= (src/syntax//syntax_base.nit:272,2--273:59)"};
636 trace
.prev
= tracehead
; tracehead
= &trace
;
637 ATTR_syntax_base___AbsSyntaxVisitor____local_property( self
) /*AbsSyntaxVisitor::_local_property*/ = param0
;
638 tracehead
= trace
.prev
;
641 val_t
syntax_base___AbsSyntaxVisitor___tc(val_t self
) {
642 struct trace_t trace
= {NULL
, "syntax_base::AbsSyntaxVisitor::tc (src/syntax//syntax_base.nit:275,2--276:31)"};
643 trace
.prev
= tracehead
; tracehead
= &trace
;
644 tracehead
= trace
.prev
;
645 return ATTR_syntax_base___AbsSyntaxVisitor____tc( self
) /*AbsSyntaxVisitor::_tc*/;
647 void syntax_base___AbsSyntaxVisitor___error(val_t self
, val_t param0
, val_t param1
) {
648 struct trace_t trace
= {NULL
, "syntax_base::AbsSyntaxVisitor::error (src/syntax//syntax_base.nit:278,2--281:29)"};
662 trace
.prev
= tracehead
; tracehead
= &trace
;
665 variable2
= ATTR_syntax_base___AbsSyntaxVisitor____tc( self
) /*AbsSyntaxVisitor::_tc*/;
666 variable3
= NEW_string___String___init(); /*new String*/
667 variable4
= NEW_string___String___with_native(BOX_NativeString(""), TAG_Int(0)); /*new String*/
668 variable5
= variable4
;
669 ((string___String___append_t
)CALL(variable3
,COLOR_abstract_collection___IndexedCollection___append
))(variable3
, variable5
) /*String::append*/;
670 variable6
= ((parser_prod___PNode___locate_t
)CALL( variable0
/*n*/,COLOR_parser_prod___PNode___locate
))( variable0
/*n*/) /*PNode::locate*/;
671 variable7
= variable6
;
672 ((string___String___append_t
)CALL(variable3
,COLOR_abstract_collection___IndexedCollection___append
))(variable3
, variable7
) /*String::append*/;
673 variable8
= NEW_string___String___with_native(BOX_NativeString(": "), TAG_Int(2)); /*new String*/
674 variable9
= variable8
;
675 ((string___String___append_t
)CALL(variable3
,COLOR_abstract_collection___IndexedCollection___append
))(variable3
, variable9
) /*String::append*/;
676 variable10
= variable1
/*s*/;
677 ((string___String___append_t
)CALL(variable3
,COLOR_abstract_collection___IndexedCollection___append
))(variable3
, variable10
) /*String::append*/;
678 variable11
= NEW_string___String___with_native(BOX_NativeString(""), TAG_Int(0)); /*new String*/
679 variable12
= variable11
;
680 ((string___String___append_t
)CALL(variable3
,COLOR_abstract_collection___IndexedCollection___append
))(variable3
, variable12
) /*String::append*/;
681 ((mmloader___ToolContext___error_t
)CALL(variable2
,COLOR_mmloader___ToolContext___error
))(variable2
, variable3
) /*ToolContext::error*/;
682 tracehead
= trace
.prev
;
685 void syntax_base___AbsSyntaxVisitor___warning(val_t self
, val_t param0
, val_t param1
) {
686 struct trace_t trace
= {NULL
, "syntax_base::AbsSyntaxVisitor::warning (src/syntax//syntax_base.nit:284,2--287:31)"};
700 trace
.prev
= tracehead
; tracehead
= &trace
;
703 variable2
= ATTR_syntax_base___AbsSyntaxVisitor____tc( self
) /*AbsSyntaxVisitor::_tc*/;
704 variable3
= NEW_string___String___init(); /*new String*/
705 variable4
= NEW_string___String___with_native(BOX_NativeString(""), TAG_Int(0)); /*new String*/
706 variable5
= variable4
;
707 ((string___String___append_t
)CALL(variable3
,COLOR_abstract_collection___IndexedCollection___append
))(variable3
, variable5
) /*String::append*/;
708 variable6
= ((parser_prod___PNode___locate_t
)CALL( variable0
/*n*/,COLOR_parser_prod___PNode___locate
))( variable0
/*n*/) /*PNode::locate*/;
709 variable7
= variable6
;
710 ((string___String___append_t
)CALL(variable3
,COLOR_abstract_collection___IndexedCollection___append
))(variable3
, variable7
) /*String::append*/;
711 variable8
= NEW_string___String___with_native(BOX_NativeString(": "), TAG_Int(2)); /*new String*/
712 variable9
= variable8
;
713 ((string___String___append_t
)CALL(variable3
,COLOR_abstract_collection___IndexedCollection___append
))(variable3
, variable9
) /*String::append*/;
714 variable10
= variable1
/*s*/;
715 ((string___String___append_t
)CALL(variable3
,COLOR_abstract_collection___IndexedCollection___append
))(variable3
, variable10
) /*String::append*/;
716 variable11
= NEW_string___String___with_native(BOX_NativeString(""), TAG_Int(0)); /*new String*/
717 variable12
= variable11
;
718 ((string___String___append_t
)CALL(variable3
,COLOR_abstract_collection___IndexedCollection___append
))(variable3
, variable12
) /*String::append*/;
719 ((mmloader___ToolContext___warning_t
)CALL(variable2
,COLOR_mmloader___ToolContext___warning
))(variable2
, variable3
) /*ToolContext::warning*/;
720 tracehead
= trace
.prev
;
723 val_t
syntax_base___AbsSyntaxVisitor___check_conform(val_t self
, val_t param0
, val_t param1
, val_t param2
) {
724 struct trace_t trace
= {NULL
, "syntax_base::AbsSyntaxVisitor::check_conform (src/syntax//syntax_base.nit:290,2--300:14)"};
737 trace
.prev
= tracehead
; tracehead
= &trace
;
741 variable3
= TAG_Bool(( variable2
/*stype*/ == NIT_NULL
/*null*/) || (( variable2
/*stype*/ != NIT_NULL
) && ((((kernel___Object_____eqeq_t
)CALL( variable2
/*stype*/,COLOR_kernel___Object_____eqeq
))==kernel___Object_____eqeq
)?
(IS_EQUAL_NN( variable2
/*stype*/, NIT_NULL
/*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t
)CALL( variable2
/*stype*/,COLOR_kernel___Object_____eqeq
))( variable2
/*stype*/, NIT_NULL
/*null*/) /*MMType::==*/)))));
742 variable4
= variable3
;
743 if (!UNTAG_Bool(variable4
)) { /* or */
744 variable4
= TAG_Bool(( variable1
/*subtype*/ == NIT_NULL
/*null*/) || (( variable1
/*subtype*/ != NIT_NULL
) && ((((kernel___Object_____eqeq_t
)CALL( variable1
/*subtype*/,COLOR_kernel___Object_____eqeq
))==kernel___Object_____eqeq
)?
(IS_EQUAL_NN( variable1
/*subtype*/, NIT_NULL
/*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t
)CALL( variable1
/*subtype*/,COLOR_kernel___Object_____eqeq
))( variable1
/*subtype*/, NIT_NULL
/*null*/) /*MMType::==*/)))));
746 variable3
= variable4
;
747 if (UNTAG_Bool(variable3
)) { /*if*/
748 variable3
= TAG_Bool(false);
751 variable3
= ((static_type___MMType_____l_t
)CALL( variable1
/*subtype*/,COLOR_static_type___MMType_____l
))( variable1
/*subtype*/, variable2
/*stype*/) /*MMType::<*/;
752 if (UNTAG_Bool(variable3
)) { /*if*/
753 variable3
= TAG_Bool(true);
756 variable3
= NEW_string___String___init(); /*new String*/
757 variable4
= NEW_string___String___with_native(BOX_NativeString("Type error: expected "), TAG_Int(21)); /*new String*/
758 variable5
= variable4
;
759 ((string___String___append_t
)CALL(variable3
,COLOR_abstract_collection___IndexedCollection___append
))(variable3
, variable5
) /*String::append*/;
760 variable6
= variable2
/*stype*/;
761 variable6
= ((string___String___to_s_t
)CALL(variable6
,COLOR_string___Object___to_s
))(variable6
) /*String::to_s*/;
762 ((string___String___append_t
)CALL(variable3
,COLOR_abstract_collection___IndexedCollection___append
))(variable3
, variable6
) /*String::append*/;
763 variable7
= NEW_string___String___with_native(BOX_NativeString(", got "), TAG_Int(6)); /*new String*/
764 variable8
= variable7
;
765 ((string___String___append_t
)CALL(variable3
,COLOR_abstract_collection___IndexedCollection___append
))(variable3
, variable8
) /*String::append*/;
766 variable9
= variable1
/*subtype*/;
767 variable9
= ((string___String___to_s_t
)CALL(variable9
,COLOR_string___Object___to_s
))(variable9
) /*String::to_s*/;
768 ((string___String___append_t
)CALL(variable3
,COLOR_abstract_collection___IndexedCollection___append
))(variable3
, variable9
) /*String::append*/;
769 variable10
= NEW_string___String___with_native(BOX_NativeString(""), TAG_Int(0)); /*new String*/
770 variable11
= variable10
;
771 ((string___String___append_t
)CALL(variable3
,COLOR_abstract_collection___IndexedCollection___append
))(variable3
, variable11
) /*String::append*/;
772 ((syntax_base___AbsSyntaxVisitor___error_t
)CALL( self
,COLOR_syntax_base___AbsSyntaxVisitor___error
))( self
, variable0
/*n*/, variable3
) /*AbsSyntaxVisitor::error*/;
773 variable3
= TAG_Bool(false);
775 return_label31
: while(false);
776 tracehead
= trace
.prev
;
779 void syntax_base___AbsSyntaxVisitor___init(val_t self
, val_t param0
, val_t param1
, int* init_table
) {
780 struct trace_t trace
= {NULL
, "syntax_base::AbsSyntaxVisitor::init (src/syntax//syntax_base.nit:304,2--307:18)"};
783 trace
.prev
= tracehead
; tracehead
= &trace
;
786 if (init_table
[VAL2OBJ( self
)->vft
[INIT_TABLE_POS_AbsSyntaxVisitor
].i
]) return;
787 ATTR_syntax_base___AbsSyntaxVisitor____tc( self
) /*AbsSyntaxVisitor::_tc*/ = variable0
/*tc*/;
788 ATTR_syntax_base___AbsSyntaxVisitor____module( self
) /*AbsSyntaxVisitor::_module*/ = variable1
/*module*/;
789 init_table
[VAL2OBJ( self
)->vft
[INIT_TABLE_POS_AbsSyntaxVisitor
].i
] = 1;
790 tracehead
= trace
.prev
;
793 void syntax_base___PNode___accept_abs_syntax_visitor(val_t self
, val_t param0
) {
794 struct trace_t trace
= {NULL
, "syntax_base::PNode::accept_abs_syntax_visitor (src/syntax//syntax_base.nit:314,2--77)"};
796 trace
.prev
= tracehead
; tracehead
= &trace
;
798 ((parser_prod___PNode___visit_all_t
)CALL( self
,COLOR_parser_prod___PNode___visit_all
))( self
, variable0
/*v*/) /*PNode::visit_all*/;
799 tracehead
= trace
.prev
;
802 val_t
syntax_base___Token___to_symbol(val_t self
) {
803 struct trace_t trace
= {NULL
, "syntax_base::Token::to_symbol (src/syntax//syntax_base.nit:320,2--329:10)"};
806 trace
.prev
= tracehead
; tracehead
= &trace
;
807 variable1
= ATTR_syntax_base___Token____symbol( self
) /*Token::_symbol*/;
808 variable0
= variable1
;
809 variable1
= TAG_Bool(( variable0
/*s*/ == NIT_NULL
/*null*/) || (( variable0
/*s*/ != NIT_NULL
) && ((((kernel___Object_____eqeq_t
)CALL( variable0
/*s*/,COLOR_kernel___Object_____eqeq
))==kernel___Object_____eqeq
)?
(IS_EQUAL_NN( variable0
/*s*/, NIT_NULL
/*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t
)CALL( variable0
/*s*/,COLOR_kernel___Object_____eqeq
))( variable0
/*s*/, NIT_NULL
/*null*/) /*Symbol::==*/)))));
810 if (UNTAG_Bool(variable1
)) { /*if*/
811 variable1
= ((lexer___Token___text_t
)CALL( self
,COLOR_lexer___Token___text
))( self
) /*Token::text*/;
812 variable1
= ((symbol___String___to_symbol_t
)CALL(variable1
,COLOR_symbol___String___to_symbol
))(variable1
) /*String::to_symbol*/;
813 variable0
= variable1
/*s=*/;
814 ATTR_syntax_base___Token____symbol( self
) /*Token::_symbol*/ = variable0
/*s*/;
816 variable0
= variable0
/*s*/;
818 return_label34
: while(false);
819 tracehead
= trace
.prev
;
822 val_t
syntax_base___PClassdef___local_class(val_t self
) {
823 struct trace_t trace
= {NULL
, "syntax_base::PClassdef::local_class (src/syntax//syntax_base.nit:334,2--335:34)"};
824 trace
.prev
= tracehead
; tracehead
= &trace
;
825 fprintf(stderr
, "Deferred method local_class called (src/syntax//syntax_base.nit:334,2)\n");
827 tracehead
= trace
.prev
;
830 val_t
syntax_base___AAttrPropdef___prop(val_t self
) {
831 struct trace_t trace
= {NULL
, "syntax_base::AAttrPropdef::prop (src/syntax//syntax_base.nit:339,2--340:26)"};
832 trace
.prev
= tracehead
; tracehead
= &trace
;
833 fprintf(stderr
, "Deferred method prop called (src/syntax//syntax_base.nit:339,2)\n");
835 tracehead
= trace
.prev
;
838 val_t
syntax_base___AAttrPropdef___readmethod(val_t self
) {
839 struct trace_t trace
= {NULL
, "syntax_base::AAttrPropdef::readmethod (src/syntax//syntax_base.nit:342,2--343:29)"};
840 trace
.prev
= tracehead
; tracehead
= &trace
;
841 fprintf(stderr
, "Deferred method readmethod called (src/syntax//syntax_base.nit:342,2)\n");
843 tracehead
= trace
.prev
;
846 val_t
syntax_base___AAttrPropdef___writemethod(val_t self
) {
847 struct trace_t trace
= {NULL
, "syntax_base::AAttrPropdef::writemethod (src/syntax//syntax_base.nit:345,2--346:30)"};
848 trace
.prev
= tracehead
; tracehead
= &trace
;
849 fprintf(stderr
, "Deferred method writemethod called (src/syntax//syntax_base.nit:345,2)\n");
851 tracehead
= trace
.prev
;
854 val_t
syntax_base___AMethPropdef___method(val_t self
) {
855 struct trace_t trace
= {NULL
, "syntax_base::AMethPropdef::method (src/syntax//syntax_base.nit:350,2--351:29)"};
856 trace
.prev
= tracehead
; tracehead
= &trace
;
857 fprintf(stderr
, "Deferred method method called (src/syntax//syntax_base.nit:350,2)\n");
859 tracehead
= trace
.prev
;
862 val_t
syntax_base___ATypePropdef___prop(val_t self
) {
863 struct trace_t trace
= {NULL
, "syntax_base::ATypePropdef::prop (src/syntax//syntax_base.nit:355,2--356:29)"};
864 trace
.prev
= tracehead
; tracehead
= &trace
;
865 fprintf(stderr
, "Deferred method prop called (src/syntax//syntax_base.nit:355,2)\n");
867 tracehead
= trace
.prev
;
870 val_t
syntax_base___PParam___position(val_t self
) {
871 struct trace_t trace
= {NULL
, "syntax_base::PParam::position (src/syntax//syntax_base.nit:360,2--361:19)"};
872 trace
.prev
= tracehead
; tracehead
= &trace
;
873 fprintf(stderr
, "Deferred method position called (src/syntax//syntax_base.nit:360,2)\n");
875 tracehead
= trace
.prev
;
878 val_t
syntax_base___PParam___variable(val_t self
) {
879 struct trace_t trace
= {NULL
, "syntax_base::PParam::variable (src/syntax//syntax_base.nit:363,2--364:24)"};
880 trace
.prev
= tracehead
; tracehead
= &trace
;
881 fprintf(stderr
, "Deferred method variable called (src/syntax//syntax_base.nit:363,2)\n");
883 tracehead
= trace
.prev
;
886 val_t
syntax_base___PType___get_local_class(val_t self
, val_t param0
) {
887 struct trace_t trace
= {NULL
, "syntax_base::PType::get_local_class (src/syntax//syntax_base.nit:368,2--371:56)"};
888 trace
.prev
= tracehead
; tracehead
= &trace
;
889 fprintf(stderr
, "Deferred method get_local_class called (src/syntax//syntax_base.nit:368,2)\n");
891 tracehead
= trace
.prev
;
894 val_t
syntax_base___PType___get_stype(val_t self
, val_t param0
) {
895 struct trace_t trace
= {NULL
, "syntax_base::PType::get_stype (src/syntax//syntax_base.nit:373,2--375:44)"};
896 trace
.prev
= tracehead
; tracehead
= &trace
;
897 fprintf(stderr
, "Deferred method get_stype called (src/syntax//syntax_base.nit:373,2)\n");
899 tracehead
= trace
.prev
;
902 val_t
syntax_base___PType___get_unchecked_stype(val_t self
, val_t param0
) {
903 struct trace_t trace
= {NULL
, "syntax_base::PType::get_unchecked_stype (src/syntax//syntax_base.nit:377,2--381:54)"};
904 trace
.prev
= tracehead
; tracehead
= &trace
;
905 fprintf(stderr
, "Deferred method get_unchecked_stype called (src/syntax//syntax_base.nit:377,2)\n");
907 tracehead
= trace
.prev
;
910 void syntax_base___PType___check_conform(val_t self
, val_t param0
) {
911 struct trace_t trace
= {NULL
, "syntax_base::PType::check_conform (src/syntax//syntax_base.nit:383,2--386:39)"};
912 trace
.prev
= tracehead
; tracehead
= &trace
;
913 fprintf(stderr
, "Deferred method check_conform called (src/syntax//syntax_base.nit:383,2)\n");
915 tracehead
= trace
.prev
;
918 val_t
syntax_base___AType___get_local_class(val_t self
, val_t param0
) {
919 struct trace_t trace
= {NULL
, "syntax_base::AType::get_local_class (src/syntax//syntax_base.nit:393,2--413:20)"};
934 trace
.prev
= tracehead
; tracehead
= &trace
;
936 variable2
= ((parser_nodes___AType___n_id_t
)CALL( self
,COLOR_parser_nodes___AType___n_id
))( self
) /*AType::n_id*/;
937 variable2
= ((syntax_base___Token___to_symbol_t
)CALL(variable2
,COLOR_syntax_base___Token___to_symbol
))(variable2
) /*TClassid::to_symbol*/;
938 variable1
= variable2
;
939 variable3
= ((syntax_base___AbsSyntaxVisitor___module_t
)CALL( variable0
/*v*/,COLOR_syntax_base___AbsSyntaxVisitor___module
))( variable0
/*v*/) /*AbsSyntaxVisitor::module*/;
940 variable2
= variable3
;
941 variable4
= ((syntax_base___AbsSyntaxVisitor___local_class_t
)CALL( variable0
/*v*/,COLOR_syntax_base___AbsSyntaxVisitor___local_class
))( variable0
/*v*/) /*AbsSyntaxVisitor::local_class*/;
942 variable3
= variable4
;
943 variable4
= ((syntax_base___MMSrcLocalClass___formal_dict_t
)CALL( variable3
/*cla*/,COLOR_syntax_base___MMSrcLocalClass___formal_dict
))( variable3
/*cla*/) /*MMSrcLocalClass::formal_dict*/;
944 variable4
= TAG_Bool(!UNTAG_Bool(TAG_Bool((variable4
== NIT_NULL
/*null*/) || ((variable4
!= NIT_NULL
) && ((((kernel___Object_____eqeq_t
)CALL(variable4
,COLOR_kernel___Object_____eqeq
))==kernel___Object_____eqeq
)?
(IS_EQUAL_NN(variable4
, NIT_NULL
/*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t
)CALL(variable4
,COLOR_kernel___Object_____eqeq
))(variable4
, NIT_NULL
/*null*/) /*Map::==*/)))))));
945 variable5
= variable4
;
946 if (UNTAG_Bool(variable5
)) { /* and */
947 variable5
= ((syntax_base___MMSrcLocalClass___formal_dict_t
)CALL( variable3
/*cla*/,COLOR_syntax_base___MMSrcLocalClass___formal_dict
))( variable3
/*cla*/) /*MMSrcLocalClass::formal_dict*/;
948 variable5
= ((abstract_collection___Map___has_key_t
)CALL(variable5
,COLOR_abstract_collection___Map___has_key
))(variable5
, variable1
/*name*/) /*Map::has_key*/;
950 variable4
= variable5
;
951 variable5
= variable4
;
952 if (!UNTAG_Bool(variable5
)) { /* or */
953 variable5
= ((abstractmetamodel___MMLocalClass___global_properties_t
)CALL( variable3
/*cla*/,COLOR_abstractmetamodel___MMLocalClass___global_properties
))( variable3
/*cla*/) /*MMSrcLocalClass::global_properties*/;
954 variable5
= TAG_Bool(!UNTAG_Bool(TAG_Bool((variable5
== NIT_NULL
/*null*/) || ((variable5
!= NIT_NULL
) && ((((kernel___Object_____eqeq_t
)CALL(variable5
,COLOR_kernel___Object_____eqeq
))==kernel___Object_____eqeq
)?
(IS_EQUAL_NN(variable5
, NIT_NULL
/*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t
)CALL(variable5
,COLOR_kernel___Object_____eqeq
))(variable5
, NIT_NULL
/*null*/) /*Set::==*/)))))));
955 variable6
= variable5
;
956 if (UNTAG_Bool(variable6
)) { /* and */
957 variable6
= ((abstractmetamodel___MMLocalClass___has_global_property_by_name_t
)CALL( variable3
/*cla*/,COLOR_abstractmetamodel___MMLocalClass___has_global_property_by_name
))( variable3
/*cla*/, variable1
/*name*/) /*MMSrcLocalClass::has_global_property_by_name*/;
959 variable5
= variable6
;
961 variable4
= variable5
;
962 if (UNTAG_Bool(variable4
)) { /*if*/
963 variable4
= ((parser_nodes___AType___n_id_t
)CALL( self
,COLOR_parser_nodes___AType___n_id
))( self
) /*AType::n_id*/;
964 variable5
= NEW_string___String___init(); /*new String*/
965 variable6
= NEW_string___String___with_native(BOX_NativeString("Type error: "), TAG_Int(12)); /*new String*/
966 variable7
= variable6
;
967 ((string___String___append_t
)CALL(variable5
,COLOR_abstract_collection___IndexedCollection___append
))(variable5
, variable7
) /*String::append*/;
968 variable8
= variable1
/*name*/;
969 variable8
= ((string___String___to_s_t
)CALL(variable8
,COLOR_string___Object___to_s
))(variable8
) /*String::to_s*/;
970 ((string___String___append_t
)CALL(variable5
,COLOR_abstract_collection___IndexedCollection___append
))(variable5
, variable8
) /*String::append*/;
971 variable9
= NEW_string___String___with_native(BOX_NativeString(" is a formal type"), TAG_Int(17)); /*new String*/
972 variable10
= variable9
;
973 ((string___String___append_t
)CALL(variable5
,COLOR_abstract_collection___IndexedCollection___append
))(variable5
, variable10
) /*String::append*/;
974 ((syntax_base___AbsSyntaxVisitor___error_t
)CALL( variable0
/*v*/,COLOR_syntax_base___AbsSyntaxVisitor___error
))( variable0
/*v*/, variable4
, variable5
) /*AbsSyntaxVisitor::error*/;
975 ATTR_syntax_base___AType____stype_cached( self
) /*AType::_stype_cached*/ = TAG_Bool(true);
976 variable1
= NIT_NULL
/*null*/;
979 variable4
= ((abstractmetamodel___MMModule___has_global_class_named_t
)CALL( variable2
/*mod*/,COLOR_abstractmetamodel___MMModule___has_global_class_named
))( variable2
/*mod*/, variable1
/*name*/) /*MMSrcModule::has_global_class_named*/;
980 if (UNTAG_Bool( TAG_Bool(!UNTAG_Bool(variable4
)))) { /*if*/
981 variable4
= ((parser_nodes___AType___n_id_t
)CALL( self
,COLOR_parser_nodes___AType___n_id
))( self
) /*AType::n_id*/;
982 variable5
= NEW_string___String___init(); /*new String*/
983 variable6
= NEW_string___String___with_native(BOX_NativeString("Type error: class "), TAG_Int(18)); /*new String*/
984 variable7
= variable6
;
985 ((string___String___append_t
)CALL(variable5
,COLOR_abstract_collection___IndexedCollection___append
))(variable5
, variable7
) /*String::append*/;
986 variable8
= variable1
/*name*/;
987 variable8
= ((string___String___to_s_t
)CALL(variable8
,COLOR_string___Object___to_s
))(variable8
) /*String::to_s*/;
988 ((string___String___append_t
)CALL(variable5
,COLOR_abstract_collection___IndexedCollection___append
))(variable5
, variable8
) /*String::append*/;
989 variable9
= NEW_string___String___with_native(BOX_NativeString(" not found in module "), TAG_Int(21)); /*new String*/
990 variable10
= variable9
;
991 ((string___String___append_t
)CALL(variable5
,COLOR_abstract_collection___IndexedCollection___append
))(variable5
, variable10
) /*String::append*/;
992 variable11
= variable2
/*mod*/;
993 variable11
= ((string___String___to_s_t
)CALL(variable11
,COLOR_string___Object___to_s
))(variable11
) /*String::to_s*/;
994 ((string___String___append_t
)CALL(variable5
,COLOR_abstract_collection___IndexedCollection___append
))(variable5
, variable11
) /*String::append*/;
995 variable12
= NEW_string___String___with_native(BOX_NativeString("."), TAG_Int(1)); /*new String*/
996 variable13
= variable12
;
997 ((string___String___append_t
)CALL(variable5
,COLOR_abstract_collection___IndexedCollection___append
))(variable5
, variable13
) /*String::append*/;
998 ((syntax_base___AbsSyntaxVisitor___error_t
)CALL( variable0
/*v*/,COLOR_syntax_base___AbsSyntaxVisitor___error
))( variable0
/*v*/, variable4
, variable5
) /*AbsSyntaxVisitor::error*/;
999 ATTR_syntax_base___AType____stype_cached( self
) /*AType::_stype_cached*/ = TAG_Bool(true);
1000 variable1
= NIT_NULL
/*null*/;
1001 goto return_label35
;
1003 variable5
= ((abstractmetamodel___MMModule___class_by_name_t
)CALL( variable2
/*mod*/,COLOR_abstractmetamodel___MMModule___class_by_name
))( variable2
/*mod*/, variable1
/*name*/) /*MMSrcModule::class_by_name*/;
1004 variable4
= variable5
;
1005 variable5
= ((abstractmetamodel___MMLocalClass___global_t
)CALL( variable4
/*local_class*/,COLOR_abstractmetamodel___MMLocalClass___global
))( variable4
/*local_class*/) /*MMLocalClass::global*/;
1006 ((syntax_base___MMGlobalClass___check_visibility_t
)CALL(variable5
,COLOR_syntax_base___MMGlobalClass___check_visibility
))(variable5
, variable0
/*v*/, self
, variable2
/*mod*/) /*MMGlobalClass::check_visibility*/;
1007 variable1
= variable4
/*local_class*/;
1008 goto return_label35
;
1009 return_label35
: while(false);
1010 tracehead
= trace
.prev
;
1013 val_t
syntax_base___AType___get_unchecked_stype(val_t self
, val_t param0
) {
1014 struct trace_t trace
= {NULL
, "syntax_base::AType::get_unchecked_stype (src/syntax//syntax_base.nit:416,2--469:11)"};
1034 trace
.prev
= tracehead
; tracehead
= &trace
;
1036 variable1
= ATTR_syntax_base___AType____stype_cached( self
) /*AType::_stype_cached*/;
1037 if (UNTAG_Bool(variable1
)) { /*if*/
1038 variable1
= ATTR_syntax_base___AType____stype_cache( self
) /*AType::_stype_cache*/;
1039 goto return_label36
;
1041 ATTR_syntax_base___AType____stype_cached( self
) /*AType::_stype_cached*/ = TAG_Bool(true);
1042 variable2
= ((parser_nodes___AType___n_id_t
)CALL( self
,COLOR_parser_nodes___AType___n_id
))( self
) /*AType::n_id*/;
1043 variable2
= ((syntax_base___Token___to_symbol_t
)CALL(variable2
,COLOR_syntax_base___Token___to_symbol
))(variable2
) /*TClassid::to_symbol*/;
1044 variable1
= variable2
;
1045 variable3
= ((syntax_base___AbsSyntaxVisitor___module_t
)CALL( variable0
/*v*/,COLOR_syntax_base___AbsSyntaxVisitor___module
))( variable0
/*v*/) /*AbsSyntaxVisitor::module*/;
1046 variable2
= variable3
;
1047 variable4
= ((syntax_base___AbsSyntaxVisitor___local_class_t
)CALL( variable0
/*v*/,COLOR_syntax_base___AbsSyntaxVisitor___local_class
))( variable0
/*v*/) /*AbsSyntaxVisitor::local_class*/;
1048 variable3
= variable4
;
1049 variable4
= ((syntax_base___MMSrcLocalClass___formal_dict_t
)CALL( variable3
/*cla*/,COLOR_syntax_base___MMSrcLocalClass___formal_dict
))( variable3
/*cla*/) /*MMSrcLocalClass::formal_dict*/;
1050 variable4
= ((abstract_collection___Map___has_key_t
)CALL(variable4
,COLOR_abstract_collection___Map___has_key
))(variable4
, variable1
/*name*/) /*Map::has_key*/;
1051 if (UNTAG_Bool(variable4
)) { /*if*/
1052 variable4
= ((parser_nodes___AType___n_types_t
)CALL( self
,COLOR_parser_nodes___AType___n_types
))( self
) /*AType::n_types*/;
1053 variable4
= ((list___List___length_t
)CALL(variable4
,COLOR_abstract_collection___Collection___length
))(variable4
) /*List::length*/;
1054 variable4
= TAG_Bool(UNTAG_Int(variable4
)>UNTAG_Int( TAG_Int(0)));
1055 if (UNTAG_Bool(variable4
)) { /*if*/
1056 variable4
= NEW_string___String___init(); /*new String*/
1057 variable5
= NEW_string___String___with_native(BOX_NativeString("Type error: formal type "), TAG_Int(24)); /*new String*/
1058 variable6
= variable5
;
1059 ((string___String___append_t
)CALL(variable4
,COLOR_abstract_collection___IndexedCollection___append
))(variable4
, variable6
) /*String::append*/;
1060 variable7
= variable1
/*name*/;
1061 variable7
= ((string___String___to_s_t
)CALL(variable7
,COLOR_string___Object___to_s
))(variable7
) /*String::to_s*/;
1062 ((string___String___append_t
)CALL(variable4
,COLOR_abstract_collection___IndexedCollection___append
))(variable4
, variable7
) /*String::append*/;
1063 variable8
= NEW_string___String___with_native(BOX_NativeString(" cannot have formal parameters."), TAG_Int(31)); /*new String*/
1064 variable9
= variable8
;
1065 ((string___String___append_t
)CALL(variable4
,COLOR_abstract_collection___IndexedCollection___append
))(variable4
, variable9
) /*String::append*/;
1066 ((syntax_base___AbsSyntaxVisitor___error_t
)CALL( variable0
/*v*/,COLOR_syntax_base___AbsSyntaxVisitor___error
))( variable0
/*v*/, self
, variable4
) /*AbsSyntaxVisitor::error*/;
1067 variable1
= NIT_NULL
/*null*/;
1068 goto return_label36
;
1070 variable5
= ((syntax_base___MMSrcLocalClass___formal_dict_t
)CALL( variable3
/*cla*/,COLOR_syntax_base___MMSrcLocalClass___formal_dict
))( variable3
/*cla*/) /*MMSrcLocalClass::formal_dict*/;
1071 variable5
= ((abstract_collection___Map_____bra_t
)CALL(variable5
,COLOR_abstract_collection___Map_____bra
))(variable5
, variable1
/*name*/) /*Map::[]*/;
1072 variable4
= variable5
;
1073 ATTR_syntax_base___AType____stype_cache( self
) /*AType::_stype_cache*/ = variable4
/*formal*/;
1074 variable1
= variable4
/*formal*/;
1075 goto return_label36
;
1077 variable4
= ((abstractmetamodel___MMLocalClass___global_properties_t
)CALL( variable3
/*cla*/,COLOR_abstractmetamodel___MMLocalClass___global_properties
))( variable3
/*cla*/) /*MMSrcLocalClass::global_properties*/;
1078 variable4
= TAG_Bool(!UNTAG_Bool(TAG_Bool((variable4
== NIT_NULL
/*null*/) || ((variable4
!= NIT_NULL
) && ((((kernel___Object_____eqeq_t
)CALL(variable4
,COLOR_kernel___Object_____eqeq
))==kernel___Object_____eqeq
)?
(IS_EQUAL_NN(variable4
, NIT_NULL
/*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t
)CALL(variable4
,COLOR_kernel___Object_____eqeq
))(variable4
, NIT_NULL
/*null*/) /*Set::==*/)))))));
1079 variable5
= variable4
;
1080 if (UNTAG_Bool(variable5
)) { /* and */
1081 variable5
= ((abstractmetamodel___MMLocalClass___has_global_property_by_name_t
)CALL( variable3
/*cla*/,COLOR_abstractmetamodel___MMLocalClass___has_global_property_by_name
))( variable3
/*cla*/, variable1
/*name*/) /*MMSrcLocalClass::has_global_property_by_name*/;
1083 variable4
= variable5
;
1084 if (UNTAG_Bool(variable4
)) { /*if*/
1085 variable4
= ((parser_nodes___AType___n_types_t
)CALL( self
,COLOR_parser_nodes___AType___n_types
))( self
) /*AType::n_types*/;
1086 variable4
= ((list___List___length_t
)CALL(variable4
,COLOR_abstract_collection___Collection___length
))(variable4
) /*List::length*/;
1087 variable4
= TAG_Bool(UNTAG_Int(variable4
)>UNTAG_Int( TAG_Int(0)));
1088 if (UNTAG_Bool(variable4
)) { /*if*/
1089 variable4
= NEW_string___String___init(); /*new String*/
1090 variable5
= NEW_string___String___with_native(BOX_NativeString("Type error: formal type "), TAG_Int(24)); /*new String*/
1091 variable6
= variable5
;
1092 ((string___String___append_t
)CALL(variable4
,COLOR_abstract_collection___IndexedCollection___append
))(variable4
, variable6
) /*String::append*/;
1093 variable7
= variable1
/*name*/;
1094 variable7
= ((string___String___to_s_t
)CALL(variable7
,COLOR_string___Object___to_s
))(variable7
) /*String::to_s*/;
1095 ((string___String___append_t
)CALL(variable4
,COLOR_abstract_collection___IndexedCollection___append
))(variable4
, variable7
) /*String::append*/;
1096 variable8
= NEW_string___String___with_native(BOX_NativeString(" cannot have formal parameters."), TAG_Int(31)); /*new String*/
1097 variable9
= variable8
;
1098 ((string___String___append_t
)CALL(variable4
,COLOR_abstract_collection___IndexedCollection___append
))(variable4
, variable9
) /*String::append*/;
1099 ((syntax_base___AbsSyntaxVisitor___error_t
)CALL( variable0
/*v*/,COLOR_syntax_base___AbsSyntaxVisitor___error
))( variable0
/*v*/, self
, variable4
) /*AbsSyntaxVisitor::error*/;
1100 variable1
= NIT_NULL
/*null*/;
1101 goto return_label36
;
1103 variable5
= ((genericity___MMLocalClass___get_type_t
)CALL( variable3
/*cla*/,COLOR_static_type___MMLocalClass___get_type
))( variable3
/*cla*/) /*MMSrcLocalClass::get_type*/;
1104 variable5
= ((virtualtype___MMType___select_virtual_type_t
)CALL(variable5
,COLOR_virtualtype___MMType___select_virtual_type
))(variable5
, variable1
/*name*/) /*MMType::select_virtual_type*/;
1105 variable5
= ((virtualtype___MMTypeProperty___stype_t
)CALL(variable5
,COLOR_virtualtype___MMTypeProperty___stype
))(variable5
) /*MMTypeProperty::stype*/;
1106 variable4
= variable5
;
1107 variable5
= TAG_Bool(( variable4
/*t*/ == NIT_NULL
/*null*/) || (( variable4
/*t*/ != NIT_NULL
) && ((((kernel___Object_____eqeq_t
)CALL( variable4
/*t*/,COLOR_kernel___Object_____eqeq
))==kernel___Object_____eqeq
)?
(IS_EQUAL_NN( variable4
/*t*/, NIT_NULL
/*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t
)CALL( variable4
/*t*/,COLOR_kernel___Object_____eqeq
))( variable4
/*t*/, NIT_NULL
/*null*/) /*MMVirtualType::==*/)))));
1108 if (UNTAG_Bool(variable5
)) { /*if*/
1109 variable5
= NEW_string___String___init(); /*new String*/
1110 variable6
= NEW_string___String___with_native(BOX_NativeString("Type error: circular definition in formal type "), TAG_Int(47)); /*new String*/
1111 variable7
= variable6
;
1112 ((string___String___append_t
)CALL(variable5
,COLOR_abstract_collection___IndexedCollection___append
))(variable5
, variable7
) /*String::append*/;
1113 variable8
= variable1
/*name*/;
1114 variable8
= ((string___String___to_s_t
)CALL(variable8
,COLOR_string___Object___to_s
))(variable8
) /*String::to_s*/;
1115 ((string___String___append_t
)CALL(variable5
,COLOR_abstract_collection___IndexedCollection___append
))(variable5
, variable8
) /*String::append*/;
1116 variable9
= NEW_string___String___with_native(BOX_NativeString("."), TAG_Int(1)); /*new String*/
1117 variable10
= variable9
;
1118 ((string___String___append_t
)CALL(variable5
,COLOR_abstract_collection___IndexedCollection___append
))(variable5
, variable10
) /*String::append*/;
1119 ((syntax_base___AbsSyntaxVisitor___error_t
)CALL( variable0
/*v*/,COLOR_syntax_base___AbsSyntaxVisitor___error
))( variable0
/*v*/, self
, variable5
) /*AbsSyntaxVisitor::error*/;
1120 variable1
= NIT_NULL
/*null*/;
1121 goto return_label36
;
1123 ATTR_syntax_base___AType____stype_cache( self
) /*AType::_stype_cache*/ = variable4
/*t*/;
1124 variable1
= variable4
/*t*/;
1125 goto return_label36
;
1127 variable5
= ((syntax_base___AType___get_local_class_t
)CALL( self
,COLOR_syntax_base___PType___get_local_class
))( self
, variable0
/*v*/) /*AType::get_local_class*/;
1128 variable4
= variable5
;
1129 variable5
= TAG_Bool(( variable4
/*local_class*/ == NIT_NULL
/*null*/) || (( variable4
/*local_class*/ != NIT_NULL
) && ((((kernel___Object_____eqeq_t
)CALL( variable4
/*local_class*/,COLOR_kernel___Object_____eqeq
))==kernel___Object_____eqeq
)?
(IS_EQUAL_NN( variable4
/*local_class*/, NIT_NULL
/*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t
)CALL( variable4
/*local_class*/,COLOR_kernel___Object_____eqeq
))( variable4
/*local_class*/, NIT_NULL
/*null*/) /*MMLocalClass::==*/)))));
1130 if (UNTAG_Bool(variable5
)) { /*if*/
1131 variable1
= NIT_NULL
/*null*/;
1132 goto return_label36
;
1134 variable6
= ((parser_nodes___AType___n_types_t
)CALL( self
,COLOR_parser_nodes___AType___n_types
))( self
) /*AType::n_types*/;
1135 variable6
= ((list___List___length_t
)CALL(variable6
,COLOR_abstract_collection___Collection___length
))(variable6
) /*List::length*/;
1136 variable5
= variable6
;
1137 variable6
= ((abstractmetamodel___MMLocalClass___arity_t
)CALL( variable4
/*local_class*/,COLOR_abstractmetamodel___MMLocalClass___arity
))( variable4
/*local_class*/) /*MMLocalClass::arity*/;
1138 variable6
= TAG_Bool((variable6
)!=( variable5
/*arity*/));
1139 if (UNTAG_Bool(variable6
)) { /*if*/
1140 variable6
= NEW_string___String___init(); /*new String*/
1141 variable7
= NEW_string___String___with_native(BOX_NativeString("Type error: '"), TAG_Int(13)); /*new String*/
1142 variable8
= variable7
;
1143 ((string___String___append_t
)CALL(variable6
,COLOR_abstract_collection___IndexedCollection___append
))(variable6
, variable8
) /*String::append*/;
1144 variable9
= variable4
/*local_class*/;
1145 variable9
= ((string___String___to_s_t
)CALL(variable9
,COLOR_string___Object___to_s
))(variable9
) /*String::to_s*/;
1146 ((string___String___append_t
)CALL(variable6
,COLOR_abstract_collection___IndexedCollection___append
))(variable6
, variable9
) /*String::append*/;
1147 variable10
= NEW_string___String___with_native(BOX_NativeString("' has "), TAG_Int(6)); /*new String*/
1148 variable11
= variable10
;
1149 ((string___String___append_t
)CALL(variable6
,COLOR_abstract_collection___IndexedCollection___append
))(variable6
, variable11
) /*String::append*/;
1150 variable12
= ((abstractmetamodel___MMLocalClass___arity_t
)CALL( variable4
/*local_class*/,COLOR_abstractmetamodel___MMLocalClass___arity
))( variable4
/*local_class*/) /*MMLocalClass::arity*/;
1151 variable13
= variable12
;
1152 variable13
= ((string___String___to_s_t
)CALL(variable13
,COLOR_string___Object___to_s
))(variable13
) /*String::to_s*/;
1153 ((string___String___append_t
)CALL(variable6
,COLOR_abstract_collection___IndexedCollection___append
))(variable6
, variable13
) /*String::append*/;
1154 variable14
= NEW_string___String___with_native(BOX_NativeString(" parameters which differs from the "), TAG_Int(35)); /*new String*/
1155 variable15
= variable14
;
1156 ((string___String___append_t
)CALL(variable6
,COLOR_abstract_collection___IndexedCollection___append
))(variable6
, variable15
) /*String::append*/;
1157 variable16
= variable5
/*arity*/;
1158 variable16
= ((string___String___to_s_t
)CALL(variable16
,COLOR_string___Object___to_s
))(variable16
) /*String::to_s*/;
1159 ((string___String___append_t
)CALL(variable6
,COLOR_abstract_collection___IndexedCollection___append
))(variable6
, variable16
) /*String::append*/;
1160 variable17
= NEW_string___String___with_native(BOX_NativeString(" params."), TAG_Int(8)); /*new String*/
1161 variable18
= variable17
;
1162 ((string___String___append_t
)CALL(variable6
,COLOR_abstract_collection___IndexedCollection___append
))(variable6
, variable18
) /*String::append*/;
1163 ((syntax_base___AbsSyntaxVisitor___error_t
)CALL( variable0
/*v*/,COLOR_syntax_base___AbsSyntaxVisitor___error
))( variable0
/*v*/, self
, variable6
) /*AbsSyntaxVisitor::error*/;
1164 variable1
= NIT_NULL
/*null*/;
1165 goto return_label36
;
1167 variable6
= TAG_Bool(UNTAG_Int( variable5
/*arity*/)>UNTAG_Int( TAG_Int(0)));
1168 if (UNTAG_Bool(variable6
)) { /*if*/
1169 variable7
= NEW_array___Array___init(); /*new Array[MMType]*/
1170 variable6
= variable7
;
1171 variable7
= ((parser_nodes___AType___n_types_t
)CALL( self
,COLOR_parser_nodes___AType___n_types
))( self
) /*AType::n_types*/;
1172 variable7
= ((list___List___iterator_t
)CALL(variable7
,COLOR_abstract_collection___Collection___iterator
))(variable7
) /*List::iterator*/;
1173 while (true) { /*for*/
1174 variable8
= ((list___ListIterator___is_ok_t
)CALL(variable7
,COLOR_abstract_collection___Iterator___is_ok
))(variable7
) /*ListIterator::is_ok*/;
1175 if (!UNTAG_Bool(variable8
)) break; /*for*/
1176 variable8
= ((list___ListIterator___item_t
)CALL(variable7
,COLOR_abstract_collection___Iterator___item
))(variable7
) /*ListIterator::item*/;
1177 variable9
= ((syntax_base___PType___get_unchecked_stype_t
)CALL( variable8
/*p*/,COLOR_syntax_base___PType___get_unchecked_stype
))( variable8
/*p*/, variable0
/*v*/) /*PType::get_unchecked_stype*/;
1178 ((array___AbstractArray___add_t
)CALL( variable6
/*tab*/,COLOR_abstract_collection___SimpleCollection___add
))( variable6
/*tab*/, variable9
) /*Array::add*/;
1179 continue_37
: while(0);
1180 ((list___ListIterator___next_t
)CALL(variable7
,COLOR_abstract_collection___Iterator___next
))(variable7
) /*ListIterator::next*/;
1183 variable8
= ((genericity___MMLocalClass___get_instantiate_type_t
)CALL( variable4
/*local_class*/,COLOR_genericity___MMLocalClass___get_instantiate_type
))( variable4
/*local_class*/, variable6
/*tab*/) /*MMLocalClass::get_instantiate_type*/;
1184 variable7
= variable8
;
1185 ATTR_syntax_base___AType____stype_cache( self
) /*AType::_stype_cache*/ = variable7
/*t*/;
1186 variable1
= variable7
/*t*/;
1187 goto return_label36
;
1189 variable7
= ((genericity___MMLocalClass___get_type_t
)CALL( variable4
/*local_class*/,COLOR_static_type___MMLocalClass___get_type
))( variable4
/*local_class*/) /*MMLocalClass::get_type*/;
1190 variable6
= variable7
;
1191 ATTR_syntax_base___AType____stype_cache( self
) /*AType::_stype_cache*/ = variable6
/*t*/;
1192 variable1
= variable6
/*t*/;
1193 goto return_label36
;
1195 return_label36
: while(false);
1196 tracehead
= trace
.prev
;
1199 val_t
syntax_base___AType___get_stype(val_t self
, val_t param0
) {
1200 struct trace_t trace
= {NULL
, "syntax_base::AType::get_stype (src/syntax//syntax_base.nit:473,2--477:10)"};
1204 trace
.prev
= tracehead
; tracehead
= &trace
;
1206 variable2
= ((syntax_base___AType___get_unchecked_stype_t
)CALL( self
,COLOR_syntax_base___PType___get_unchecked_stype
))( self
, variable0
/*v*/) /*AType::get_unchecked_stype*/;
1207 variable1
= variable2
;
1208 variable2
= TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable1
/*t*/ == NIT_NULL
/*null*/) || (( variable1
/*t*/ != NIT_NULL
) && ((((kernel___Object_____eqeq_t
)CALL( variable1
/*t*/,COLOR_kernel___Object_____eqeq
))==kernel___Object_____eqeq
)?
(IS_EQUAL_NN( variable1
/*t*/, NIT_NULL
/*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t
)CALL( variable1
/*t*/,COLOR_kernel___Object_____eqeq
))( variable1
/*t*/, NIT_NULL
/*null*/) /*MMType::==*/)))))));
1209 if (UNTAG_Bool(variable2
)) { /*if*/
1210 ((syntax_base___AType___check_conform_t
)CALL( self
,COLOR_syntax_base___PType___check_conform
))( self
, variable0
/*v*/) /*AType::check_conform*/;
1212 variable1
= variable1
/*t*/;
1213 goto return_label38
;
1214 return_label38
: while(false);
1215 tracehead
= trace
.prev
;
1218 void syntax_base___AType___check_conform(val_t self
, val_t param0
) {
1219 struct trace_t trace
= {NULL
, "syntax_base::AType::check_conform (src/syntax//syntax_base.nit:480,2--493:29)"};
1230 trace
.prev
= tracehead
; tracehead
= &trace
;
1232 variable2
= ((syntax_base___AType___get_unchecked_stype_t
)CALL( self
,COLOR_syntax_base___PType___get_unchecked_stype
))( self
, variable0
/*v*/) /*AType::get_unchecked_stype*/;
1233 variable1
= variable2
;
1234 variable2
= TAG_Bool(( variable1
/*st*/ == NIT_NULL
/*null*/) || (( variable1
/*st*/ != NIT_NULL
) && ((((kernel___Object_____eqeq_t
)CALL( variable1
/*st*/,COLOR_kernel___Object_____eqeq
))==kernel___Object_____eqeq
)?
(IS_EQUAL_NN( variable1
/*st*/, NIT_NULL
/*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t
)CALL( variable1
/*st*/,COLOR_kernel___Object_____eqeq
))( variable1
/*st*/, NIT_NULL
/*null*/) /*MMType::==*/)))));
1235 if (UNTAG_Bool(variable2
)) { /*if*/
1236 goto return_label39
;
1238 variable3
= ((static_type___MMType___local_class_t
)CALL( variable1
/*st*/,COLOR_static_type___MMType___local_class
))( variable1
/*st*/) /*MMType::local_class*/;
1239 variable2
= variable3
;
1240 variable4
= ((parser_nodes___AType___n_types_t
)CALL( self
,COLOR_parser_nodes___AType___n_types
))( self
) /*AType::n_types*/;
1241 variable4
= ((list___List___length_t
)CALL(variable4
,COLOR_abstract_collection___Collection___length
))(variable4
) /*List::length*/;
1242 variable3
= variable4
;
1243 variable4
= TAG_Bool(UNTAG_Int( variable3
/*arity*/)>UNTAG_Int( TAG_Int(0)));
1244 if (UNTAG_Bool(variable4
)) { /*if*/
1245 variable4
= NEW_range___Range___without_last( TAG_Int(0), variable3
/*arity*/); /*new Range[Int]*/
1246 variable4
= ((range___Range___iterator_t
)CALL(variable4
,COLOR_abstract_collection___Collection___iterator
))(variable4
) /*Range::iterator*/;
1247 while (true) { /*for*/
1248 variable5
= ((abstract_collection___Iterator___is_ok_t
)CALL(variable4
,COLOR_abstract_collection___Iterator___is_ok
))(variable4
) /*Iterator::is_ok*/;
1249 if (!UNTAG_Bool(variable5
)) break; /*for*/
1250 variable5
= ((abstract_collection___Iterator___item_t
)CALL(variable4
,COLOR_abstract_collection___Iterator___item
))(variable4
) /*Iterator::item*/;
1251 variable7
= ((parser_nodes___AType___n_types_t
)CALL( self
,COLOR_parser_nodes___AType___n_types
))( self
) /*AType::n_types*/;
1252 variable7
= ((list___List_____bra_t
)CALL(variable7
,COLOR_abstract_collection___Map_____bra
))(variable7
, variable5
/*i*/) /*List::[]*/;
1253 variable6
= variable7
;
1254 variable8
= ((syntax_base___PType___get_stype_t
)CALL( variable6
/*p*/,COLOR_syntax_base___PType___get_stype
))( variable6
/*p*/, variable0
/*v*/) /*PType::get_stype*/;
1255 variable7
= variable8
;
1256 variable9
= ((genericity___MMLocalClass___get_formal_t
)CALL( variable2
/*local_class*/,COLOR_genericity___MMLocalClass___get_formal
))( variable2
/*local_class*/, variable5
/*i*/) /*MMLocalClass::get_formal*/;
1257 variable9
= ((type_formal___MMTypeFormal___bound_t
)CALL(variable9
,COLOR_type_formal___MMTypeFormal___bound
))(variable9
) /*MMTypeFormalParameter::bound*/;
1258 variable8
= variable9
;
1259 variable9
= TAG_Bool(( variable8
/*bt*/ == NIT_NULL
/*null*/) || (( variable8
/*bt*/ != NIT_NULL
) && ((((kernel___Object_____eqeq_t
)CALL( variable8
/*bt*/,COLOR_kernel___Object_____eqeq
))==kernel___Object_____eqeq
)?
(IS_EQUAL_NN( variable8
/*bt*/, NIT_NULL
/*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t
)CALL( variable8
/*bt*/,COLOR_kernel___Object_____eqeq
))( variable8
/*bt*/, NIT_NULL
/*null*/) /*MMType::==*/)))));
1260 if (UNTAG_Bool(variable9
)) { /*if*/
1261 goto return_label39
;
1263 variable9
= ((static_type___MMType___adapt_to_t
)CALL( variable8
/*bt*/,COLOR_static_type___MMType___adapt_to
))( variable8
/*bt*/, variable1
/*st*/) /*MMType::adapt_to*/;
1264 variable8
= variable9
/*bt=*/;
1265 ((syntax_base___AbsSyntaxVisitor___check_conform_t
)CALL( variable0
/*v*/,COLOR_syntax_base___AbsSyntaxVisitor___check_conform
))( variable0
/*v*/, variable6
/*p*/, variable7
/*pt*/, variable8
/*bt*/) /*AbsSyntaxVisitor::check_conform*/;
1266 continue_40
: while(0);
1267 ((abstract_collection___Iterator___next_t
)CALL(variable4
,COLOR_abstract_collection___Iterator___next
))(variable4
) /*Iterator::next*/;
1271 return_label39
: while(false);
1272 tracehead
= trace
.prev
;
1275 val_t
syntax_base___PExpr___stype(val_t self
) {
1276 struct trace_t trace
= {NULL
, "syntax_base::PExpr::stype (src/syntax//syntax_base.nit:500,2--502:19)"};
1277 trace
.prev
= tracehead
; tracehead
= &trace
;
1278 fprintf(stderr
, "Deferred method stype called (src/syntax//syntax_base.nit:500,2)\n");
1280 tracehead
= trace
.prev
;