/* 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, "virtualtype::MMGlobalProperty::is_virtual_type (src/metamodel//virtualtype.nit:24,2--25:62)"};
+ struct trace_t trace = {NULL, LOCATE_virtualtype___MMGlobalProperty___is_virtual_type, 24};
val_t variable0;
trace.prev = tracehead; tracehead = &trace;
variable0 = ((abstractmetamodel___MMGlobalProperty___intro_t)CALL( self,COLOR_abstractmetamodel___MMGlobalProperty___intro))( self) /*MMGlobalProperty::intro*/;
return variable0;
}
val_t virtualtype___MMTypeProperty___inherit_to(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "virtualtype::MMTypeProperty::inherit_to (src/metamodel//virtualtype.nit:31,2--33:35)"};
+ struct trace_t trace = {NULL, LOCATE_virtualtype___MMTypeProperty___inherit_to, 31};
val_t variable0;
val_t variable1;
trace.prev = tracehead; tracehead = &trace;
return variable1;
}
val_t virtualtype___MMTypeProperty___stype(val_t self) {
- struct trace_t trace = {NULL, "virtualtype::MMTypeProperty::stype (src/metamodel//virtualtype.nit:39,2--50:10)"};
+ struct trace_t trace = {NULL, LOCATE_virtualtype___MMTypeProperty___stype, 39};
val_t variable0;
val_t variable1;
trace.prev = tracehead; tracehead = &trace;
return variable0;
}
val_t virtualtype___MMType___select_virtual_type(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "virtualtype::MMType::select_virtual_type (src/metamodel//virtualtype.nit:55,2--62:12)"};
+ struct trace_t trace = {NULL, LOCATE_virtualtype___MMType___select_virtual_type, 55};
val_t variable0;
val_t variable1;
val_t variable2;
variable0 = param0;
variable1 = ((static_type___MMType___local_class_t)CALL( self,COLOR_static_type___MMType___local_class))( self) /*MMType::local_class*/;
variable1 = TAG_Bool(!UNTAG_Bool(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*/) /*MMLocalClass::==*/)))))));
- if (!UNTAG_Bool(variable1)) { fprintf(stderr, "Assert failed: src/metamodel//virtualtype.nit:58,3--28\n"); nit_exit(1);}
+ if (!UNTAG_Bool(variable1)) { fprintf(stderr, "Assert%s failed (%s: %d)\n", "", LOCATE_virtualtype___MMType___select_virtual_type, 58); nit_exit(1);}
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*/) /*Symbol::==*/)))))));
- if (!UNTAG_Bool(variable1)) { fprintf(stderr, "Assert failed: src/metamodel//virtualtype.nit:59,3--21\n"); nit_exit(1);}
+ if (!UNTAG_Bool(variable1)) { fprintf(stderr, "Assert%s failed (%s: %d)\n", "", LOCATE_virtualtype___MMType___select_virtual_type, 59); nit_exit(1);}
variable2 = ((static_type___MMType___local_class_t)CALL( self,COLOR_static_type___MMType___local_class))( self) /*MMType::local_class*/;
variable2 = ((virtualtype___MMLocalClass___virtual_type_t)CALL(variable2,COLOR_virtualtype___MMLocalClass___virtual_type))(variable2, variable0 /*name*/) /*MMLocalClass::virtual_type*/;
variable2 = ((static_type___MMType___select_property_t)CALL( self,COLOR_static_type___MMType___select_property))( self, variable2) /*MMType::select_property*/;
variable1 = variable2;
variable2 = TAG_Bool(( variable1 /*res*/==NIT_NULL) || VAL_ISA( variable1 /*res*/, COLOR_MMTypeProperty, ID_MMTypeProperty)) /*cast MMTypeProperty*/;
- if (!UNTAG_Bool(variable2)) { fprintf(stderr, "Assert failed: src/metamodel//virtualtype.nit:61,3--31\n"); nit_exit(1);}
+ if (!UNTAG_Bool(variable2)) { fprintf(stderr, "Assert%s failed (%s: %d)\n", "", LOCATE_virtualtype___MMType___select_virtual_type, 61); nit_exit(1);}
variable1 = variable1 /*res*/;
goto return_label3;
return_label3: while(false);
return variable1;
}
val_t virtualtype___MMVirtualType___property(val_t self) {
- struct trace_t trace = {NULL, "virtualtype::MMVirtualType::property (src/metamodel//virtualtype.nit:68,2--69:40)"};
+ struct trace_t trace = {NULL, LOCATE_virtualtype___MMVirtualType___property, 68};
trace.prev = tracehead; tracehead = &trace;
tracehead = trace.prev;
return ATTR_virtualtype___MMVirtualType____property( self) /*MMVirtualType::_property*/;
}
void virtualtype___MMVirtualType___init(val_t self, val_t param0, int* init_table) {
- struct trace_t trace = {NULL, "virtualtype::MMVirtualType::init (src/metamodel//virtualtype.nit:71,2--74:15)"};
+ struct trace_t trace = {NULL, LOCATE_virtualtype___MMVirtualType___init, 71};
val_t variable0;
val_t variable1;
val_t variable2;
return;
}
val_t virtualtype___MMVirtualType___for_module(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "virtualtype::MMVirtualType::for_module (src/metamodel//virtualtype.nit:77,2--80:22)"};
+ struct trace_t trace = {NULL, LOCATE_virtualtype___MMVirtualType___for_module, 77};
val_t variable0;
val_t variable1;
val_t variable2;
return variable1;
}
val_t virtualtype___MMVirtualType___not_for_self(val_t self) {
- struct trace_t trace = {NULL, "virtualtype::MMVirtualType::not_for_self (src/metamodel//virtualtype.nit:83,2--85:27)"};
+ struct trace_t trace = {NULL, LOCATE_virtualtype___MMVirtualType___not_for_self, 83};
val_t variable0;
trace.prev = tracehead; tracehead = &trace;
variable0 = ((type_formal___MMTypeFormal___bound_t)CALL( self,COLOR_type_formal___MMTypeFormal___bound))( self) /*MMVirtualType::bound*/;
return variable0;
}
val_t virtualtype___MMVirtualType___adapt_to(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "virtualtype::MMVirtualType::adapt_to (src/metamodel//virtualtype.nit:88,2--93:19)"};
+ struct trace_t trace = {NULL, LOCATE_virtualtype___MMVirtualType___adapt_to, 88};
val_t variable0;
val_t variable1;
val_t variable2;
variable2 = ((static_type___MMType___select_property_t)CALL( variable0 /*recv*/,COLOR_static_type___MMType___select_property))( variable0 /*recv*/, variable2) /*MMType::select_property*/;
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 failed: src/metamodel//virtualtype.nit:92,3--32\n"); nit_exit(1);}
+ if (!UNTAG_Bool(variable2)) { fprintf(stderr, "Assert%s failed (%s: %d)\n", "", LOCATE_virtualtype___MMVirtualType___adapt_to, 92); nit_exit(1);}
variable2 = ((virtualtype___MMTypeProperty___stype_t)CALL( variable1 /*prop*/,COLOR_virtualtype___MMTypeProperty___stype))( variable1 /*prop*/) /*MMTypeProperty::stype*/;
variable1 = variable2;
goto return_label7;
return variable1;
}
val_t virtualtype___MMLocalClass___virtual_type(val_t self, val_t param0) {
- struct trace_t trace = {NULL, "virtualtype::MMLocalClass::virtual_type (src/metamodel//virtualtype.nit:98,2--104:13)"};
+ struct trace_t trace = {NULL, LOCATE_virtualtype___MMLocalClass___virtual_type, 98};
val_t variable0;
val_t variable1;
val_t variable2;
return variable1;
}
void virtualtype___MMImplicitType___init(val_t self, val_t param0, val_t param1, int* init_table) {
- struct trace_t trace = {NULL, "virtualtype::MMImplicitType::init (src/metamodel//virtualtype.nit:111,2--20)"};
+ struct trace_t trace = {NULL, LOCATE_virtualtype___MMImplicitType___init, 111};
val_t variable0;
val_t variable1;
trace.prev = tracehead; tracehead = &trace;