1 #include "frontend.sep.0.h"
2 /* method frontend#ToolContext#dummy for (self: ToolContext): Bool */
3 short int frontend__ToolContext__dummy(val
* self
) {
4 short int var
/* : Bool */;
5 short int var1
/* : Bool */;
6 var1
= self
->attrs
[COLOR_frontend__ToolContext___64ddummy
].s
; /* @dummy on <self:ToolContext> */
11 /* method frontend#ToolContext#dummy for (self: Object): Bool */
12 short int VIRTUAL_frontend__ToolContext__dummy(val
* self
) {
13 short int var
/* : Bool */;
14 short int var1
/* : Bool */;
15 var1
= frontend__ToolContext__dummy(self
);
20 /* method frontend#ToolContext#dummy= for (self: ToolContext, Bool) */
21 void frontend__ToolContext__dummy_61d(val
* self
, short int p0
) {
22 self
->attrs
[COLOR_frontend__ToolContext___64ddummy
].s
= p0
; /* @dummy on <self:ToolContext> */
25 /* method frontend#ToolContext#dummy= for (self: Object, Bool) */
26 void VIRTUAL_frontend__ToolContext__dummy_61d(val
* self
, short int p0
) {
27 frontend__ToolContext__dummy_61d(self
, p0
);
30 /* method frontend#ToolContext#do_dummy for (self: ToolContext): Bool */
31 short int frontend__ToolContext__do_dummy(val
* self
) {
32 short int var
/* : Bool */;
33 val
* var1
/* : POSet[Phase] */;
34 val
* var2
/* : Phase */;
35 val
* var3
/* : Phase */;
36 val
* var4
/* : POSet[Phase] */;
37 val
* var5
/* : Phase */;
38 val
* var6
/* : Phase */;
39 short int var7
/* : Bool */;
40 var1
= ((val
* (*)(val
*))(self
->class->vft
[COLOR_phase__ToolContext__phases
]))(self
) /* phases on <self:ToolContext>*/;
41 var2
= ((val
* (*)(val
*))(self
->class->vft
[COLOR_simple_misc_analysis__ToolContext__simple_misc_analysis_phase
]))(self
) /* simple_misc_analysis_phase on <self:ToolContext>*/;
42 var3
= ((val
* (*)(val
*))(self
->class->vft
[COLOR_modelize_property__ToolContext__modelize_property_phase
]))(self
) /* modelize_property_phase on <self:ToolContext>*/;
43 ((void (*)(val
*, val
*, val
*))(var1
->class->vft
[COLOR_poset__POSet__add_edge
]))(var1
, var2
, var3
) /* add_edge on <var1:POSet[Phase]>*/;
44 var4
= ((val
* (*)(val
*))(self
->class->vft
[COLOR_phase__ToolContext__phases
]))(self
) /* phases on <self:ToolContext>*/;
45 var5
= ((val
* (*)(val
*))(self
->class->vft
[COLOR_scope__ToolContext__scope_phase
]))(self
) /* scope_phase on <self:ToolContext>*/;
46 var6
= ((val
* (*)(val
*))(self
->class->vft
[COLOR_simple_misc_analysis__ToolContext__simple_misc_analysis_phase
]))(self
) /* simple_misc_analysis_phase on <self:ToolContext>*/;
47 ((void (*)(val
*, val
*, val
*))(var4
->class->vft
[COLOR_poset__POSet__add_edge
]))(var4
, var5
, var6
) /* add_edge on <var4:POSet[Phase]>*/;
54 /* method frontend#ToolContext#do_dummy for (self: Object): Bool */
55 short int VIRTUAL_frontend__ToolContext__do_dummy(val
* self
) {
56 short int var
/* : Bool */;
57 short int var1
/* : Bool */;
58 var1
= frontend__ToolContext__do_dummy(self
);
63 /* method frontend#ToolContext#run_global_phases for (self: ToolContext, MModule) */
64 void frontend__ToolContext__run_global_phases(val
* self
, val
* p0
) {
65 val
* var_mainmodule
/* var mainmodule: MModule */;
66 val
* var
/* : Sequence[Phase] */;
67 val
* var1
/* : Iterator[nullable Object] */;
68 short int var2
/* : Bool */;
69 val
* var3
/* : nullable Object */;
70 val
* var_phase
/* var phase: Phase */;
72 var
= ((val
* (*)(val
*))(self
->class->vft
[COLOR_phase__ToolContext__phases_list
]))(self
) /* phases_list on <self:ToolContext>*/;
73 var1
= ((val
* (*)(val
*))(var
->class->vft
[COLOR_abstract_collection__Collection__iterator
]))(var
) /* iterator on <var:Sequence[Phase]>*/;
75 var2
= ((short int (*)(val
*))(var1
->class->vft
[COLOR_abstract_collection__Iterator__is_ok
]))(var1
) /* is_ok on <var1:Iterator[nullable Object]>*/;
77 var3
= ((val
* (*)(val
*))(var1
->class->vft
[COLOR_abstract_collection__Iterator__item
]))(var1
) /* item on <var1:Iterator[nullable Object]>*/;
79 ((void (*)(val
*, val
*))(var_phase
->class->vft
[COLOR_frontend__Phase__process_mainmodule
]))(var_phase
, var_mainmodule
) /* process_mainmodule on <var_phase:Phase>*/;
80 CONTINUE_label
: (void)0;
81 ((void (*)(val
*))(var1
->class->vft
[COLOR_abstract_collection__Iterator__next
]))(var1
) /* next on <var1:Iterator[nullable Object]>*/;
86 /* method frontend#ToolContext#run_global_phases for (self: Object, MModule) */
87 void VIRTUAL_frontend__ToolContext__run_global_phases(val
* self
, val
* p0
) {
88 frontend__ToolContext__run_global_phases(self
, p0
);
91 /* method frontend#Phase#process_mainmodule for (self: Phase, MModule) */
92 void frontend__Phase__process_mainmodule(val
* self
, val
* p0
) {
93 val
* var_mainmodule
/* var mainmodule: MModule */;
97 /* method frontend#Phase#process_mainmodule for (self: Object, MModule) */
98 void VIRTUAL_frontend__Phase__process_mainmodule(val
* self
, val
* p0
) {
99 frontend__Phase__process_mainmodule(self
, p0
);