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 val
* var7
/* : POSet[Phase] */;
40 val
* var8
/* : Phase */;
41 val
* var9
/* : Phase */;
42 short int var10
/* : Bool */;
43 var1
= ((val
* (*)(val
*))(self
->class->vft
[COLOR_phase__ToolContext__phases
]))(self
) /* phases on <self:ToolContext>*/;
44 var2
= ((val
* (*)(val
*))(self
->class->vft
[COLOR_simple_misc_analysis__ToolContext__simple_misc_analysis_phase
]))(self
) /* simple_misc_analysis_phase on <self:ToolContext>*/;
45 var3
= ((val
* (*)(val
*))(self
->class->vft
[COLOR_modelize_property__ToolContext__modelize_property_phase
]))(self
) /* modelize_property_phase on <self:ToolContext>*/;
46 ((void (*)(val
*, val
*, val
*))(var1
->class->vft
[COLOR_poset__POSet__add_edge
]))(var1
, var2
, var3
) /* add_edge on <var1:POSet[Phase]>*/;
47 var4
= ((val
* (*)(val
*))(self
->class->vft
[COLOR_phase__ToolContext__phases
]))(self
) /* phases on <self:ToolContext>*/;
48 var5
= ((val
* (*)(val
*))(self
->class->vft
[COLOR_scope__ToolContext__scope_phase
]))(self
) /* scope_phase on <self:ToolContext>*/;
49 var6
= ((val
* (*)(val
*))(self
->class->vft
[COLOR_simple_misc_analysis__ToolContext__simple_misc_analysis_phase
]))(self
) /* simple_misc_analysis_phase on <self:ToolContext>*/;
50 ((void (*)(val
*, val
*, val
*))(var4
->class->vft
[COLOR_poset__POSet__add_edge
]))(var4
, var5
, var6
) /* add_edge on <var4:POSet[Phase]>*/;
51 var7
= ((val
* (*)(val
*))(self
->class->vft
[COLOR_phase__ToolContext__phases
]))(self
) /* phases on <self:ToolContext>*/;
52 var8
= ((val
* (*)(val
*))(self
->class->vft
[COLOR_literal__ToolContext__literal_phase
]))(self
) /* literal_phase on <self:ToolContext>*/;
53 var9
= ((val
* (*)(val
*))(self
->class->vft
[COLOR_serialization_phase__ToolContext__serialization_phase
]))(self
) /* serialization_phase on <self:ToolContext>*/;
54 ((void (*)(val
*, val
*, val
*))(var7
->class->vft
[COLOR_poset__POSet__add_edge
]))(var7
, var8
, var9
) /* add_edge on <var7:POSet[Phase]>*/;
61 /* method frontend#ToolContext#do_dummy for (self: Object): Bool */
62 short int VIRTUAL_frontend__ToolContext__do_dummy(val
* self
) {
63 short int var
/* : Bool */;
64 short int var1
/* : Bool */;
65 var1
= frontend__ToolContext__do_dummy(self
);