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 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]>*/;
  48 var7 = 1;
  49 var = var7;
  50 goto RET_LABEL;
  51 RET_LABEL:;
  52 return var;
  53 }
  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);
  59 var = var1;
  60 RET_LABEL:;
  61 return var;
  62 }
  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 */;
  71 var_mainmodule = p0;
  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]>*/;
  74 for(;;) {
  75 var2 = ((short int (*)(val*))(var1->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var1) /* is_ok on <var1:Iterator[nullable Object]>*/;
  76 if(!var2) break;
  77 var3 = ((val* (*)(val*))(var1->class->vft[COLOR_abstract_collection__Iterator__item]))(var1) /* item on <var1:Iterator[nullable Object]>*/;
  78 var_phase = var3;
  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]>*/;
  82 }
  83 BREAK_label: (void)0;
  84 RET_LABEL:;
  85 }
  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);
  89 RET_LABEL:;
  90 }
  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 */;
  94 var_mainmodule = p0;
  95 RET_LABEL:;
  96 }
  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);
 100 RET_LABEL:;
 101 }