1 /* This C file is generated by NIT to compile module syntax. */
2 #include "syntax._sep.h"
3 val_t
syntax___SrcModuleLoader___file_type(val_t p0
){
4 struct {struct stack_frame_t me
;} fra
;
7 static val_t once_value_1
; /* Once value */
8 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
9 fra
.me
.file
= LOCATE_syntax
;
11 fra
.me
.meth
= LOCATE_syntax___SrcModuleLoader___file_type
;
14 fra
.me
.REG
[0] = NIT_NULL
;
16 /* ./syntax//syntax.nit:31 */
18 fra
.me
.REG
[0] = BOX_NativeString("nit");
20 fra
.me
.REG
[0] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[0], REGB0
);
21 once_value_1
= fra
.me
.REG
[0];
22 register_static_object(&once_value_1
);
23 } else fra
.me
.REG
[0] = once_value_1
;
24 fra
.me
.REG
[0] = fra
.me
.REG
[0];
27 stack_frame_head
= fra
.me
.prev
;
30 val_t
syntax___SrcModuleLoader___parse_file(val_t p0
, val_t p1
, val_t p2
, val_t p3
, val_t p4
, val_t p5
){
31 struct {struct stack_frame_t me
; val_t MORE_REG
[7];} fra
;
36 static val_t once_value_4
; /* Once value */
37 static val_t once_value_5
; /* Once value */
38 static val_t once_value_6
; /* Once value */
39 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
40 fra
.me
.file
= LOCATE_syntax
;
42 fra
.me
.meth
= LOCATE_syntax___SrcModuleLoader___parse_file
;
45 fra
.me
.REG
[0] = NIT_NULL
;
46 fra
.me
.REG
[1] = NIT_NULL
;
47 fra
.me
.REG
[2] = NIT_NULL
;
48 fra
.me
.REG
[3] = NIT_NULL
;
49 fra
.me
.REG
[4] = NIT_NULL
;
50 fra
.me
.REG
[5] = NIT_NULL
;
51 fra
.me
.REG
[6] = NIT_NULL
;
52 fra
.me
.REG
[7] = NIT_NULL
;
59 /* ./syntax//syntax.nit:35 */
60 fra
.me
.REG
[6] = CALL_standard___string___Object___to_s(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
61 /* ./../lib/standard//collection//array.nit:23 */
62 REGB0
= TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[6])!=NIT_NULL
);
63 if (UNTAG_Bool(REGB0
)) {
65 nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array
, 23);
67 REGB0
= ATTR_standard___collection___array___AbstractArrayRead____length(fra
.me
.REG
[6]);
68 /* ./syntax//syntax.nit:35 */
70 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
71 if (UNTAG_Bool(REGB2
)) {
73 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
75 /* ./../lib/standard//kernel.nit:217 */
76 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)>UNTAG_Int(REGB1
));
77 /* ./syntax//syntax.nit:35 */
78 if (UNTAG_Bool(REGB1
)) {
79 fra
.me
.REG
[6] = CALL_standard___string___Object___to_s(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
81 REGB1
= CALL_standard___collection___abstract_collection___SequenceRead_____bra(fra
.me
.REG
[6])(fra
.me
.REG
[6], REGB1
);
82 REGB1
= CALL_standard___kernel___Char___is_lower(REGB1
)(REGB1
);
84 REGB0
= TAG_Bool(false);
87 fra
.me
.REG
[6] = REGB1
;
88 /* ./syntax//syntax.nit:36 */
89 fra
.me
.REG
[7] = CALL_standard___string___Object___to_s(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
90 CALL_standard___collection___abstract_collection___Collection___iterate(fra
.me
.REG
[7])(fra
.me
.REG
[7], (&(fra
.me
)), ((fun_t
)OC_syntax___SrcModuleLoader___parse_file_1
));
91 switch ((&(fra
.me
))->has_broke
) {
93 case 1: (&(fra
.me
))->has_broke
= 0; goto label3
;
96 /* ./syntax//syntax.nit:41 */
97 REGB1
= TAG_Bool(!UNTAG_Bool(fra
.me
.REG
[6]));
98 if (UNTAG_Bool(REGB1
)) {
99 /* ./syntax//syntax.nit:42 */
101 fra
.me
.REG
[6] = NEW_Array_standard___collection___array___Array___with_capacity(REGB1
);
103 fra
.me
.REG
[7] = BOX_NativeString("");
105 fra
.me
.REG
[7] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[7], REGB1
);
106 once_value_4
= fra
.me
.REG
[7];
107 register_static_object(&once_value_4
);
108 } else fra
.me
.REG
[7] = once_value_4
;
109 fra
.me
.REG
[7] = fra
.me
.REG
[7];
110 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[6])(fra
.me
.REG
[6], fra
.me
.REG
[7]);
111 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[6])(fra
.me
.REG
[6], fra
.me
.REG
[3]);
113 fra
.me
.REG
[7] = BOX_NativeString(": Error module name \"");
115 fra
.me
.REG
[7] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[7], REGB1
);
116 once_value_5
= fra
.me
.REG
[7];
117 register_static_object(&once_value_5
);
118 } else fra
.me
.REG
[7] = once_value_5
;
119 fra
.me
.REG
[7] = fra
.me
.REG
[7];
120 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[6])(fra
.me
.REG
[6], fra
.me
.REG
[7]);
121 fra
.me
.REG
[7] = CALL_standard___string___Object___to_s(fra
.me
.REG
[4])(fra
.me
.REG
[4]);
122 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[6])(fra
.me
.REG
[6], fra
.me
.REG
[7]);
124 fra
.me
.REG
[7] = BOX_NativeString("\", must start with a lower case letter and contain only letters, digits and '_'.");
126 fra
.me
.REG
[7] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[7], REGB1
);
127 once_value_6
= fra
.me
.REG
[7];
128 register_static_object(&once_value_6
);
129 } else fra
.me
.REG
[7] = once_value_6
;
130 fra
.me
.REG
[7] = fra
.me
.REG
[7];
131 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[6])(fra
.me
.REG
[6], fra
.me
.REG
[7]);
132 fra
.me
.REG
[6] = CALL_standard___string___Object___to_s(fra
.me
.REG
[6])(fra
.me
.REG
[6]);
133 CALL_mmloader___ToolContext___error(fra
.me
.REG
[1])(fra
.me
.REG
[1], NIT_NULL
, fra
.me
.REG
[6]);
135 /* ./syntax//syntax.nit:45 */
136 fra
.me
.REG
[2] = NEW_SourceFile_location___SourceFile___init(fra
.me
.REG
[3], fra
.me
.REG
[2]);
137 /* ./syntax//syntax.nit:46 */
138 fra
.me
.REG
[3] = NEW_Lexer_parser___lexer___Lexer___init(fra
.me
.REG
[2]);
139 /* ./syntax//syntax.nit:47 */
140 fra
.me
.REG
[3] = NEW_Parser_parser___Parser___init(fra
.me
.REG
[3]);
141 /* ./syntax//syntax.nit:48 */
142 fra
.me
.REG
[3] = CALL_parser___Parser___parse(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
143 /* ./syntax//syntax.nit:49 */
144 fra
.me
.REG
[6] = CALL_parser___parser_nodes___Start___n_base(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
145 REGB1
= TAG_Bool(fra
.me
.REG
[6]==NIT_NULL
);
146 if (UNTAG_Bool(REGB1
)) {
148 REGB0
= TAG_Bool(fra
.me
.REG
[6]==NIT_NULL
);
149 if (UNTAG_Bool(REGB0
)) {
150 REGB0
= TAG_Bool(false);
153 REGB0
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[6])(fra
.me
.REG
[6], NIT_NULL
);
157 if (UNTAG_Bool(REGB1
)) {
158 /* ./syntax//syntax.nit:50 */
159 fra
.me
.REG
[6] = CALL_parser___parser_nodes___Start___n_eof(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
160 /* ./syntax//syntax.nit:51 */
161 REGB1
= TAG_Bool(VAL_ISA(fra
.me
.REG
[6], COLOR_parser___parser_nodes___AError
, ID_parser___parser_nodes___AError
)) /*cast AError*/;
162 if (UNTAG_Bool(REGB1
)) {
164 nit_abort("Assert failed", NULL
, LOCATE_syntax
, 51);
166 /* ./syntax//syntax.nit:52 */
167 fra
.me
.REG
[0] = CALL_parser___parser_nodes___ANode___location(fra
.me
.REG
[6])(fra
.me
.REG
[6]);
168 fra
.me
.REG
[6] = CALL_parser___lexer___AError___message(fra
.me
.REG
[6])(fra
.me
.REG
[6]);
169 CALL_mmloader___ToolContext___fatal_error(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0], fra
.me
.REG
[6]);
171 /* ./syntax//syntax.nit:54 */
172 fra
.me
.REG
[3] = CALL_parser___parser_nodes___Start___n_base(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
173 /* ./syntax//syntax.nit:55 */
174 REGB1
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
175 if (UNTAG_Bool(REGB1
)) {
177 REGB0
= TAG_Bool(fra
.me
.REG
[3]==NIT_NULL
);
178 if (UNTAG_Bool(REGB0
)) {
179 REGB0
= TAG_Bool(false);
182 REGB0
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[3])(fra
.me
.REG
[3], NIT_NULL
);
186 REGB1
= TAG_Bool(!UNTAG_Bool(REGB1
));
187 if (UNTAG_Bool(REGB1
)) {
189 nit_abort("Assert failed", NULL
, LOCATE_syntax
, 55);
191 /* ./syntax//syntax.nit:56 */
192 fra
.me
.REG
[2] = NEW_Location_location___Location___with_file(fra
.me
.REG
[2]);
193 /* ./syntax//syntax.nit:57 */
194 fra
.me
.REG
[2] = NEW_MMSrcModule_syntax___syntax_base___MMSrcModule___init(fra
.me
.REG
[1], fra
.me
.REG
[3], fra
.me
.REG
[5], fra
.me
.REG
[4], fra
.me
.REG
[2]);
195 /* ./syntax//syntax.nit:58 */
198 stack_frame_head
= fra
.me
.prev
;
199 return fra
.me
.REG
[2];
201 void OC_syntax___SrcModuleLoader___parse_file_1(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
){
202 struct {struct stack_frame_t me
;} fra
;
208 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
209 fra
.me
.file
= LOCATE_syntax
;
211 fra
.me
.meth
= LOCATE_syntax___SrcModuleLoader___parse_file
;
212 fra
.me
.has_broke
= 0;
214 fra
.me
.REG
[0] = NIT_NULL
;
215 fra
.me
.closure_ctx
= closctx_param
;
216 fra
.me
.closure_funs
= CREG
;
219 REGB0
= fra
.me
.REG
[0];
220 REGB1
= CALL_standard___kernel___Char___is_digit(REGB0
)(REGB0
);
221 REGB1
= TAG_Bool(!UNTAG_Bool(REGB1
));
222 if (UNTAG_Bool(REGB1
)) {
223 REGB1
= CALL_standard___kernel___Char___is_letter(REGB0
)(REGB0
);
224 REGB1
= TAG_Bool(!UNTAG_Bool(REGB1
));
226 REGB2
= TAG_Bool(false);
229 if (UNTAG_Bool(REGB1
)) {
230 REGB1
= TAG_Char('_');
231 REGB2
= TAG_Bool(IS_EQUAL_OO(REGB0
,REGB1
));
232 if (UNTAG_Bool(REGB2
)) {
234 /* ./../lib/standard//kernel.nit:350 */
235 REGB1
= TAG_Bool((REGB0
)==(REGB1
));
236 /* ./syntax//syntax.nit:36 */
239 REGB2
= TAG_Bool(!UNTAG_Bool(REGB2
));
241 REGB1
= TAG_Bool(false);
244 if (UNTAG_Bool(REGB2
)) {
245 /* ./syntax//syntax.nit:38 */
246 REGB2
= TAG_Bool(false);
247 closctx
->REG
[6] = REGB2
;
248 /* ./syntax//syntax.nit:39 */
249 closctx
->has_broke
= 1;
253 stack_frame_head
= fra
.me
.prev
;
256 void syntax___SrcModuleLoader___process_metamodel(val_t p0
, val_t p1
, val_t p2
){
257 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
260 static val_t once_value_1
; /* Once value */
261 static val_t once_value_2
; /* Once value */
262 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
263 fra
.me
.file
= LOCATE_syntax
;
265 fra
.me
.meth
= LOCATE_syntax___SrcModuleLoader___process_metamodel
;
266 fra
.me
.has_broke
= 0;
268 fra
.me
.REG
[0] = NIT_NULL
;
269 fra
.me
.REG
[1] = NIT_NULL
;
270 fra
.me
.REG
[2] = NIT_NULL
;
271 fra
.me
.REG
[3] = NIT_NULL
;
275 REGB0
= TAG_Bool(VAL_ISA(fra
.me
.REG
[2], VTCOLOR_mmloader___ModuleLoader___MODULE(fra
.me
.REG
[0]), VTID_mmloader___ModuleLoader___MODULE(fra
.me
.REG
[0]))) /*cast MODULE*/;
276 if (UNTAG_Bool(REGB0
)) {
278 nit_abort("Cast failed", NULL
, LOCATE_syntax
, 0);
280 /* ./syntax//syntax.nit:63 */
281 CALL_syntax___MMSrcModule___process_supermodules(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
282 /* ./syntax//syntax.nit:64 */
284 fra
.me
.REG
[0] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0
);
286 fra
.me
.REG
[3] = BOX_NativeString("Syntax analysis for module: ");
288 fra
.me
.REG
[3] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[3], REGB0
);
289 once_value_1
= fra
.me
.REG
[3];
290 register_static_object(&once_value_1
);
291 } else fra
.me
.REG
[3] = once_value_1
;
292 fra
.me
.REG
[3] = fra
.me
.REG
[3];
293 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[3]);
294 fra
.me
.REG
[3] = CALL_metamodel___abstractmetamodel___MMModule___name(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
295 fra
.me
.REG
[3] = CALL_standard___string___Object___to_s(fra
.me
.REG
[3])(fra
.me
.REG
[3]);
296 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[3]);
298 fra
.me
.REG
[3] = BOX_NativeString("");
300 fra
.me
.REG
[3] = NEW_String_standard___string___String___with_native(fra
.me
.REG
[3], REGB0
);
301 once_value_2
= fra
.me
.REG
[3];
302 register_static_object(&once_value_2
);
303 } else fra
.me
.REG
[3] = once_value_2
;
304 fra
.me
.REG
[3] = fra
.me
.REG
[3];
305 CALL_standard___collection___abstract_collection___SimpleCollection___add(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[3]);
306 fra
.me
.REG
[0] = CALL_standard___string___Object___to_s(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
308 CALL_mmloader___ToolContext___info(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0], REGB0
);
309 /* ./syntax//syntax.nit:65 */
310 CALL_syntax___MMSrcModule___process_syntax(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1]);
311 stack_frame_head
= fra
.me
.prev
;
314 void syntax___SrcModuleLoader___init(val_t p0
, int* init_table
){
315 int itpos0
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_syntax___SrcModuleLoader
].i
;
316 struct {struct stack_frame_t me
;} fra
;
318 if (init_table
[itpos0
]) return;
319 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
320 fra
.me
.file
= LOCATE_syntax
;
322 fra
.me
.meth
= LOCATE_syntax___SrcModuleLoader___init
;
323 fra
.me
.has_broke
= 0;
325 fra
.me
.REG
[0] = NIT_NULL
;
327 /* ./syntax//syntax.nit:68 */
328 CALL_mmloader___ModuleLoader___init(fra
.me
.REG
[0])(fra
.me
.REG
[0], init_table
);
329 stack_frame_head
= fra
.me
.prev
;
330 init_table
[itpos0
] = 1;
333 void syntax___MMSrcModule___process_supermodules(val_t p0
, val_t p1
){
334 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
336 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
337 fra
.me
.file
= LOCATE_syntax
;
339 fra
.me
.meth
= LOCATE_syntax___MMSrcModule___process_supermodules
;
340 fra
.me
.has_broke
= 0;
342 fra
.me
.REG
[0] = NIT_NULL
;
343 fra
.me
.REG
[1] = NIT_NULL
;
344 fra
.me
.REG
[2] = NIT_NULL
;
347 /* ./syntax//syntax.nit:75 */
348 fra
.me
.REG
[2] = CALL_syntax___syntax_base___MMSrcModule___node(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
349 CALL_syntax___mmbuilder___AModule___import_super_modules(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[1], fra
.me
.REG
[0]);
350 stack_frame_head
= fra
.me
.prev
;
353 void syntax___MMSrcModule___process_syntax(val_t p0
, val_t p1
){
354 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
357 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
358 fra
.me
.file
= LOCATE_syntax
;
360 fra
.me
.meth
= LOCATE_syntax___MMSrcModule___process_syntax
;
361 fra
.me
.has_broke
= 0;
363 fra
.me
.REG
[0] = NIT_NULL
;
364 fra
.me
.REG
[1] = NIT_NULL
;
367 /* ./syntax//syntax.nit:82 */
368 CALL_syntax___mmbuilder___MMSrcModule___do_mmbuilder(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
369 /* ./syntax//syntax.nit:83 */
370 CALL_mmloader___ToolContext___check_errors(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
371 /* ./syntax//syntax.nit:85 */
372 CALL_syntax___typing___MMSrcModule___do_typing(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
373 /* ./syntax//syntax.nit:86 */
374 CALL_mmloader___ToolContext___check_errors(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
375 /* ./syntax//syntax.nit:88 */
376 CALL_syntax___icode_generation___MMSrcModule___generate_icode(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
377 /* ./syntax//syntax.nit:89 */
378 CALL_mmloader___ToolContext___check_errors(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
379 /* ./syntax//syntax.nit:91 */
380 REGB0
= CALL_syntax___ToolContext___keep_ast(fra
.me
.REG
[1])(fra
.me
.REG
[1]);
381 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
382 if (UNTAG_Bool(REGB0
)) {
383 CALL_syntax___syntax_base___MMSrcModule___clear_ast(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
385 stack_frame_head
= fra
.me
.prev
;
388 val_t
syntax___ToolContext___keep_ast(val_t p0
){
389 struct {struct stack_frame_t me
;} fra
;
392 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
393 fra
.me
.file
= LOCATE_syntax
;
395 fra
.me
.meth
= LOCATE_syntax___ToolContext___keep_ast
;
396 fra
.me
.has_broke
= 0;
398 fra
.me
.REG
[0] = NIT_NULL
;
400 /* ./syntax//syntax.nit:96 */
401 REGB0
= TAG_Bool(ATTR_syntax___ToolContext____keep_ast(fra
.me
.REG
[0])!=NIT_NULL
);
402 if (UNTAG_Bool(REGB0
)) {
404 nit_abort("Uninitialized attribute %s", "_keep_ast", LOCATE_syntax
, 96);
406 REGB0
= ATTR_syntax___ToolContext____keep_ast(fra
.me
.REG
[0]);
407 stack_frame_head
= fra
.me
.prev
;
410 void syntax___ToolContext___keep_ast__eq(val_t p0
, val_t p1
){
411 struct {struct stack_frame_t me
;} fra
;
414 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
415 fra
.me
.file
= LOCATE_syntax
;
417 fra
.me
.meth
= LOCATE_syntax___ToolContext___keep_ast__eq
;
418 fra
.me
.has_broke
= 0;
420 fra
.me
.REG
[0] = NIT_NULL
;
423 /* ./syntax//syntax.nit:96 */
424 ATTR_syntax___ToolContext____keep_ast(fra
.me
.REG
[0]) = REGB0
;
425 stack_frame_head
= fra
.me
.prev
;