#include "virtualtype._sep.h"
val_t virtualtype___MMGlobalProperty___is_virtual_type(val_t self) {
struct trace_t trace = {NULL, NULL, 24, LOCATE_virtualtype___MMGlobalProperty___is_virtual_type};
- val_t variable0;
+ val_t variable[3];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
trace.file = LOCATE_virtualtype;
- variable0 = ((abstractmetamodel___MMGlobalProperty___intro_t)CALL( self,COLOR_abstractmetamodel___MMGlobalProperty___intro))( self) /*MMGlobalProperty::intro*/;
- variable0 = TAG_Bool((variable0==NIT_NULL) || VAL_ISA(variable0, COLOR_MMTypeProperty, ID_MMTypeProperty)) /*cast MMTypeProperty*/;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Method return value and escape marker */
+ /* Register variable[2]: Result */
+ variable[2] = CALL_abstractmetamodel___MMGlobalProperty___intro(variable[0])(variable[0]) /*MMGlobalProperty::intro*/;
+ /* Register variable[2]: Result */
+ variable[2] = TAG_Bool((variable[2]==NIT_NULL) || VAL_ISA(variable[2], COLOR_MMTypeProperty, ID_MMTypeProperty)) /*cast MMTypeProperty*/;
+ variable[1] = variable[2];
goto return_label0;
return_label0: while(false);
tracehead = trace.prev;
- return variable0;
+ return variable[1];
}
val_t virtualtype___MMTypeProperty___stype_for(val_t self, val_t param0) {
struct trace_t trace = {NULL, NULL, 31, LOCATE_virtualtype___MMTypeProperty___stype_for};
- val_t variable0;
- val_t variable1;
- val_t variable2;
- val_t variable3;
+ val_t variable[6];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
trace.file = LOCATE_virtualtype;
- variable0 = param0;
- variable2 = ((static_type___MMType___local_class_t)CALL( variable0 /*recv*/,COLOR_static_type___MMType___local_class))( variable0 /*recv*/) /*MMType::local_class*/;
- variable3 = ((abstractmetamodel___MMLocalProperty___global_t)CALL( self,COLOR_abstractmetamodel___MMLocalProperty___global))( self) /*MMLocalProperty::global*/;
- variable2 = ((inheritance___MMLocalClass_____bra_t)CALL(variable2,COLOR_abstractmetamodel___MMLocalClass_____bra))(variable2, variable3) /*MMLocalClass::[]*/;
- variable1 = variable2;
- variable2 = TAG_Bool(( variable1 /*prop*/==NIT_NULL) || VAL_ISA( variable1 /*prop*/, COLOR_MMTypeProperty, ID_MMTypeProperty)) /*cast MMTypeProperty*/;
- if (!UNTAG_Bool(variable2)) { fprintf(stderr, "Assert%s failed", ""); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_virtualtype___MMTypeProperty___stype_for, LOCATE_virtualtype, 35); nit_exit(1);}
- variable2 = ((virtualtype___MMTypeProperty___real_stype_for_t)CALL( variable1 /*prop*/,COLOR_virtualtype___MMTypeProperty___real_stype_for))( variable1 /*prop*/, variable0 /*recv*/) /*MMTypeProperty::real_stype_for*/;
- variable1 = variable2;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Local variable */
+ variable[1] = param0;
+ /* Register variable[2]: Method return value and escape marker */
+ /* Register variable[3]: Local variable */
+ /* Register variable[4]: Result */
+ variable[4] = CALL_static_type___MMType___local_class( variable[1] /*recv*/)( variable[1] /*recv*/) /*MMType::local_class*/;
+ /* Register variable[5]: Result */
+ variable[5] = CALL_abstractmetamodel___MMLocalProperty___global(variable[0])(variable[0]) /*MMLocalProperty::global*/;
+ /* Register variable[4]: Result */
+ variable[4] = CALL_abstractmetamodel___MMLocalClass_____bra(variable[4])(variable[4], variable[5]) /*MMLocalClass::[]*/;
+ variable[3] = variable[4];
+ /* Register variable[4]: Result */
+ variable[4] = TAG_Bool(( variable[3] /*prop*/==NIT_NULL) || VAL_ISA( variable[3] /*prop*/, COLOR_MMTypeProperty, ID_MMTypeProperty)) /*cast MMTypeProperty*/;
+ if (!UNTAG_Bool(variable[4])) { fprintf(stderr, "Assert%s failed", ""); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_virtualtype___MMTypeProperty___stype_for, LOCATE_virtualtype, 35); nit_exit(1);}
+ /* Register variable[4]: Result */
+ variable[4] = CALL_virtualtype___MMTypeProperty___real_stype_for( variable[3] /*prop*/)( variable[3] /*prop*/, variable[1] /*recv*/) /*MMTypeProperty::real_stype_for*/;
+ variable[2] = variable[4];
goto return_label1;
return_label1: while(false);
tracehead = trace.prev;
- return variable1;
+ return variable[2];
}
val_t virtualtype___MMTypeProperty___real_stype_for(val_t self, val_t param0) {
struct trace_t trace = {NULL, NULL, 42, LOCATE_virtualtype___MMTypeProperty___real_stype_for};
- val_t variable0;
- val_t variable1;
- val_t variable2;
+ val_t variable[5];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
trace.file = LOCATE_virtualtype;
- variable0 = param0;
- variable1 = ((static_type___MMLocalProperty___signature_t)CALL( self,COLOR_static_type___MMLocalProperty___signature))( self) /*MMLocalProperty::signature*/;
- variable1 = TAG_Bool((variable1 == NIT_NULL /*null*/) || ((variable1 != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable1, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))(variable1, NIT_NULL /*null*/) /*Object::==*/)))));
- if (UNTAG_Bool(variable1)) { /*if*/
- variable1 = NIT_NULL /*null*/;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Local variable */
+ variable[1] = param0;
+ /* Register variable[2]: Method return value and escape marker */
+ /* Register variable[3]: Result */
+ variable[3] = CALL_static_type___MMLocalProperty___signature(variable[0])(variable[0]) /*MMLocalProperty::signature*/;
+ /* Register variable[3]: Result */
+ variable[3] = TAG_Bool((variable[3] == NIT_NULL /*null*/) || ((variable[3] != NIT_NULL) && ((CALL_kernel___Object_____eqeq(variable[3])==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[3], NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq(variable[3])(variable[3], NIT_NULL /*null*/) /*Object::==*/)))));
+ if (UNTAG_Bool(variable[3])) { /*if*/
+ variable[2] = NIT_NULL /*null*/;
goto return_label2;
}
- variable1 = ATTR_virtualtype___MMTypeProperty____stypes_cache( self) /*MMTypeProperty::_stypes_cache*/;
- variable1 = ((abstract_collection___CoupleMap___has_key_t)CALL(variable1,COLOR_abstract_collection___Map___has_key))(variable1, variable0 /*recv*/) /*CoupleMap::has_key*/;
- if (UNTAG_Bool(variable1)) { /*if*/
- variable1 = ATTR_virtualtype___MMTypeProperty____stypes_cache( self) /*MMTypeProperty::_stypes_cache*/;
- variable1 = ((abstract_collection___CoupleMap_____bra_t)CALL(variable1,COLOR_abstract_collection___Map_____bra))(variable1, variable0 /*recv*/) /*CoupleMap::[]*/;
+ /* Register variable[3]: Result */
+ variable[3] = ATTR_virtualtype___MMTypeProperty____stypes_cache(variable[0]) /*MMTypeProperty::_stypes_cache*/;
+ /* Register variable[3]: Result */
+ variable[3] = CALL_abstract_collection___MapRead___has_key(variable[3])(variable[3], variable[1] /*recv*/) /*CoupleMap::has_key*/;
+ if (UNTAG_Bool(variable[3])) { /*if*/
+ /* Register variable[3]: Result */
+ variable[3] = ATTR_virtualtype___MMTypeProperty____stypes_cache(variable[0]) /*MMTypeProperty::_stypes_cache*/;
+ /* Register variable[3]: Result */
+ variable[3] = CALL_abstract_collection___MapRead_____bra(variable[3])(variable[3], variable[1] /*recv*/) /*CoupleMap::[]*/;
+ variable[2] = variable[3];
goto return_label2;
}
- variable2 = NEW_virtualtype___MMVirtualType___init( self, variable0 /*recv*/); /*new MMVirtualType*/
- variable1 = variable2;
- variable2 = ATTR_virtualtype___MMTypeProperty____stypes_cache( self) /*MMTypeProperty::_stypes_cache*/;
- ((hash___HashMap_____braeq_t)CALL(variable2,COLOR_abstract_collection___Map_____braeq))(variable2, variable0 /*recv*/, variable1 /*res*/) /*HashMap::[]=*/;
- variable1 = variable1 /*res*/;
+ /* Register variable[3]: Local variable */
+ /* Register variable[4]: Result */
+ variable[4] = NEW_MMVirtualType_virtualtype___MMVirtualType___init(variable[0], variable[1] /*recv*/) /*new MMVirtualType*/;
+ variable[3] = variable[4];
+ /* Register variable[4]: Result */
+ variable[4] = ATTR_virtualtype___MMTypeProperty____stypes_cache(variable[0]) /*MMTypeProperty::_stypes_cache*/;
+ CALL_abstract_collection___Map_____braeq(variable[4])(variable[4], variable[1] /*recv*/, variable[3] /*res*/) /*HashMap::[]=*/;
+ variable[2] = variable[3] /*res*/;
goto return_label2;
return_label2: while(false);
tracehead = trace.prev;
- return variable1;
+ return variable[2];
}
-val_t virtualtype___MMVirtualType___property(val_t self) {
- struct trace_t trace = {NULL, NULL, 58, LOCATE_virtualtype___MMVirtualType___property};
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_virtualtype;
- tracehead = trace.prev;
- return ATTR_virtualtype___MMVirtualType____property( self) /*MMVirtualType::_property*/;
-}
-val_t virtualtype___MMVirtualType___recv(val_t self) {
- struct trace_t trace = {NULL, NULL, 61, LOCATE_virtualtype___MMVirtualType___recv};
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_virtualtype;
- tracehead = trace.prev;
- return ATTR_virtualtype___MMVirtualType____recv( self) /*MMVirtualType::_recv*/;
-}
-void virtualtype___MMVirtualType___init(val_t self, val_t param0, val_t param1, int* init_table) {
- struct trace_t trace = {NULL, NULL, 64, LOCATE_virtualtype___MMVirtualType___init};
- val_t variable0;
- val_t variable1;
- val_t variable2;
- val_t variable3;
+val_t virtualtype___MMVirtualType___module(val_t self) {
+ struct trace_t trace = {NULL, NULL, 71, LOCATE_virtualtype___MMVirtualType___module};
+ val_t variable[3];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
trace.file = LOCATE_virtualtype;
- variable0 = param0;
- variable1 = param1;
- if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_MMVirtualType].i]) return;
- variable2 = ((abstractmetamodel___MMLocalProperty___name_t)CALL( variable0 /*p*/,COLOR_abstractmetamodel___MMLocalProperty___name))( variable0 /*p*/) /*MMLocalProperty::name*/;
- variable3 = ((static_type___MMLocalProperty___signature_for_t)CALL( variable0 /*p*/,COLOR_static_type___MMLocalProperty___signature_for))( variable0 /*p*/, variable1 /*recv*/) /*MMLocalProperty::signature_for*/;
- variable3 = ((static_type___MMSignature___return_type_t)CALL(variable3,COLOR_static_type___MMSignature___return_type))(variable3) /*MMSignature::return_type*/;
- ((type_formal___MMTypeFormal___init_t)CALL( self,COLOR_type_formal___MMTypeFormal___init))( self, variable2, variable3, init_table /*YYY*/) /*MMTypeFormal::init*/;
- ATTR_virtualtype___MMVirtualType____property( self) /*MMVirtualType::_property*/ = variable0 /*p*/;
- ATTR_virtualtype___MMVirtualType____recv( self) /*MMVirtualType::_recv*/ = variable1 /*recv*/;
- init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_MMVirtualType].i] = 1;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Method return value and escape marker */
+ /* Register variable[2]: Result */
+ variable[2] = ATTR_virtualtype___MMVirtualType____recv(variable[0]) /*MMVirtualType::_recv*/;
+ /* Register variable[2]: Result */
+ variable[2] = CALL_static_type___MMType___module(variable[2])(variable[2]) /*MMType::module*/;
+ variable[1] = variable[2];
+ goto return_label3;
+ return_label3: while(false);
tracehead = trace.prev;
- return;
+ return variable[1];
}
-val_t virtualtype___MMVirtualType___module(val_t self) {
- struct trace_t trace = {NULL, NULL, 71, LOCATE_virtualtype___MMVirtualType___module};
- val_t variable0;
+val_t virtualtype___MMVirtualType___for_module(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 73, LOCATE_virtualtype___MMVirtualType___for_module};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
trace.file = LOCATE_virtualtype;
- variable0 = ATTR_virtualtype___MMVirtualType____recv( self) /*MMVirtualType::_recv*/;
- variable0 = ((static_type___MMType___module_t)CALL(variable0,COLOR_static_type___MMType___module))(variable0) /*MMType::module*/;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Local variable */
+ variable[1] = param0;
+ /* Register variable[2]: Method return value and escape marker */
+ /* Register variable[3]: Result */
+ variable[3] = CALL_static_type___MMType___module(variable[0])(variable[0]) /*MMVirtualType::module*/;
+ /* Register variable[3]: Result */
+ variable[3] = TAG_Bool(( variable[1] /*mod*/ == variable[3]) || (( variable[1] /*mod*/ != NIT_NULL) && ((CALL_kernel___Object_____eqeq( variable[1] /*mod*/)==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[1] /*mod*/,variable[3])):(UNTAG_Bool(CALL_kernel___Object_____eqeq( variable[1] /*mod*/)( variable[1] /*mod*/, variable[3]) /*Object::==*/)))));
+ if (UNTAG_Bool(variable[3])) { /*if*/
+ variable[2] = variable[0];
+ goto return_label4;
+ }
+ /* Register variable[3]: Result */
+ variable[3] = CALL_virtualtype___MMVirtualType___recv(variable[0])(variable[0]) /*MMVirtualType::recv*/;
+ /* Register variable[3]: Result */
+ variable[3] = CALL_static_type___MMType___for_module(variable[3])(variable[3], variable[1] /*mod*/) /*MMType::for_module*/;
+ /* Register variable[3]: Result */
+ variable[3] = CALL_static_type___MMType___adapt_to(variable[0])(variable[0], variable[3]) /*MMVirtualType::adapt_to*/;
+ variable[2] = variable[3];
goto return_label4;
return_label4: while(false);
tracehead = trace.prev;
- return variable0;
+ return variable[2];
}
-val_t virtualtype___MMVirtualType___for_module(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 73, LOCATE_virtualtype___MMVirtualType___for_module};
- val_t variable0;
- val_t variable1;
+val_t virtualtype___MMVirtualType___adapt_to(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 84, LOCATE_virtualtype___MMVirtualType___adapt_to};
+ val_t variable[4];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
trace.file = LOCATE_virtualtype;
- variable0 = param0;
- variable1 = ((virtualtype___MMVirtualType___module_t)CALL( self,COLOR_static_type___MMType___module))( self) /*MMVirtualType::module*/;
- variable1 = TAG_Bool(( variable0 /*mod*/ == variable1) || (( variable0 /*mod*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable0 /*mod*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable0 /*mod*/,variable1)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable0 /*mod*/,COLOR_kernel___Object_____eqeq))( variable0 /*mod*/, variable1) /*Object::==*/)))));
- if (UNTAG_Bool(variable1)) { /*if*/
- variable1 = self;
- goto return_label5;
- }
- variable1 = ((virtualtype___MMVirtualType___recv_t)CALL( self,COLOR_virtualtype___MMVirtualType___recv))( self) /*MMVirtualType::recv*/;
- variable1 = ((static_type___MMType___for_module_t)CALL(variable1,COLOR_static_type___MMType___for_module))(variable1, variable0 /*mod*/) /*MMType::for_module*/;
- variable1 = ((virtualtype___MMVirtualType___adapt_to_t)CALL( self,COLOR_static_type___MMType___adapt_to))( self, variable1) /*MMVirtualType::adapt_to*/;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Local variable */
+ variable[1] = param0;
+ /* Register variable[2]: Method return value and escape marker */
+ /* Register variable[3]: Result */
+ variable[3] = CALL_virtualtype___MMVirtualType___property(variable[0])(variable[0]) /*MMVirtualType::property*/;
+ /* Register variable[3]: Result */
+ variable[3] = CALL_virtualtype___MMTypeProperty___stype_for(variable[3])(variable[3], variable[1] /*recv*/) /*MMTypeProperty::stype_for*/;
+ variable[2] = variable[3];
goto return_label5;
return_label5: while(false);
tracehead = trace.prev;
- return variable1;
+ return variable[2];
}
val_t virtualtype___MMVirtualType___not_for_self(val_t self) {
struct trace_t trace = {NULL, NULL, 79, LOCATE_virtualtype___MMVirtualType___not_for_self};
- val_t variable0;
+ val_t variable[3];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
trace.file = LOCATE_virtualtype;
- variable0 = ((type_formal___MMTypeFormal___bound_t)CALL( self,COLOR_type_formal___MMTypeFormal___bound))( self) /*MMTypeFormal::bound*/;
- variable0 = ((static_type___MMType___not_for_self_t)CALL(variable0,COLOR_static_type___MMType___not_for_self))(variable0) /*MMType::not_for_self*/;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Method return value and escape marker */
+ /* Register variable[2]: Result */
+ variable[2] = CALL_type_formal___MMTypeFormal___bound(variable[0])(variable[0]) /*MMTypeFormal::bound*/;
+ /* Register variable[2]: Result */
+ variable[2] = CALL_static_type___MMType___not_for_self(variable[2])(variable[2]) /*MMType::not_for_self*/;
+ variable[1] = variable[2];
goto return_label6;
return_label6: while(false);
tracehead = trace.prev;
- return variable0;
+ return variable[1];
}
-val_t virtualtype___MMVirtualType___adapt_to(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 84, LOCATE_virtualtype___MMVirtualType___adapt_to};
- val_t variable0;
- val_t variable1;
+val_t virtualtype___MMVirtualType___property(val_t self) {
+ struct trace_t trace = {NULL, NULL, 58, LOCATE_virtualtype___MMVirtualType___property};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_virtualtype;
+ tracehead = trace.prev;
+ return ATTR_virtualtype___MMVirtualType____property( self) /*MMVirtualType::_property*/;
+}
+val_t virtualtype___MMVirtualType___recv(val_t self) {
+ struct trace_t trace = {NULL, NULL, 61, LOCATE_virtualtype___MMVirtualType___recv};
+ val_t *variable = NULL;
+ struct WBT_ **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_virtualtype;
+ tracehead = trace.prev;
+ return ATTR_virtualtype___MMVirtualType____recv( self) /*MMVirtualType::_recv*/;
+}
+void virtualtype___MMVirtualType___init(val_t self, val_t param0, val_t param1, int* init_table) {
+ struct trace_t trace = {NULL, NULL, 64, LOCATE_virtualtype___MMVirtualType___init};
+ val_t variable[6];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
trace.file = LOCATE_virtualtype;
- variable0 = param0;
- variable1 = ((virtualtype___MMVirtualType___property_t)CALL( self,COLOR_virtualtype___MMVirtualType___property))( self) /*MMVirtualType::property*/;
- variable1 = ((virtualtype___MMTypeProperty___stype_for_t)CALL(variable1,COLOR_virtualtype___MMTypeProperty___stype_for))(variable1, variable0 /*recv*/) /*MMTypeProperty::stype_for*/;
- goto return_label7;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Local variable */
+ variable[1] = param0;
+ /* Register variable[2]: Local variable */
+ variable[2] = param1;
+ if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_MMVirtualType].i]) return;
+ /* Register variable[3]: Method return value and escape marker */
+ /* Register variable[4]: Result */
+ variable[4] = CALL_abstractmetamodel___MMLocalProperty___name( variable[1] /*p*/)( variable[1] /*p*/) /*MMLocalProperty::name*/;
+ /* Register variable[5]: Result */
+ variable[5] = CALL_static_type___MMLocalProperty___signature_for( variable[1] /*p*/)( variable[1] /*p*/, variable[2] /*recv*/) /*MMLocalProperty::signature_for*/;
+ /* Register variable[5]: Result */
+ variable[5] = CALL_static_type___MMSignature___return_type(variable[5])(variable[5]) /*MMSignature::return_type*/;
+ CALL_type_formal___MMTypeFormal___init(variable[0])(variable[0], variable[4], variable[5], init_table /*YYY*/) /*MMTypeFormal::init*/;
+ ATTR_virtualtype___MMVirtualType____property(variable[0]) /*MMVirtualType::_property*/ = variable[1] /*p*/;
+ ATTR_virtualtype___MMVirtualType____recv(variable[0]) /*MMVirtualType::_recv*/ = variable[2] /*recv*/;
return_label7: while(false);
+ init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_MMVirtualType].i] = 1;
tracehead = trace.prev;
- return variable1;
+ return;
}
val_t virtualtype___MMLocalClass___virtual_type(val_t self, val_t param0) {
struct trace_t trace = {NULL, NULL, 91, LOCATE_virtualtype___MMLocalClass___virtual_type};
- val_t variable0;
- val_t variable1;
- val_t variable2;
+ val_t variable[5];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
trace.file = LOCATE_virtualtype;
- variable0 = param0;
- variable2 = ((abstractmetamodel___MMLocalClass___get_property_by_name_t)CALL( self,COLOR_abstractmetamodel___MMLocalClass___get_property_by_name))( self, variable0 /*s*/) /*MMLocalClass::get_property_by_name*/;
- variable1 = variable2;
- variable2 = ((virtualtype___MMGlobalProperty___is_virtual_type_t)CALL( variable1 /*prop*/,COLOR_virtualtype___MMGlobalProperty___is_virtual_type))( variable1 /*prop*/) /*MMGlobalProperty::is_virtual_type*/;
- if (UNTAG_Bool(variable2)) { /*if*/
- variable1 = variable1 /*prop*/;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Local variable */
+ variable[1] = param0;
+ /* Register variable[2]: Method return value and escape marker */
+ /* Register variable[3]: Local variable */
+ /* Register variable[4]: Result */
+ variable[4] = CALL_abstractmetamodel___MMLocalClass___get_property_by_name(variable[0])(variable[0], variable[1] /*s*/) /*MMLocalClass::get_property_by_name*/;
+ variable[3] = variable[4];
+ /* Register variable[4]: Result */
+ variable[4] = CALL_virtualtype___MMGlobalProperty___is_virtual_type( variable[3] /*prop*/)( variable[3] /*prop*/) /*MMGlobalProperty::is_virtual_type*/;
+ if (UNTAG_Bool(variable[4])) { /*if*/
+ variable[2] = variable[3] /*prop*/;
goto return_label8;
}
- variable1 = NIT_NULL /*null*/;
+ variable[2] = NIT_NULL /*null*/;
goto return_label8;
return_label8: while(false);
tracehead = trace.prev;
- return variable1;
+ return variable[2];
}
val_t virtualtype___MMLocalClass___select_virtual_type(val_t self, val_t param0) {
struct trace_t trace = {NULL, NULL, 100, LOCATE_virtualtype___MMLocalClass___select_virtual_type};
- val_t variable0;
- val_t variable1;
- val_t variable2;
- val_t variable3;
+ val_t variable[6];
+ struct WBT_ **closurevariable = NULL;
trace.prev = tracehead; tracehead = &trace;
trace.file = LOCATE_virtualtype;
- variable0 = param0;
- variable1 = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable0 /*name*/ == NIT_NULL /*null*/) || (( variable0 /*name*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable0 /*name*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable0 /*name*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable0 /*name*/,COLOR_kernel___Object_____eqeq))( variable0 /*name*/, NIT_NULL /*null*/) /*Object::==*/)))))));
- if (!UNTAG_Bool(variable1)) { fprintf(stderr, "Assert%s failed", ""); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_virtualtype___MMLocalClass___select_virtual_type, LOCATE_virtualtype, 103); nit_exit(1);}
- variable2 = ((virtualtype___MMLocalClass___virtual_type_t)CALL( self,COLOR_virtualtype___MMLocalClass___virtual_type))( self, variable0 /*name*/) /*MMLocalClass::virtual_type*/;
- variable1 = variable2;
- variable2 = TAG_Bool(( variable1 /*gp*/ == NIT_NULL /*null*/) || (( variable1 /*gp*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable1 /*gp*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable1 /*gp*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable1 /*gp*/,COLOR_kernel___Object_____eqeq))( variable1 /*gp*/, NIT_NULL /*null*/) /*Object::==*/)))));
- if (UNTAG_Bool(variable2)) { /*if*/
- variable1 = NIT_NULL /*null*/;
+ /* Register variable[0]: Local variable */
+ variable[0] = self;
+ /* Register variable[1]: Local variable */
+ variable[1] = param0;
+ /* Register variable[2]: Method return value and escape marker */
+ /* Register variable[3]: Result */
+ variable[3] = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable[1] /*name*/ == NIT_NULL /*null*/) || (( variable[1] /*name*/ != NIT_NULL) && ((CALL_kernel___Object_____eqeq( variable[1] /*name*/)==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[1] /*name*/, NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq( variable[1] /*name*/)( variable[1] /*name*/, NIT_NULL /*null*/) /*Object::==*/)))))));
+ if (!UNTAG_Bool(variable[3])) { fprintf(stderr, "Assert%s failed", ""); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_virtualtype___MMLocalClass___select_virtual_type, LOCATE_virtualtype, 103); nit_exit(1);}
+ /* Register variable[3]: Local variable */
+ /* Register variable[4]: Result */
+ variable[4] = CALL_virtualtype___MMLocalClass___virtual_type(variable[0])(variable[0], variable[1] /*name*/) /*MMLocalClass::virtual_type*/;
+ variable[3] = variable[4];
+ /* Register variable[4]: Result */
+ variable[4] = TAG_Bool(( variable[3] /*gp*/ == NIT_NULL /*null*/) || (( variable[3] /*gp*/ != NIT_NULL) && ((CALL_kernel___Object_____eqeq( variable[3] /*gp*/)==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[3] /*gp*/, NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq( variable[3] /*gp*/)( variable[3] /*gp*/, NIT_NULL /*null*/) /*Object::==*/)))));
+ if (UNTAG_Bool(variable[4])) { /*if*/
+ variable[2] = NIT_NULL /*null*/;
goto return_label9;
}
- variable3 = ((inheritance___MMLocalClass_____bra_t)CALL( self,COLOR_abstractmetamodel___MMLocalClass_____bra))( self, variable1 /*gp*/) /*MMLocalClass::[]*/;
- variable2 = variable3;
- variable3 = TAG_Bool(( variable2 /*res*/==NIT_NULL) || VAL_ISA( variable2 /*res*/, COLOR_MMTypeProperty, ID_MMTypeProperty)) /*cast MMTypeProperty*/;
- if (!UNTAG_Bool(variable3)) { fprintf(stderr, "Assert%s failed", ""); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_virtualtype___MMLocalClass___select_virtual_type, LOCATE_virtualtype, 107); nit_exit(1);}
- variable1 = variable2 /*res*/;
+ /* Register variable[4]: Local variable */
+ /* Register variable[5]: Result */
+ variable[5] = CALL_abstractmetamodel___MMLocalClass_____bra(variable[0])(variable[0], variable[3] /*gp*/) /*MMLocalClass::[]*/;
+ variable[4] = variable[5];
+ /* Register variable[5]: Result */
+ variable[5] = TAG_Bool(( variable[4] /*res*/==NIT_NULL) || VAL_ISA( variable[4] /*res*/, COLOR_MMTypeProperty, ID_MMTypeProperty)) /*cast MMTypeProperty*/;
+ if (!UNTAG_Bool(variable[5])) { fprintf(stderr, "Assert%s failed", ""); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_virtualtype___MMLocalClass___select_virtual_type, LOCATE_virtualtype, 107); nit_exit(1);}
+ variable[2] = variable[4] /*res*/;
goto return_label9;
return_label9: while(false);
tracehead = trace.prev;
- return variable1;
+ return variable[2];
}