/* This C file is generated by NIT to compile module virtualtype. */
#include "virtualtype._sep.h"
val_t virtualtype___MMGlobalProperty___is_virtual_type(val_t self) {
- struct trace_t trace = {NULL, LOCATE_virtualtype, 24, LOCATE_virtualtype___MMGlobalProperty___is_virtual_type};
+ struct trace_t trace = {NULL, NULL, 24, LOCATE_virtualtype___MMGlobalProperty___is_virtual_type};
val_t variable0;
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*/;
goto return_label0;
return variable0;
}
val_t virtualtype___MMTypeProperty___stype_for(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_virtualtype, 31, LOCATE_virtualtype___MMTypeProperty___stype_for};
+ struct trace_t trace = {NULL, NULL, 31, LOCATE_virtualtype___MMTypeProperty___stype_for};
val_t variable0;
val_t variable1;
val_t variable2;
val_t variable3;
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*/;
return variable1;
}
val_t virtualtype___MMTypeProperty___real_stype_for(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_virtualtype, 42, LOCATE_virtualtype___MMTypeProperty___real_stype_for};
+ struct trace_t trace = {NULL, NULL, 42, LOCATE_virtualtype___MMTypeProperty___real_stype_for};
val_t variable0;
val_t variable1;
val_t variable2;
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::==*/)))));
return variable1;
}
val_t virtualtype___MMVirtualType___property(val_t self) {
- struct trace_t trace = {NULL, LOCATE_virtualtype, 58, LOCATE_virtualtype___MMVirtualType___property};
+ 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, LOCATE_virtualtype, 61, LOCATE_virtualtype___MMVirtualType___recv};
+ 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, LOCATE_virtualtype, 64, LOCATE_virtualtype___MMVirtualType___init};
+ struct trace_t trace = {NULL, NULL, 64, LOCATE_virtualtype___MMVirtualType___init};
val_t variable0;
val_t variable1;
val_t variable2;
val_t variable3;
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;
return;
}
val_t virtualtype___MMVirtualType___module(val_t self) {
- struct trace_t trace = {NULL, LOCATE_virtualtype, 71, LOCATE_virtualtype___MMVirtualType___module};
+ struct trace_t trace = {NULL, NULL, 71, LOCATE_virtualtype___MMVirtualType___module};
val_t variable0;
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*/;
goto return_label4;
return variable0;
}
val_t virtualtype___MMVirtualType___for_module(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_virtualtype, 73, LOCATE_virtualtype___MMVirtualType___for_module};
+ struct trace_t trace = {NULL, NULL, 73, LOCATE_virtualtype___MMVirtualType___for_module};
val_t variable0;
val_t variable1;
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::==*/)))));
return variable1;
}
val_t virtualtype___MMVirtualType___not_for_self(val_t self) {
- struct trace_t trace = {NULL, LOCATE_virtualtype, 79, LOCATE_virtualtype___MMVirtualType___not_for_self};
+ struct trace_t trace = {NULL, NULL, 79, LOCATE_virtualtype___MMVirtualType___not_for_self};
val_t variable0;
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*/;
goto return_label6;
return variable0;
}
val_t virtualtype___MMVirtualType___adapt_to(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_virtualtype, 84, LOCATE_virtualtype___MMVirtualType___adapt_to};
+ struct trace_t trace = {NULL, NULL, 84, LOCATE_virtualtype___MMVirtualType___adapt_to};
val_t variable0;
val_t variable1;
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*/;
return variable1;
}
val_t virtualtype___MMLocalClass___virtual_type(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_virtualtype, 91, LOCATE_virtualtype___MMLocalClass___virtual_type};
+ struct trace_t trace = {NULL, NULL, 91, LOCATE_virtualtype___MMLocalClass___virtual_type};
val_t variable0;
val_t variable1;
val_t variable2;
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;
return variable1;
}
val_t virtualtype___MMLocalClass___select_virtual_type(val_t self, val_t param0) {
- struct trace_t trace = {NULL, LOCATE_virtualtype, 100, LOCATE_virtualtype___MMLocalClass___select_virtual_type};
+ 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;
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);}