c_src/type_formal._sep.c

   1 /* This C file is generated by NIT to compile module type_formal. */
   2 #include "type_formal._sep.h"
   3 val_t type_formal___MMType___direct_type(val_t p0){
   4   struct {struct stack_frame_t me;} fra;
   5   val_t tmp;
   6   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
   7   fra.me.file = LOCATE_type_formal;
   8   fra.me.line = 24;
   9   fra.me.meth = LOCATE_type_formal___MMType___direct_type;
  10   fra.me.has_broke = 0;
  11   fra.me.REG_size = 1;
  12   fra.me.REG[0] = NIT_NULL;
  13   fra.me.REG[0] = p0;
  14   /* ./metamodel//type_formal.nit:25 */
  15   goto label1;
  16   label1: while(0);
  17   stack_frame_head = fra.me.prev;
  18   return fra.me.REG[0];
  19 }
  20 val_t type_formal___MMTypeFormal___to_s(val_t p0){
  21   struct {struct stack_frame_t me;} fra;
  22   val_t REGB0;
  23   val_t tmp;
  24   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  25   fra.me.file = LOCATE_type_formal;
  26   fra.me.line = 46;
  27   fra.me.meth = LOCATE_type_formal___MMTypeFormal___to_s;
  28   fra.me.has_broke = 0;
  29   fra.me.REG_size = 1;
  30   fra.me.REG[0] = NIT_NULL;
  31   fra.me.REG[0] = p0;
  32   REGB0 = TAG_Bool(ATTR_type_formal___MMTypeFormal____name(fra.me.REG[0])!=NIT_NULL);
  33   /* ./metamodel//type_formal.nit:46 */
  34   if (UNTAG_Bool(REGB0)) {
  35   } else {
  36     fprintf(stderr, "Uninitialized attribute %s", "_name");
  37     fprintf(stderr, " (%s:%d)\n", LOCATE_type_formal, 46);
  38     nit_exit(1);
  39   }
  40   fra.me.REG[0] = ATTR_type_formal___MMTypeFormal____name(fra.me.REG[0]);
  41   fra.me.REG[0] = CALL_string___Object___to_s(fra.me.REG[0])(fra.me.REG[0]);
  42   goto label1;
  43   label1: while(0);
  44   stack_frame_head = fra.me.prev;
  45   return fra.me.REG[0];
  46 }
  47 val_t type_formal___MMTypeFormal___local_class(val_t p0){
  48   struct {struct stack_frame_t me;} fra;
  49   val_t REGB0;
  50   val_t tmp;
  51   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  52   fra.me.file = LOCATE_type_formal;
  53   fra.me.line = 44;
  54   fra.me.meth = LOCATE_type_formal___MMTypeFormal___local_class;
  55   fra.me.has_broke = 0;
  56   fra.me.REG_size = 1;
  57   fra.me.REG[0] = NIT_NULL;
  58   fra.me.REG[0] = p0;
  59   fra.me.REG[0] = ATTR_type_formal___MMTypeFormal____bound(fra.me.REG[0]);
  60   REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
  61   /* ./metamodel//type_formal.nit:44 */
  62   if (UNTAG_Bool(REGB0)) {
  63     fprintf(stderr, "Reciever is null");
  64     fprintf(stderr, " (%s:%d)\n", LOCATE_type_formal, 44);
  65     nit_exit(1);
  66   }
  67   fra.me.REG[0] = CALL_static_type___MMType___local_class(fra.me.REG[0])(fra.me.REG[0]);
  68   goto label1;
  69   label1: while(0);
  70   stack_frame_head = fra.me.prev;
  71   return fra.me.REG[0];
  72 }
  73 val_t type_formal___MMTypeFormal___is_valid(val_t p0){
  74   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
  75   val_t REGB0;
  76   val_t REGB1;
  77   val_t tmp;
  78   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  79   fra.me.file = LOCATE_type_formal;
  80   fra.me.line = 31;
  81   fra.me.meth = LOCATE_type_formal___MMTypeFormal___is_valid;
  82   fra.me.has_broke = 0;
  83   fra.me.REG_size = 2;
  84   fra.me.REG[0] = NIT_NULL;
  85   fra.me.REG[1] = NIT_NULL;
  86   fra.me.REG[0] = p0;
  87   fra.me.REG[1] = ATTR_type_formal___MMTypeFormal____bound(fra.me.REG[0]);
  88   REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
  89   /* ./metamodel//type_formal.nit:31 */
  90   if (UNTAG_Bool(REGB0)) {
  91   } else {
  92     REGB1 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
  93     if (UNTAG_Bool(REGB1)) {
  94       REGB1 = TAG_Bool(false);
  95       REGB0 = REGB1;
  96     } else {
  97       REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], NIT_NULL);
  98       REGB0 = REGB1;
  99     }
 100   }
 101   REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
 102   if (UNTAG_Bool(REGB0)) {
 103     fra.me.REG[0] = ATTR_type_formal___MMTypeFormal____bound(fra.me.REG[0]);
 104     REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
 105     if (UNTAG_Bool(REGB0)) {
 106       fprintf(stderr, "Reciever is null");
 107       fprintf(stderr, " (%s:%d)\n", LOCATE_type_formal, 31);
 108       nit_exit(1);
 109     }
 110     REGB0 = CALL_static_type___MMType___is_valid(fra.me.REG[0])(fra.me.REG[0]);
 111   } else {
 112     REGB1 = TAG_Bool(false);
 113     REGB0 = REGB1;
 114   }
 115   goto label1;
 116   label1: while(0);
 117   stack_frame_head = fra.me.prev;
 118   return REGB0;
 119 }
 120 val_t type_formal___MMTypeFormal_____l(val_t p0, val_t p1){
 121   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 122   val_t REGB0;
 123   val_t REGB1;
 124   val_t tmp;
 125   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 126   fra.me.file = LOCATE_type_formal;
 127   fra.me.line = 40;
 128   fra.me.meth = LOCATE_type_formal___MMTypeFormal_____l;
 129   fra.me.has_broke = 0;
 130   fra.me.REG_size = 2;
 131   fra.me.REG[0] = NIT_NULL;
 132   fra.me.REG[1] = NIT_NULL;
 133   fra.me.REG[0] = p0;
 134   fra.me.REG[1] = p1;
 135   REGB0 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[1],fra.me.REG[0]));
 136   /* ./metamodel//type_formal.nit:40 */
 137   if (UNTAG_Bool(REGB0)) {
 138   } else {
 139     REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 140     REGB0 = REGB1;
 141   }
 142   if (UNTAG_Bool(REGB0)) {
 143     REGB0 = TAG_Bool(true);
 144   } else {
 145     fra.me.REG[0] = CALL_type_formal___MMTypeFormal___bound(fra.me.REG[0])(fra.me.REG[0]);
 146     REGB1 = CALL_static_type___MMType___is_supertype(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 147     REGB0 = REGB1;
 148   }
 149   goto label1;
 150   label1: while(0);
 151   stack_frame_head = fra.me.prev;
 152   return REGB0;
 153 }
 154 val_t type_formal___MMTypeFormal___is_supertype(val_t p0, val_t p1){
 155   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 156   val_t REGB0;
 157   val_t tmp;
 158   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 159   fra.me.file = LOCATE_type_formal;
 160   fra.me.line = 41;
 161   fra.me.meth = LOCATE_type_formal___MMTypeFormal___is_supertype;
 162   fra.me.has_broke = 0;
 163   fra.me.REG_size = 2;
 164   fra.me.REG[0] = NIT_NULL;
 165   fra.me.REG[1] = NIT_NULL;
 166   fra.me.REG[0] = p0;
 167   fra.me.REG[1] = p1;
 168   fra.me.REG[0] = ATTR_type_formal___MMTypeFormal____bound(fra.me.REG[0]);
 169   REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
 170   /* ./metamodel//type_formal.nit:41 */
 171   if (UNTAG_Bool(REGB0)) {
 172     fprintf(stderr, "Reciever is null");
 173     fprintf(stderr, " (%s:%d)\n", LOCATE_type_formal, 41);
 174     nit_exit(1);
 175   }
 176   REGB0 = CALL_static_type___MMType___is_supertype(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
 177   goto label1;
 178   label1: while(0);
 179   stack_frame_head = fra.me.prev;
 180   return REGB0;
 181 }
 182 val_t type_formal___MMTypeFormal___is_nullable(val_t p0){
 183   struct {struct stack_frame_t me;} fra;
 184   val_t REGB0;
 185   val_t tmp;
 186   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 187   fra.me.file = LOCATE_type_formal;
 188   fra.me.line = 42;
 189   fra.me.meth = LOCATE_type_formal___MMTypeFormal___is_nullable;
 190   fra.me.has_broke = 0;
 191   fra.me.REG_size = 1;
 192   fra.me.REG[0] = NIT_NULL;
 193   fra.me.REG[0] = p0;
 194   fra.me.REG[0] = ATTR_type_formal___MMTypeFormal____bound(fra.me.REG[0]);
 195   REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
 196   /* ./metamodel//type_formal.nit:42 */
 197   if (UNTAG_Bool(REGB0)) {
 198     fprintf(stderr, "Reciever is null");
 199     fprintf(stderr, " (%s:%d)\n", LOCATE_type_formal, 42);
 200     nit_exit(1);
 201   }
 202   REGB0 = CALL_static_type___MMType___is_nullable(fra.me.REG[0])(fra.me.REG[0]);
 203   goto label1;
 204   label1: while(0);
 205   stack_frame_head = fra.me.prev;
 206   return REGB0;
 207 }
 208 val_t type_formal___MMTypeFormal___direct_type(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_type_formal;
 214   fra.me.line = 43;
 215   fra.me.meth = LOCATE_type_formal___MMTypeFormal___direct_type;
 216   fra.me.has_broke = 0;
 217   fra.me.REG_size = 1;
 218   fra.me.REG[0] = NIT_NULL;
 219   fra.me.REG[0] = p0;
 220   fra.me.REG[0] = ATTR_type_formal___MMTypeFormal____bound(fra.me.REG[0]);
 221   REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
 222   /* ./metamodel//type_formal.nit:43 */
 223   if (UNTAG_Bool(REGB0)) {
 224     fprintf(stderr, "Reciever is null");
 225     fprintf(stderr, " (%s:%d)\n", LOCATE_type_formal, 43);
 226     nit_exit(1);
 227   }
 228   fra.me.REG[0] = CALL_type_formal___MMType___direct_type(fra.me.REG[0])(fra.me.REG[0]);
 229   goto label1;
 230   label1: while(0);
 231   stack_frame_head = fra.me.prev;
 232   return fra.me.REG[0];
 233 }
 234 val_t type_formal___MMTypeFormal___name(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_type_formal;
 240   fra.me.line = 33;
 241   fra.me.meth = LOCATE_type_formal___MMTypeFormal___name;
 242   fra.me.has_broke = 0;
 243   fra.me.REG_size = 1;
 244   fra.me.REG[0] = NIT_NULL;
 245   fra.me.REG[0] = p0;
 246   REGB0 = TAG_Bool(ATTR_type_formal___MMTypeFormal____name(fra.me.REG[0])!=NIT_NULL);
 247   /* ./metamodel//type_formal.nit:33 */
 248   if (UNTAG_Bool(REGB0)) {
 249   } else {
 250     fprintf(stderr, "Uninitialized attribute %s", "_name");
 251     fprintf(stderr, " (%s:%d)\n", LOCATE_type_formal, 33);
 252     nit_exit(1);
 253   }
 254   fra.me.REG[0] = ATTR_type_formal___MMTypeFormal____name(fra.me.REG[0]);
 255   stack_frame_head = fra.me.prev;
 256   return fra.me.REG[0];
 257 }
 258 val_t type_formal___MMTypeFormal___bound(val_t p0){
 259   struct {struct stack_frame_t me;} fra;
 260   val_t REGB0;
 261   val_t tmp;
 262   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 263   fra.me.file = LOCATE_type_formal;
 264   fra.me.line = 36;
 265   fra.me.meth = LOCATE_type_formal___MMTypeFormal___bound;
 266   fra.me.has_broke = 0;
 267   fra.me.REG_size = 1;
 268   fra.me.REG[0] = NIT_NULL;
 269   fra.me.REG[0] = p0;
 270   fra.me.REG[0] = ATTR_type_formal___MMTypeFormal____bound(fra.me.REG[0]);
 271   REGB0 = TAG_Bool(fra.me.REG[0]!=NIT_NULL);
 272   /* ./metamodel//type_formal.nit:37 */
 273   if (UNTAG_Bool(REGB0)) {
 274   } else {
 275     fprintf(stderr, "Cast failed");
 276     fprintf(stderr, " (%s:%d)\n", LOCATE_type_formal, 37);
 277     nit_exit(1);
 278   }
 279   goto label1;
 280   label1: while(0);
 281   stack_frame_head = fra.me.prev;
 282   return fra.me.REG[0];
 283 }
 284 void type_formal___MMTypeFormal___init(val_t p0, val_t p1, val_t p2, int* init_table){
 285   int itpos0 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_MMTypeFormal].i;
 286   struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
 287   val_t tmp;
 288   if (init_table[itpos0]) return;
 289   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 290   fra.me.file = LOCATE_type_formal;
 291   fra.me.line = 48;
 292   fra.me.meth = LOCATE_type_formal___MMTypeFormal___init;
 293   fra.me.has_broke = 0;
 294   fra.me.REG_size = 4;
 295   fra.me.REG[0] = NIT_NULL;
 296   fra.me.REG[1] = NIT_NULL;
 297   fra.me.REG[2] = NIT_NULL;
 298   fra.me.REG[3] = NIT_NULL;
 299   fra.me.REG[0] = p0;
 300   fra.me.REG[1] = p1;
 301   fra.me.REG[2] = p2;
 302   fra.me.REG[3] = fra.me.REG[0];
 303   /* ./metamodel//type_formal.nit:48 */
 304   CALL_static_type___MMType___init(fra.me.REG[0])(fra.me.REG[0], init_table);
 305   /* ./metamodel//type_formal.nit:50 */
 306   ATTR_type_formal___MMTypeFormal____name(fra.me.REG[3]) = fra.me.REG[1];
 307   /* ./metamodel//type_formal.nit:51 */
 308   ATTR_type_formal___MMTypeFormal____bound(fra.me.REG[3]) = fra.me.REG[2];
 309   stack_frame_head = fra.me.prev;
 310   init_table[itpos0] = 1;
 311   return;
 312 }