c_src/frontend.sep.1.c

   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> */
   7 var = var1;
   8 RET_LABEL:;
   9 return var;
  10 }
  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);
  16 var = var1;
  17 RET_LABEL:;
  18 return var;
  19 }
  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> */
  23 RET_LABEL:;
  24 }
  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);
  28 RET_LABEL:;
  29 }
  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]>*/;
  55 var10 = 1;
  56 var = var10;
  57 goto RET_LABEL;
  58 RET_LABEL:;
  59 return var;
  60 }
  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);
  66 var = var1;
  67 RET_LABEL:;
  68 return var;
  69 }