c_src/metamodel___type_formal._sep.c

   1 /* This C file is generated by NIT to compile module metamodel___type_formal. */
   2 #include "metamodel___type_formal._sep.h"
   3 static const char LOCATE_metamodel___type_formal___MMType___direct_type[] = "type_formal::MMType::direct_type";
   4 val_t metamodel___type_formal___MMType___direct_type(val_t p0){
   5   struct {struct stack_frame_t me;} fra;
   6   val_t tmp;
   7   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
   8   fra.me.file = LOCATE_metamodel___type_formal;
   9   fra.me.line = 24;
  10   fra.me.meth = LOCATE_metamodel___type_formal___MMType___direct_type;
  11   fra.me.has_broke = 0;
  12   fra.me.REG_size = 1;
  13   fra.me.nitni_local_ref_head = NULL;
  14   fra.me.REG[0] = NIT_NULL;
  15   fra.me.REG[0] = p0;
  16   /* metamodel/type_formal.nit:25 */
  17   goto label1;
  18   label1: while(0);
  19   stack_frame_head = fra.me.prev;
  20   return fra.me.REG[0];
  21 }
  22 static const char LOCATE_metamodel___type_formal___MMType___has_formal[] = "type_formal::MMType::has_formal";
  23 val_t metamodel___type_formal___MMType___has_formal(val_t p0){
  24   struct {struct stack_frame_t me;} fra;
  25   val_t REGB0;
  26   val_t tmp;
  27   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  28   fra.me.file = LOCATE_metamodel___type_formal;
  29   fra.me.line = 27;
  30   fra.me.meth = LOCATE_metamodel___type_formal___MMType___has_formal;
  31   fra.me.has_broke = 0;
  32   fra.me.REG_size = 1;
  33   fra.me.nitni_local_ref_head = NULL;
  34   fra.me.REG[0] = NIT_NULL;
  35   fra.me.REG[0] = p0;
  36   /* metamodel/type_formal.nit:27 */
  37   REGB0 = TAG_Bool(0);
  38   goto label1;
  39   label1: while(0);
  40   stack_frame_head = fra.me.prev;
  41   return REGB0;
  42 }
  43 static const char LOCATE_metamodel___type_formal___MMTypeFormal___is_valid[] = "type_formal::MMTypeFormal::(static_type::MMType::is_valid)";
  44 val_t metamodel___type_formal___MMTypeFormal___is_valid(val_t p0){
  45   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
  46   val_t REGB0;
  47   val_t REGB1;
  48   val_t tmp;
  49   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  50   fra.me.file = LOCATE_metamodel___type_formal;
  51   fra.me.line = 33;
  52   fra.me.meth = LOCATE_metamodel___type_formal___MMTypeFormal___is_valid;
  53   fra.me.has_broke = 0;
  54   fra.me.REG_size = 2;
  55   fra.me.nitni_local_ref_head = NULL;
  56   fra.me.REG[0] = NIT_NULL;
  57   fra.me.REG[1] = NIT_NULL;
  58   fra.me.REG[0] = p0;
  59   /* metamodel/type_formal.nit:33 */
  60   fra.me.REG[1] = ATTR_metamodel___type_formal___MMTypeFormal____bound(fra.me.REG[0]);
  61   REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
  62   if (UNTAG_Bool(REGB0)) {
  63   } else {
  64     REGB1 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
  65     if (UNTAG_Bool(REGB1)) {
  66       REGB1 = TAG_Bool(0);
  67       REGB0 = REGB1;
  68     } else {
  69       REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], NIT_NULL);
  70       REGB0 = REGB1;
  71     }
  72   }
  73   REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
  74   if (UNTAG_Bool(REGB0)) {
  75     fra.me.REG[0] = ATTR_metamodel___type_formal___MMTypeFormal____bound(fra.me.REG[0]);
  76     REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
  77     if (UNTAG_Bool(REGB0)) {
  78       nit_abort("Reciever is null", NULL, LOCATE_metamodel___type_formal, 33);
  79     }
  80     REGB0 = CALL_metamodel___static_type___MMType___is_valid(fra.me.REG[0])(fra.me.REG[0]);
  81   } else {
  82     REGB1 = TAG_Bool(0);
  83     REGB0 = REGB1;
  84   }
  85   goto label1;
  86   label1: while(0);
  87   stack_frame_head = fra.me.prev;
  88   return REGB0;
  89 }
  90 static const char LOCATE_metamodel___type_formal___MMTypeFormal___name[] = "type_formal::MMTypeFormal::name";
  91 val_t metamodel___type_formal___MMTypeFormal___name(val_t p0){
  92   struct {struct stack_frame_t me;} fra;
  93   val_t REGB0;
  94   val_t tmp;
  95   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  96   fra.me.file = LOCATE_metamodel___type_formal;
  97   fra.me.line = 35;
  98   fra.me.meth = LOCATE_metamodel___type_formal___MMTypeFormal___name;
  99   fra.me.has_broke = 0;
 100   fra.me.REG_size = 1;
 101   fra.me.nitni_local_ref_head = NULL;
 102   fra.me.REG[0] = NIT_NULL;
 103   fra.me.REG[0] = p0;
 104   /* metamodel/type_formal.nit:35 */
 105   REGB0 = TAG_Bool(ATTR_metamodel___type_formal___MMTypeFormal____name(fra.me.REG[0])!=NIT_NULL);
 106   if (UNTAG_Bool(REGB0)) {
 107   } else {
 108     nit_abort("Uninitialized attribute %s", "_name", LOCATE_metamodel___type_formal, 35);
 109   }
 110   fra.me.REG[0] = ATTR_metamodel___type_formal___MMTypeFormal____name(fra.me.REG[0]);
 111   stack_frame_head = fra.me.prev;
 112   return fra.me.REG[0];
 113 }
 114 static const char LOCATE_metamodel___type_formal___MMTypeFormal___bound[] = "type_formal::MMTypeFormal::bound";
 115 val_t metamodel___type_formal___MMTypeFormal___bound(val_t p0){
 116   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 117   val_t REGB0;
 118   val_t tmp;
 119   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 120   fra.me.file = LOCATE_metamodel___type_formal;
 121   fra.me.line = 38;
 122   fra.me.meth = LOCATE_metamodel___type_formal___MMTypeFormal___bound;
 123   fra.me.has_broke = 0;
 124   fra.me.REG_size = 2;
 125   fra.me.nitni_local_ref_head = NULL;
 126   fra.me.REG[0] = NIT_NULL;
 127   fra.me.REG[1] = NIT_NULL;
 128   fra.me.REG[0] = p0;
 129   /* metamodel/type_formal.nit:38 */
 130   fra.me.REG[1] = fra.me.REG[0];
 131   /* metamodel/type_formal.nit:39 */
 132   fra.me.REG[1] = ATTR_metamodel___type_formal___MMTypeFormal____bound(fra.me.REG[1]);
 133   REGB0 = TAG_Bool(fra.me.REG[1]!=NIT_NULL);
 134   if (UNTAG_Bool(REGB0)) {
 135   } else {
 136     nit_abort("Cast failed", NULL, LOCATE_metamodel___type_formal, 39);
 137   }
 138   goto label1;
 139   label1: while(0);
 140   stack_frame_head = fra.me.prev;
 141   return fra.me.REG[1];
 142 }
 143 static const char LOCATE_metamodel___type_formal___MMTypeFormal_____l[] = "type_formal::MMTypeFormal::(static_type::MMType::<)";
 144 val_t metamodel___type_formal___MMTypeFormal_____l(val_t p0, val_t p1){
 145   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 146   val_t REGB0;
 147   val_t REGB1;
 148   val_t tmp;
 149   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 150   fra.me.file = LOCATE_metamodel___type_formal;
 151   fra.me.line = 42;
 152   fra.me.meth = LOCATE_metamodel___type_formal___MMTypeFormal_____l;
 153   fra.me.has_broke = 0;
 154   fra.me.REG_size = 2;
 155   fra.me.nitni_local_ref_head = NULL;
 156   fra.me.REG[0] = NIT_NULL;
 157   fra.me.REG[1] = NIT_NULL;
 158   fra.me.REG[0] = p0;
 159   fra.me.REG[1] = p1;
 160   /* metamodel/type_formal.nit:42 */
 161   REGB0 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[1],fra.me.REG[0]));
 162   if (UNTAG_Bool(REGB0)) {
 163   } else {
 164     REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 165     REGB0 = REGB1;
 166   }
 167   if (UNTAG_Bool(REGB0)) {
 168     REGB0 = TAG_Bool(1);
 169   } else {
 170     fra.me.REG[0] = CALL_metamodel___type_formal___MMTypeFormal___bound(fra.me.REG[0])(fra.me.REG[0]);
 171     REGB1 = CALL_metamodel___static_type___MMType___is_supertype(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 172     REGB0 = REGB1;
 173   }
 174   goto label1;
 175   label1: while(0);
 176   stack_frame_head = fra.me.prev;
 177   return REGB0;
 178 }
 179 static const char LOCATE_metamodel___type_formal___MMTypeFormal___is_supertype[] = "type_formal::MMTypeFormal::(static_type::MMType::is_supertype)";
 180 val_t metamodel___type_formal___MMTypeFormal___is_supertype(val_t p0, val_t p1){
 181   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 182   val_t REGB0;
 183   val_t tmp;
 184   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 185   fra.me.file = LOCATE_metamodel___type_formal;
 186   fra.me.line = 43;
 187   fra.me.meth = LOCATE_metamodel___type_formal___MMTypeFormal___is_supertype;
 188   fra.me.has_broke = 0;
 189   fra.me.REG_size = 2;
 190   fra.me.nitni_local_ref_head = NULL;
 191   fra.me.REG[0] = NIT_NULL;
 192   fra.me.REG[1] = NIT_NULL;
 193   fra.me.REG[0] = p0;
 194   fra.me.REG[1] = p1;
 195   /* metamodel/type_formal.nit:43 */
 196   fra.me.REG[0] = ATTR_metamodel___type_formal___MMTypeFormal____bound(fra.me.REG[0]);
 197   REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
 198   if (UNTAG_Bool(REGB0)) {
 199     nit_abort("Reciever is null", NULL, LOCATE_metamodel___type_formal, 43);
 200   }
 201   REGB0 = CALL_metamodel___static_type___MMType___is_supertype(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
 202   goto label1;
 203   label1: while(0);
 204   stack_frame_head = fra.me.prev;
 205   return REGB0;
 206 }
 207 static const char LOCATE_metamodel___type_formal___MMTypeFormal___is_nullable[] = "type_formal::MMTypeFormal::(static_type::MMType::is_nullable)";
 208 val_t metamodel___type_formal___MMTypeFormal___is_nullable(val_t p0){
 209   struct {struct stack_frame_t me;} fra;
 210   val_t REGB0;
 211   val_t tmp;
 212   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 213   fra.me.file = LOCATE_metamodel___type_formal;
 214   fra.me.line = 44;
 215   fra.me.meth = LOCATE_metamodel___type_formal___MMTypeFormal___is_nullable;
 216   fra.me.has_broke = 0;
 217   fra.me.REG_size = 1;
 218   fra.me.nitni_local_ref_head = NULL;
 219   fra.me.REG[0] = NIT_NULL;
 220   fra.me.REG[0] = p0;
 221   /* metamodel/type_formal.nit:44 */
 222   fra.me.REG[0] = ATTR_metamodel___type_formal___MMTypeFormal____bound(fra.me.REG[0]);
 223   REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
 224   if (UNTAG_Bool(REGB0)) {
 225     nit_abort("Reciever is null", NULL, LOCATE_metamodel___type_formal, 44);
 226   }
 227   REGB0 = CALL_metamodel___static_type___MMType___is_nullable(fra.me.REG[0])(fra.me.REG[0]);
 228   goto label1;
 229   label1: while(0);
 230   stack_frame_head = fra.me.prev;
 231   return REGB0;
 232 }
 233 static const char LOCATE_metamodel___type_formal___MMTypeFormal___direct_type[] = "type_formal::MMTypeFormal::(type_formal::MMType::direct_type)";
 234 val_t metamodel___type_formal___MMTypeFormal___direct_type(val_t p0){
 235   struct {struct stack_frame_t me;} fra;
 236   val_t REGB0;
 237   val_t tmp;
 238   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 239   fra.me.file = LOCATE_metamodel___type_formal;
 240   fra.me.line = 45;
 241   fra.me.meth = LOCATE_metamodel___type_formal___MMTypeFormal___direct_type;
 242   fra.me.has_broke = 0;
 243   fra.me.REG_size = 1;
 244   fra.me.nitni_local_ref_head = NULL;
 245   fra.me.REG[0] = NIT_NULL;
 246   fra.me.REG[0] = p0;
 247   /* metamodel/type_formal.nit:45 */
 248   fra.me.REG[0] = ATTR_metamodel___type_formal___MMTypeFormal____bound(fra.me.REG[0]);
 249   REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
 250   if (UNTAG_Bool(REGB0)) {
 251     nit_abort("Reciever is null", NULL, LOCATE_metamodel___type_formal, 45);
 252   }
 253   fra.me.REG[0] = CALL_metamodel___type_formal___MMType___direct_type(fra.me.REG[0])(fra.me.REG[0]);
 254   goto label1;
 255   label1: while(0);
 256   stack_frame_head = fra.me.prev;
 257   return fra.me.REG[0];
 258 }
 259 static const char LOCATE_metamodel___type_formal___MMTypeFormal___local_class[] = "type_formal::MMTypeFormal::(static_type::MMType::local_class)";
 260 val_t metamodel___type_formal___MMTypeFormal___local_class(val_t p0){
 261   struct {struct stack_frame_t me;} fra;
 262   val_t REGB0;
 263   val_t tmp;
 264   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 265   fra.me.file = LOCATE_metamodel___type_formal;
 266   fra.me.line = 46;
 267   fra.me.meth = LOCATE_metamodel___type_formal___MMTypeFormal___local_class;
 268   fra.me.has_broke = 0;
 269   fra.me.REG_size = 1;
 270   fra.me.nitni_local_ref_head = NULL;
 271   fra.me.REG[0] = NIT_NULL;
 272   fra.me.REG[0] = p0;
 273   /* metamodel/type_formal.nit:46 */
 274   fra.me.REG[0] = ATTR_metamodel___type_formal___MMTypeFormal____bound(fra.me.REG[0]);
 275   REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
 276   if (UNTAG_Bool(REGB0)) {
 277     nit_abort("Reciever is null", NULL, LOCATE_metamodel___type_formal, 46);
 278   }
 279   fra.me.REG[0] = CALL_metamodel___static_type___MMType___local_class(fra.me.REG[0])(fra.me.REG[0]);
 280   goto label1;
 281   label1: while(0);
 282   stack_frame_head = fra.me.prev;
 283   return fra.me.REG[0];
 284 }
 285 static const char LOCATE_metamodel___type_formal___MMTypeFormal___has_formal[] = "type_formal::MMTypeFormal::(type_formal::MMType::has_formal)";
 286 val_t metamodel___type_formal___MMTypeFormal___has_formal(val_t p0){
 287   struct {struct stack_frame_t me;} fra;
 288   val_t REGB0;
 289   val_t tmp;
 290   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 291   fra.me.file = LOCATE_metamodel___type_formal;
 292   fra.me.line = 47;
 293   fra.me.meth = LOCATE_metamodel___type_formal___MMTypeFormal___has_formal;
 294   fra.me.has_broke = 0;
 295   fra.me.REG_size = 1;
 296   fra.me.nitni_local_ref_head = NULL;
 297   fra.me.REG[0] = NIT_NULL;
 298   fra.me.REG[0] = p0;
 299   /* metamodel/type_formal.nit:47 */
 300   REGB0 = TAG_Bool(1);
 301   goto label1;
 302   label1: while(0);
 303   stack_frame_head = fra.me.prev;
 304   return REGB0;
 305 }
 306 static const char LOCATE_metamodel___type_formal___MMTypeFormal___to_s[] = "type_formal::MMTypeFormal::(string::Object::to_s)";
 307 val_t metamodel___type_formal___MMTypeFormal___to_s(val_t p0){
 308   struct {struct stack_frame_t me;} fra;
 309   val_t REGB0;
 310   val_t tmp;
 311   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 312   fra.me.file = LOCATE_metamodel___type_formal;
 313   fra.me.line = 49;
 314   fra.me.meth = LOCATE_metamodel___type_formal___MMTypeFormal___to_s;
 315   fra.me.has_broke = 0;
 316   fra.me.REG_size = 1;
 317   fra.me.nitni_local_ref_head = NULL;
 318   fra.me.REG[0] = NIT_NULL;
 319   fra.me.REG[0] = p0;
 320   /* metamodel/type_formal.nit:49 */
 321   REGB0 = TAG_Bool(ATTR_metamodel___type_formal___MMTypeFormal____name(fra.me.REG[0])!=NIT_NULL);
 322   if (UNTAG_Bool(REGB0)) {
 323   } else {
 324     nit_abort("Uninitialized attribute %s", "_name", LOCATE_metamodel___type_formal, 49);
 325   }
 326   fra.me.REG[0] = ATTR_metamodel___type_formal___MMTypeFormal____name(fra.me.REG[0]);
 327   fra.me.REG[0] = CALL_standard___string___Object___to_s(fra.me.REG[0])(fra.me.REG[0]);
 328   goto label1;
 329   label1: while(0);
 330   stack_frame_head = fra.me.prev;
 331   return fra.me.REG[0];
 332 }
 333 static const char LOCATE_metamodel___type_formal___MMTypeFormal___init[] = "type_formal::MMTypeFormal::init";
 334 void metamodel___type_formal___MMTypeFormal___init(val_t p0, val_t p1, val_t p2, int* init_table){
 335   int itpos0 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_metamodel___type_formal___MMTypeFormal].i;
 336   struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
 337   val_t tmp;
 338   if (init_table[itpos0]) return;
 339   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 340   fra.me.file = LOCATE_metamodel___type_formal;
 341   fra.me.line = 51;
 342   fra.me.meth = LOCATE_metamodel___type_formal___MMTypeFormal___init;
 343   fra.me.has_broke = 0;
 344   fra.me.REG_size = 4;
 345   fra.me.nitni_local_ref_head = NULL;
 346   fra.me.REG[0] = NIT_NULL;
 347   fra.me.REG[1] = NIT_NULL;
 348   fra.me.REG[2] = NIT_NULL;
 349   fra.me.REG[3] = NIT_NULL;
 350   fra.me.REG[0] = p0;
 351   fra.me.REG[1] = p1;
 352   fra.me.REG[2] = p2;
 353   /* metamodel/type_formal.nit:51 */
 354   fra.me.REG[3] = fra.me.REG[0];
 355   CALL_metamodel___static_type___MMType___init(fra.me.REG[0])(fra.me.REG[0], init_table);
 356   /* metamodel/type_formal.nit:53 */
 357   ATTR_metamodel___type_formal___MMTypeFormal____name(fra.me.REG[3]) = fra.me.REG[1];
 358   /* metamodel/type_formal.nit:54 */
 359   ATTR_metamodel___type_formal___MMTypeFormal____bound(fra.me.REG[3]) = fra.me.REG[2];
 360   stack_frame_head = fra.me.prev;
 361   init_table[itpos0] = 1;
 362   return;
 363 }
 364 static const char LOCATE_metamodel___type_formal___MMNullableType___has_formal[] = "type_formal::MMNullableType::(type_formal::MMType::has_formal)";
 365 val_t metamodel___type_formal___MMNullableType___has_formal(val_t p0){
 366   struct {struct stack_frame_t me;} fra;
 367   val_t REGB0;
 368   val_t tmp;
 369   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 370   fra.me.file = LOCATE_metamodel___type_formal;
 371   fra.me.line = 59;
 372   fra.me.meth = LOCATE_metamodel___type_formal___MMNullableType___has_formal;
 373   fra.me.has_broke = 0;
 374   fra.me.REG_size = 1;
 375   fra.me.nitni_local_ref_head = NULL;
 376   fra.me.REG[0] = NIT_NULL;
 377   fra.me.REG[0] = p0;
 378   /* metamodel/type_formal.nit:59 */
 379   fra.me.REG[0] = CALL_metamodel___static_type___MMNullableType___base_type(fra.me.REG[0])(fra.me.REG[0]);
 380   REGB0 = CALL_metamodel___type_formal___MMType___has_formal(fra.me.REG[0])(fra.me.REG[0]);
 381   goto label1;
 382   label1: while(0);
 383   stack_frame_head = fra.me.prev;
 384   return REGB0;
 385 }