/* This C file is generated by NIT to compile module type_formal. */
#include "type_formal._sep.h"
-val_t type_formal___MMType___direct_type(val_t self) {
- struct trace_t trace = {NULL, NULL, 24, LOCATE_type_formal___MMType___direct_type};
- val_t variable[3];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_type_formal;
- variable[0] = self;
- variable[2] = variable[0];
- variable[1] = variable[2];
- goto return_label0;
- return_label0: while(false);
- tracehead = trace.prev;
- return variable[1];
+val_t type_formal___MMType___direct_type(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_type_formal;
+ fra.me.line = 24;
+ fra.me.meth = LOCATE_type_formal___MMType___direct_type;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./metamodel//type_formal.nit:25 */
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
}
-val_t type_formal___MMTypeFormal___to_s(val_t self) {
- struct trace_t trace = {NULL, NULL, 46, LOCATE_type_formal___MMTypeFormal___to_s};
- val_t variable[3];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_type_formal;
- variable[0] = self;
- variable[2] = variable[0];
- variable[2] = ATTR_type_formal___MMTypeFormal____name(variable[2]) /*MMTypeFormal::_name*/;
- variable[2] = ((symbol___Symbol___to_s_t)CALL(variable[2],COLOR_string___Object___to_s))(variable[2]) /*Symbol::to_s*/;
- variable[1] = variable[2];
- goto return_label1;
- return_label1: while(false);
- tracehead = trace.prev;
- return variable[1];
+val_t type_formal___MMTypeFormal___is_valid(val_t p0){
+ struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+ val_t REGB0;
+ val_t REGB1;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_type_formal;
+ fra.me.line = 31;
+ fra.me.meth = LOCATE_type_formal___MMTypeFormal___is_valid;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 2;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./metamodel//type_formal.nit:31 */
+ fra.me.REG[1] = ATTR_type_formal___MMTypeFormal____bound(fra.me.REG[0]);
+ REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ REGB1 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
+ if (UNTAG_Bool(REGB1)) {
+ REGB1 = TAG_Bool(false);
+ REGB0 = REGB1;
+ } else {
+ REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], NIT_NULL);
+ REGB0 = REGB1;
+ }
+ }
+ REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
+ if (UNTAG_Bool(REGB0)) {
+ fra.me.REG[0] = ATTR_type_formal___MMTypeFormal____bound(fra.me.REG[0]);
+ REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ nit_abort("Reciever is null", NULL, LOCATE_type_formal, 31);
+ }
+ REGB0 = CALL_static_type___MMType___is_valid(fra.me.REG[0])(fra.me.REG[0]);
+ } else {
+ REGB1 = TAG_Bool(false);
+ REGB0 = REGB1;
+ }
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return REGB0;
}
-val_t type_formal___MMTypeFormal___local_class(val_t self) {
- struct trace_t trace = {NULL, NULL, 40, LOCATE_type_formal___MMTypeFormal___local_class};
- val_t variable[3];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_type_formal;
- variable[0] = self;
- variable[2] = variable[0];
- variable[2] = ATTR_type_formal___MMTypeFormal____bound(variable[2]) /*MMTypeFormal::_bound*/;
- variable[2] = TAG_Bool((variable[2] == NIT_NULL /*null*/) || ((variable[2] != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable[2],COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[2], NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable[2],COLOR_kernel___Object_____eqeq))(variable[2], NIT_NULL /*null*/) /*Object::==*/)))));
- if (UNTAG_Bool(variable[2])) { /*if*/
- variable[1] = NIT_NULL /*null*/;
- goto return_label2;
+val_t type_formal___MMTypeFormal___name(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_type_formal;
+ fra.me.line = 33;
+ fra.me.meth = LOCATE_type_formal___MMTypeFormal___name;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./metamodel//type_formal.nit:33 */
+ REGB0 = TAG_Bool(ATTR_type_formal___MMTypeFormal____name(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_name", LOCATE_type_formal, 33);
}
- variable[2] = variable[0];
- variable[2] = ATTR_type_formal___MMTypeFormal____bound(variable[2]) /*MMTypeFormal::_bound*/;
- variable[2] = ((static_type___MMType___local_class_t)CALL(variable[2],COLOR_static_type___MMType___local_class))(variable[2]) /*MMType::local_class*/;
- variable[1] = variable[2];
- goto return_label2;
- return_label2: while(false);
- tracehead = trace.prev;
- return variable[1];
+ fra.me.REG[0] = ATTR_type_formal___MMTypeFormal____name(fra.me.REG[0]);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
}
-val_t type_formal___MMTypeFormal_____l(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 37, LOCATE_type_formal___MMTypeFormal_____l};
- val_t variable[6];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_type_formal;
- variable[0] = self;
- variable[1] = param0;
- variable[3] = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable[1] /*t*/ == NIT_NULL /*null*/) || (( variable[1] /*t*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable[1] /*t*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[1] /*t*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable[1] /*t*/,COLOR_kernel___Object_____eqeq))( variable[1] /*t*/, NIT_NULL /*null*/) /*Object::==*/)))))));
- variable[4] = variable[3];
- if (UNTAG_Bool(variable[4])) { /* and */
- variable[4] = variable[0];
- variable[4] = TAG_Bool(( variable[1] /*t*/ == variable[4]) || (( variable[1] /*t*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable[1] /*t*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[1] /*t*/,variable[4])):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable[1] /*t*/,COLOR_kernel___Object_____eqeq))( variable[1] /*t*/, variable[4]) /*Object::==*/)))));
- variable[5] = variable[4];
- if (!UNTAG_Bool(variable[5])) { /* or */
- variable[5] = variable[0];
- variable[5] = ATTR_type_formal___MMTypeFormal____bound(variable[5]) /*MMTypeFormal::_bound*/;
- variable[5] = ((static_type___MMType___is_supertype_t)CALL( variable[1] /*t*/,COLOR_static_type___MMType___is_supertype))( variable[1] /*t*/, variable[5]) /*MMType::is_supertype*/;
- }
- variable[4] = variable[5];
+val_t type_formal___MMTypeFormal___bound(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_type_formal;
+ fra.me.line = 36;
+ fra.me.meth = LOCATE_type_formal___MMTypeFormal___bound;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./metamodel//type_formal.nit:37 */
+ fra.me.REG[0] = ATTR_type_formal___MMTypeFormal____bound(fra.me.REG[0]);
+ REGB0 = TAG_Bool(fra.me.REG[0]!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Cast failed", NULL, LOCATE_type_formal, 37);
+ }
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
+}
+val_t type_formal___MMTypeFormal_____l(val_t p0, val_t p1){
+ struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+ val_t REGB0;
+ val_t REGB1;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_type_formal;
+ fra.me.line = 40;
+ fra.me.meth = LOCATE_type_formal___MMTypeFormal_____l;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 2;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ /* ./metamodel//type_formal.nit:40 */
+ REGB0 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[1],fra.me.REG[0]));
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
+ REGB0 = REGB1;
}
- variable[3] = variable[4];
- variable[2] = variable[3];
- goto return_label3;
- return_label3: while(false);
- tracehead = trace.prev;
- return variable[2];
+ if (UNTAG_Bool(REGB0)) {
+ REGB0 = TAG_Bool(true);
+ } else {
+ fra.me.REG[0] = CALL_type_formal___MMTypeFormal___bound(fra.me.REG[0])(fra.me.REG[0]);
+ REGB1 = CALL_static_type___MMType___is_supertype(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
+ REGB0 = REGB1;
+ }
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return REGB0;
}
-val_t type_formal___MMTypeFormal___is_supertype(val_t self, val_t param0) {
- struct trace_t trace = {NULL, NULL, 38, LOCATE_type_formal___MMTypeFormal___is_supertype};
- val_t variable[4];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_type_formal;
- variable[0] = self;
- variable[1] = param0;
- variable[3] = variable[0];
- variable[3] = ATTR_type_formal___MMTypeFormal____bound(variable[3]) /*MMTypeFormal::_bound*/;
- variable[3] = ((static_type___MMType___is_supertype_t)CALL(variable[3],COLOR_static_type___MMType___is_supertype))(variable[3], variable[1] /*t*/) /*MMType::is_supertype*/;
- variable[2] = variable[3];
- goto return_label4;
- return_label4: while(false);
- tracehead = trace.prev;
- return variable[2];
+val_t type_formal___MMTypeFormal___is_supertype(val_t p0, val_t p1){
+ struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_type_formal;
+ fra.me.line = 41;
+ fra.me.meth = LOCATE_type_formal___MMTypeFormal___is_supertype;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 2;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ /* ./metamodel//type_formal.nit:41 */
+ fra.me.REG[0] = ATTR_type_formal___MMTypeFormal____bound(fra.me.REG[0]);
+ REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ nit_abort("Reciever is null", NULL, LOCATE_type_formal, 41);
+ }
+ REGB0 = CALL_static_type___MMType___is_supertype(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return REGB0;
}
-val_t type_formal___MMTypeFormal___direct_type(val_t self) {
- struct trace_t trace = {NULL, NULL, 39, LOCATE_type_formal___MMTypeFormal___direct_type};
- val_t variable[3];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_type_formal;
- variable[0] = self;
- variable[2] = variable[0];
- variable[2] = ATTR_type_formal___MMTypeFormal____bound(variable[2]) /*MMTypeFormal::_bound*/;
- variable[2] = ((type_formal___MMType___direct_type_t)CALL(variable[2],COLOR_type_formal___MMType___direct_type))(variable[2]) /*MMType::direct_type*/;
- variable[1] = variable[2];
- goto return_label5;
- return_label5: while(false);
- tracehead = trace.prev;
- return variable[1];
+val_t type_formal___MMTypeFormal___is_nullable(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_type_formal;
+ fra.me.line = 42;
+ fra.me.meth = LOCATE_type_formal___MMTypeFormal___is_nullable;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./metamodel//type_formal.nit:42 */
+ fra.me.REG[0] = ATTR_type_formal___MMTypeFormal____bound(fra.me.REG[0]);
+ REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ nit_abort("Reciever is null", NULL, LOCATE_type_formal, 42);
+ }
+ REGB0 = CALL_static_type___MMType___is_nullable(fra.me.REG[0])(fra.me.REG[0]);
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return REGB0;
}
-val_t type_formal___MMTypeFormal___name(val_t self) {
- struct trace_t trace = {NULL, NULL, 31, LOCATE_type_formal___MMTypeFormal___name};
- val_t *variable = NULL;
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_type_formal;
- tracehead = trace.prev;
- return ATTR_type_formal___MMTypeFormal____name( self) /*MMTypeFormal::_name*/;
+val_t type_formal___MMTypeFormal___direct_type(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_type_formal;
+ fra.me.line = 43;
+ fra.me.meth = LOCATE_type_formal___MMTypeFormal___direct_type;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./metamodel//type_formal.nit:43 */
+ fra.me.REG[0] = ATTR_type_formal___MMTypeFormal____bound(fra.me.REG[0]);
+ REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ nit_abort("Reciever is null", NULL, LOCATE_type_formal, 43);
+ }
+ fra.me.REG[0] = CALL_type_formal___MMType___direct_type(fra.me.REG[0])(fra.me.REG[0]);
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
}
-val_t type_formal___MMTypeFormal___bound(val_t self) {
- struct trace_t trace = {NULL, NULL, 34, LOCATE_type_formal___MMTypeFormal___bound};
- val_t *variable = NULL;
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_type_formal;
- tracehead = trace.prev;
- return ATTR_type_formal___MMTypeFormal____bound( self) /*MMTypeFormal::_bound*/;
+val_t type_formal___MMTypeFormal___local_class(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_type_formal;
+ fra.me.line = 44;
+ fra.me.meth = LOCATE_type_formal___MMTypeFormal___local_class;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./metamodel//type_formal.nit:44 */
+ fra.me.REG[0] = ATTR_type_formal___MMTypeFormal____bound(fra.me.REG[0]);
+ REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ nit_abort("Reciever is null", NULL, LOCATE_type_formal, 44);
+ }
+ fra.me.REG[0] = CALL_static_type___MMType___local_class(fra.me.REG[0])(fra.me.REG[0]);
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
+}
+val_t type_formal___MMTypeFormal___to_s(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_type_formal;
+ fra.me.line = 46;
+ fra.me.meth = LOCATE_type_formal___MMTypeFormal___to_s;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./metamodel//type_formal.nit:46 */
+ REGB0 = TAG_Bool(ATTR_type_formal___MMTypeFormal____name(fra.me.REG[0])!=NIT_NULL);
+ if (UNTAG_Bool(REGB0)) {
+ } else {
+ nit_abort("Uninitialized attribute %s", "_name", LOCATE_type_formal, 46);
+ }
+ fra.me.REG[0] = ATTR_type_formal___MMTypeFormal____name(fra.me.REG[0]);
+ fra.me.REG[0] = CALL_string___Object___to_s(fra.me.REG[0])(fra.me.REG[0]);
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return fra.me.REG[0];
}
-void type_formal___MMTypeFormal___init(val_t self, val_t param0, val_t param1, int* init_table) {
- struct trace_t trace = {NULL, NULL, 48, LOCATE_type_formal___MMTypeFormal___init};
- val_t variable[5];
- void **closurevariable = NULL;
- trace.prev = tracehead; tracehead = &trace;
- trace.file = LOCATE_type_formal;
- variable[0] = self;
- variable[1] = param0;
- variable[2] = param1;
- if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_MMTypeFormal].i]) return;
- variable[4] = variable[0];
- ATTR_type_formal___MMTypeFormal____name(variable[4]) /*MMTypeFormal::_name*/ = variable[1] /*name*/;
- variable[4] = variable[0];
- ATTR_type_formal___MMTypeFormal____bound(variable[4]) /*MMTypeFormal::_bound*/ = variable[2] /*bound*/;
- return_label6: while(false);
- init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_MMTypeFormal].i] = 1;
- tracehead = trace.prev;
+void type_formal___MMTypeFormal___init(val_t p0, val_t p1, val_t p2, int* init_table){
+ int itpos0 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_MMTypeFormal].i;
+ struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
+ val_t tmp;
+ if (init_table[itpos0]) return;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_type_formal;
+ fra.me.line = 48;
+ fra.me.meth = LOCATE_type_formal___MMTypeFormal___init;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 4;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[1] = NIT_NULL;
+ fra.me.REG[2] = NIT_NULL;
+ fra.me.REG[3] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ fra.me.REG[1] = p1;
+ fra.me.REG[2] = p2;
+ /* ./metamodel//type_formal.nit:48 */
+ fra.me.REG[3] = fra.me.REG[0];
+ CALL_static_type___MMType___init(fra.me.REG[0])(fra.me.REG[0], init_table);
+ /* ./metamodel//type_formal.nit:50 */
+ ATTR_type_formal___MMTypeFormal____name(fra.me.REG[3]) = fra.me.REG[1];
+ /* ./metamodel//type_formal.nit:51 */
+ ATTR_type_formal___MMTypeFormal____bound(fra.me.REG[3]) = fra.me.REG[2];
+ stack_frame_head = fra.me.prev;
+ init_table[itpos0] = 1;
return;
}
nitlanguage / nit.git / blobdiff