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