void OC_global___instantiated_type_analysis___Program___with_each_live_local_classes_1(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0){
   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
   val_t REGB0;
   val_t REGB1;
   fun_t CREG[1];
   val_t tmp;
   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
   fra.me.file = LOCATE_global___instantiated_type_analysis;
   fra.me.line = 0;
   fra.me.meth = LOCATE_global___instantiated_type_analysis___Program___with_each_live_local_classes;
   fra.me.has_broke = 0;
   fra.me.REG_size = 2;
   fra.me.nitni_local_ref_head = NULL;
   fra.me.REG[0] = NIT_NULL;
   fra.me.REG[1] = NIT_NULL;
   fra.me.closure_ctx = closctx_param;
   fra.me.closure_funs = CREG;
   fra.me.REG[0] = p0;
   CREG[0] = clos_fun0;
   /* global/instantiated_type_analysis.nit:52 */
   fra.me.REG[1] = CALL_global___instantiated_type_analysis___Program___ita(closctx->REG[1])(closctx->REG[1]);
   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_standard___kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], NIT_NULL);
       REGB0 = REGB1;
     }
   }
   if (UNTAG_Bool(REGB0)) {
     REGB0 = TAG_Bool(true);
   } else {
     fra.me.REG[1] = CALL_global___instantiated_type_analysis___Program___ita(closctx->REG[1])(closctx->REG[1]);
     REGB1 = TAG_Bool(fra.me.REG[1]!=NIT_NULL);
     if (UNTAG_Bool(REGB1)) {
     } else {
       nit_abort("Cast failed", NULL, LOCATE_global___instantiated_type_analysis, 52);
     }
     REGB1 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
     if (UNTAG_Bool(REGB1)) {
       nit_abort("Reciever is null", NULL, LOCATE_global___instantiated_type_analysis, 52);
     }
     REGB1 = CALL_global___instantiated_type_analysis___InstantiatedTypeAnalysis___is_class_instantiated(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
     REGB0 = REGB1;
   }
   if (UNTAG_Bool(REGB0)) {
     ((void (*)(struct stack_frame_t *, val_t))(closctx->closure_funs[0]))(closctx->closure_ctx, fra.me.REG[0]);
     if (closctx->closure_ctx->has_broke) {
       closctx->has_broke = 1;
       goto label2;
     }
   }
   label2: while(0);
   stack_frame_head = fra.me.prev;
   return;
 }
val_t standard___collection___range___Range___length(val_t p0) {
    struct {
        struct stack_frame_t me;
        val_t MORE_REG[1];
    } fra;
    val_t REGB0;
    val_t REGB1;
    val_t REGB2;
    val_t tmp;
    fra.me.prev = stack_frame_head;
    stack_frame_head = &fra.me;
    fra.me.file = LOCATE_standard___collection___range;
    fra.me.line = 56;
    fra.me.meth = LOCATE_standard___collection___range___Range___length;
    fra.me.has_broke = 0;
    fra.me.REG_size = 2;
    fra.me.nitni_local_ref_head = NULL;
    fra.me.REG[0] = NIT_NULL;
    fra.me.REG[1] = NIT_NULL;
    fra.me.REG[0] = p0;
    /* ../lib/standard/collection/range.nit:58 */
    REGB0 = TAG_Bool(ATTR_standard___collection___range___Range____first(fra.me.REG[0])!=NIT_NULL);
    if (UNTAG_Bool(REGB0)) {
    } else {
        nit_abort("Uninitialized attribute %s", "_first", LOCATE_standard___collection___range, 58);
    }
    fra.me.REG[1] = ATTR_standard___collection___range___Range____first(fra.me.REG[0]);
    REGB0 = TAG_Bool(ATTR_standard___collection___range___Range____after(fra.me.REG[0])!=NIT_NULL);
    if (UNTAG_Bool(REGB0)) {
    } else {
        nit_abort("Uninitialized attribute %s", "_after", LOCATE_standard___collection___range, 58);
    }
    fra.me.REG[0] = ATTR_standard___collection___range___Range____after(fra.me.REG[0]);
    REGB0 = CALL_standard___kernel___Discrete___distance(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
    /* ../lib/standard/collection/range.nit:59 */
    REGB1 = TAG_Int(0);
    REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
    if (UNTAG_Bool(REGB2)) {
    } else {
        nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
    }
    /* ../lib/standard/kernel.nit:234 */
    REGB1 = TAG_Bool(UNTAG_Int(REGB0)>UNTAG_Int(REGB1));
    /* ../lib/standard/collection/range.nit:59 */
    if (UNTAG_Bool(REGB1)) {
        /* ../lib/standard/collection/range.nit:60 */
        goto label1;
    } else {
        /* ../lib/standard/collection/range.nit:62 */
        REGB1 = TAG_Int(0);
        REGB0 = REGB1;
        goto label1;
    }
label1:
    while(0);
    stack_frame_head = fra.me.prev;
    return REGB0;
}
val_t standard___collection___range___Range___has_only(val_t p0, val_t p1) {
    struct {
        struct stack_frame_t me;
        val_t MORE_REG[2];
    } 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_standard___collection___range;
    fra.me.line = 32;
    fra.me.meth = LOCATE_standard___collection___range___Range___has_only;
    fra.me.has_broke = 0;
    fra.me.REG_size = 3;
    fra.me.nitni_local_ref_head = NULL;
    fra.me.REG[0] = NIT_NULL;
    fra.me.REG[1] = NIT_NULL;
    fra.me.REG[2] = NIT_NULL;
    fra.me.REG[0] = p0;
    fra.me.REG[1] = p1;
    /* ../lib/standard/collection/range.nit:32 */
    REGB0 = TAG_Bool(ATTR_standard___collection___range___Range____first(fra.me.REG[0])!=NIT_NULL);
    if (UNTAG_Bool(REGB0)) {
    } else {
        nit_abort("Uninitialized attribute %s", "_first", LOCATE_standard___collection___range, 32);
    }
    fra.me.REG[2] = ATTR_standard___collection___range___Range____first(fra.me.REG[0]);
    REGB0 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[2],fra.me.REG[1]));
    if (UNTAG_Bool(REGB0)) {
    } else {
        REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
        REGB0 = REGB1;
    }
    if (UNTAG_Bool(REGB0)) {
        REGB0 = TAG_Bool(ATTR_standard___collection___range___Range____last(fra.me.REG[0])!=NIT_NULL);
        if (UNTAG_Bool(REGB0)) {
        } else {
            nit_abort("Uninitialized attribute %s", "_last", LOCATE_standard___collection___range, 32);
        }
        fra.me.REG[0] = ATTR_standard___collection___range___Range____last(fra.me.REG[0]);
        REGB0 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[1],fra.me.REG[0]));
        if (UNTAG_Bool(REGB0)) {
        } else {
            REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
            REGB0 = REGB1;
        }
    } else {
        REGB1 = TAG_Bool(false);
        REGB0 = REGB1;
    }
    goto label1;
label1:
    while(0);
    stack_frame_head = fra.me.prev;
    return REGB0;
}
val_t reachable_as_init_impl___ReachableAsInitAnalysisImpl___is_method_reachable_as_init(val_t p0, val_t p1, val_t p2){
  struct {struct stack_frame_t me; val_t MORE_REG[3];} 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_reachable_as_init_impl;
  fra.me.line = 47;
  fra.me.meth = LOCATE_reachable_as_init_impl___ReachableAsInitAnalysisImpl___is_method_reachable_as_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;
  /* ./analysis//reachable_as_init_impl.nit:48 */
  REGB0 = TAG_Bool(ATTR_reachable_as_init_impl___ReachableAsInitAnalysisImpl____methods(fra.me.REG[0])!=NIT_NULL);
  if (UNTAG_Bool(REGB0)) {
  } else {
    nit_abort("Uninitialized attribute %s", "_methods", LOCATE_reachable_as_init_impl, 48);
  }
  fra.me.REG[3] = ATTR_reachable_as_init_impl___ReachableAsInitAnalysisImpl____methods(fra.me.REG[0]);
  REGB0 = CALL_abstract_collection___MapRead___has_key(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[2]);
  if (UNTAG_Bool(REGB0)) {
    REGB0 = TAG_Bool(ATTR_reachable_as_init_impl___ReachableAsInitAnalysisImpl____methods(fra.me.REG[0])!=NIT_NULL);
    if (UNTAG_Bool(REGB0)) {
    } else {
      nit_abort("Uninitialized attribute %s", "_methods", LOCATE_reachable_as_init_impl, 48);
    }
    fra.me.REG[0] = ATTR_reachable_as_init_impl___ReachableAsInitAnalysisImpl____methods(fra.me.REG[0]);
    fra.me.REG[2] = CALL_abstract_collection___MapRead_____bra(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[2]);
    REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
    if (UNTAG_Bool(REGB0)) {
      nit_abort("Reciever is null", NULL, LOCATE_reachable_as_init_impl, 48);
    }
    REGB0 = CALL_abstract_collection___Collection___has(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
    goto label1;
  }
  /* ./analysis//reachable_as_init_impl.nit:49 */
  REGB1 = TAG_Bool(false);
  REGB0 = REGB1;
  goto label1;
  label1: while(0);
  stack_frame_head = fra.me.prev;
  return REGB0;
}
val_t syntax___extern_type_inheritance___MMLocalClass___extern_type_origin(val_t p0){
  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_syntax___extern_type_inheritance;
  fra.me.line = 29;
  fra.me.meth = LOCATE_syntax___extern_type_inheritance___MMLocalClass___extern_type_origin;
  fra.me.has_broke = 0;
  fra.me.REG_size = 2;
  fra.me.nitni_local_ref_head = NULL;
  fra.me.REG[0] = NIT_NULL;
  fra.me.REG[1] = NIT_NULL;
  fra.me.REG[0] = p0;
  /* syntax/extern_type_inheritance.nit:29 */
  fra.me.REG[1] = fra.me.REG[0];
  /* syntax/extern_type_inheritance.nit:31 */
  CALL_syntax___extern_inline___MMLocalClass___extern_type(fra.me.REG[1])(fra.me.REG[1]);
  /* syntax/extern_type_inheritance.nit:32 */
  fra.me.REG[1] = CALL_syntax___extern_type_inheritance___MMLocalClass___extern_type_origin_cache(fra.me.REG[1])(fra.me.REG[1]);
  REGB0 = TAG_Bool(fra.me.REG[1]!=NIT_NULL);
  if (UNTAG_Bool(REGB0)) {
  } else {
    nit_abort("Cast failed", NULL, LOCATE_syntax___extern_type_inheritance, 32);
  }
  goto label1;
  label1: while(0);
  stack_frame_head = fra.me.prev;
  return fra.me.REG[1];
}
val_t standard___collection___range___Range___after(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_standard___collection___range;
    fra.me.line = 27;
    fra.me.meth = LOCATE_standard___collection___range___Range___after;
    fra.me.has_broke = 0;
    fra.me.REG_size = 1;
    fra.me.nitni_local_ref_head = NULL;
    fra.me.REG[0] = NIT_NULL;
    fra.me.REG[0] = p0;
    /* ../lib/standard/collection/range.nit:27 */
    REGB0 = TAG_Bool(ATTR_standard___collection___range___Range____after(fra.me.REG[0])!=NIT_NULL);
    if (UNTAG_Bool(REGB0)) {
    } else {
        nit_abort("Uninitialized attribute %s", "_after", LOCATE_standard___collection___range, 27);
    }
    fra.me.REG[0] = ATTR_standard___collection___range___Range____after(fra.me.REG[0]);
    stack_frame_head = fra.me.prev;
    return fra.me.REG[0];
}
void standard___collection___range___IteratorRange___next(val_t p0) {
    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_standard___collection___range;
    fra.me.line = 95;
    fra.me.meth = LOCATE_standard___collection___range___IteratorRange___next;
    fra.me.has_broke = 0;
    fra.me.REG_size = 2;
    fra.me.nitni_local_ref_head = NULL;
    fra.me.REG[0] = NIT_NULL;
    fra.me.REG[1] = NIT_NULL;
    fra.me.REG[0] = p0;
    /* ../lib/standard/collection/range.nit:95 */
    REGB0 = TAG_Bool(ATTR_standard___collection___range___IteratorRange____item(fra.me.REG[0])!=NIT_NULL);
    if (UNTAG_Bool(REGB0)) {
    } else {
        nit_abort("Uninitialized attribute %s", "_item", LOCATE_standard___collection___range, 95);
    }
    fra.me.REG[1] = ATTR_standard___collection___range___IteratorRange____item(fra.me.REG[0]);
    fra.me.REG[1] = CALL_standard___kernel___Discrete___succ(fra.me.REG[1])(fra.me.REG[1]);
    ATTR_standard___collection___range___IteratorRange____item(fra.me.REG[0]) = fra.me.REG[1];
    stack_frame_head = fra.me.prev;
    return;
}
val_t syntax___extern_type_inheritance___MMLocalClass___extern_c_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_syntax___extern_type_inheritance;
  fra.me.line = 24;
  fra.me.meth = LOCATE_syntax___extern_type_inheritance___MMLocalClass___extern_c_type;
  fra.me.has_broke = 0;
  fra.me.REG_size = 1;
  fra.me.nitni_local_ref_head = NULL;
  fra.me.REG[0] = NIT_NULL;
  fra.me.REG[0] = p0;
  /* syntax/extern_type_inheritance.nit:26 */
  fra.me.REG[0] = CALL_syntax___extern_inline___MMLocalClass___extern_type(fra.me.REG[0])(fra.me.REG[0]);
  REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
  if (UNTAG_Bool(REGB0)) {
    nit_abort("Reciever is null", NULL, LOCATE_syntax___extern_type_inheritance, 26);
  }
  fra.me.REG[0] = CALL_syntax___extern_inline___ExternCode___code(fra.me.REG[0])(fra.me.REG[0]);
  goto label1;
  label1: while(0);
  stack_frame_head = fra.me.prev;
  return fra.me.REG[0];
}
Пример #9
0
val_t metamodel___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_metamodel___type_formal;
  fra.me.line = 46;
  fra.me.meth = LOCATE_metamodel___type_formal___MMTypeFormal___local_class;
  fra.me.has_broke = 0;
  fra.me.REG_size = 1;
  fra.me.nitni_local_ref_head = NULL;
  fra.me.REG[0] = NIT_NULL;
  fra.me.REG[0] = p0;
  /* metamodel/type_formal.nit:46 */
  fra.me.REG[0] = ATTR_metamodel___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_metamodel___type_formal, 46);
  }
  fra.me.REG[0] = CALL_metamodel___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 compiling___compiling_writer___Writer___append(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_compiling___compiling_writer;
  fra.me.line = 56;
  fra.me.meth = LOCATE_compiling___compiling_writer___Writer___append;
  fra.me.has_broke = 0;
  fra.me.REG_size = 2;
  fra.me.nitni_local_ref_head = NULL;
  fra.me.REG[0] = NIT_NULL;
  fra.me.REG[1] = NIT_NULL;
  fra.me.REG[0] = p0;
  fra.me.REG[1] = p1;
  /* compiling/compiling_writer.nit:59 */
  REGB0 = CALL_compiling___compiling_writer___Writer___is_frozen(fra.me.REG[0])(fra.me.REG[0]);
  REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
  if (UNTAG_Bool(REGB0)) {
  } else {
    nit_abort("Assert failed", NULL, LOCATE_compiling___compiling_writer, 59);
  }
  /* compiling/compiling_writer.nit:60 */
  fra.me.REG[1] = NEW_WriterCoreNode_compiling___compiling_writer___WriterCoreNode___init(fra.me.REG[1]);
  CALL_compiling___compiling_writer___Writer___internal_append(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
  /* compiling/compiling_writer.nit:61 */
  ATTR_compiling___compiling_writer___Writer____last_string(fra.me.REG[0]) = NIT_NULL;
  /* compiling/compiling_writer.nit:62 */
  goto label1;
  label1: while(0);
  stack_frame_head = fra.me.prev;
  return fra.me.REG[0];
}
Пример #11
0
val_t metamodel___type_formal___MMTypeFormal___bound(val_t p0){
  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_metamodel___type_formal;
  fra.me.line = 38;
  fra.me.meth = LOCATE_metamodel___type_formal___MMTypeFormal___bound;
  fra.me.has_broke = 0;
  fra.me.REG_size = 2;
  fra.me.nitni_local_ref_head = NULL;
  fra.me.REG[0] = NIT_NULL;
  fra.me.REG[1] = NIT_NULL;
  fra.me.REG[0] = p0;
  /* metamodel/type_formal.nit:38 */
  fra.me.REG[1] = fra.me.REG[0];
  /* metamodel/type_formal.nit:39 */
  fra.me.REG[1] = ATTR_metamodel___type_formal___MMTypeFormal____bound(fra.me.REG[1]);
  REGB0 = TAG_Bool(fra.me.REG[1]!=NIT_NULL);
  if (UNTAG_Bool(REGB0)) {
  } else {
    nit_abort("Cast failed", NULL, LOCATE_metamodel___type_formal, 39);
  }
  goto label1;
  label1: while(0);
  stack_frame_head = fra.me.prev;
  return fra.me.REG[1];
}
Пример #12
0
val_t metamodel___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_metamodel___type_formal;
  fra.me.line = 43;
  fra.me.meth = LOCATE_metamodel___type_formal___MMTypeFormal___is_supertype;
  fra.me.has_broke = 0;
  fra.me.REG_size = 2;
  fra.me.nitni_local_ref_head = NULL;
  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:43 */
  fra.me.REG[0] = ATTR_metamodel___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_metamodel___type_formal, 43);
  }
  REGB0 = CALL_metamodel___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 metamodel___virtualtype___MMLocalClass___select_virtual_type(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_metamodel___virtualtype;
  fra.me.line = 100;
  fra.me.meth = LOCATE_metamodel___virtualtype___MMLocalClass___select_virtual_type;
  fra.me.has_broke = 0;
  fra.me.REG_size = 2;
  fra.me.nitni_local_ref_head = NULL;
  fra.me.REG[0] = NIT_NULL;
  fra.me.REG[1] = NIT_NULL;
  fra.me.REG[0] = p0;
  fra.me.REG[1] = p1;
  /* metamodel/virtualtype.nit:103 */
  fra.me.REG[1] = CALL_metamodel___virtualtype___MMLocalClass___virtual_type(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
  /* metamodel/virtualtype.nit:104 */
  fra.me.REG[1] = CALL_metamodel___abstractmetamodel___MMLocalClass_____bra(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
  /* metamodel/virtualtype.nit:105 */
  REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[1], COLOR_metamodel___virtualtype___MMTypeProperty, ID_metamodel___virtualtype___MMTypeProperty)) /*cast MMTypeProperty*/;
  if (UNTAG_Bool(REGB0)) {
  } else {
    nit_abort("Assert failed", NULL, LOCATE_metamodel___virtualtype, 105);
  }
  /* metamodel/virtualtype.nit:106 */
  goto label1;
  label1: while(0);
  stack_frame_head = fra.me.prev;
  return fra.me.REG[1];
}
Пример #14
0
val_t symbol___Symbol___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_symbol;
  fra.me.line = 37;
  fra.me.meth = LOCATE_symbol___Symbol___to_s;
  fra.me.has_broke = 0;
  fra.me.REG_size = 1;
  fra.me.REG[0] = NIT_NULL;
  fra.me.REG[0] = p0;
  /* ./../lib/standard//symbol.nit:37 */
  REGB0 = TAG_Bool(ATTR_symbol___Symbol____string(fra.me.REG[0])!=NIT_NULL);
  if (UNTAG_Bool(REGB0)) {
  } else {
    nit_abort("Uninitialized attribute %s", "_string", LOCATE_symbol, 37);
  }
  fra.me.REG[0] = ATTR_symbol___Symbol____string(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];
}
val_t metamodel___virtualtype___MMVirtualType___adapt_to(val_t p0, val_t p1){
  struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
  val_t REGB0;
  val_t tmp;
  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  fra.me.file = LOCATE_metamodel___virtualtype;
  fra.me.line = 84;
  fra.me.meth = LOCATE_metamodel___virtualtype___MMVirtualType___adapt_to;
  fra.me.has_broke = 0;
  fra.me.REG_size = 3;
  fra.me.nitni_local_ref_head = NULL;
  fra.me.REG[0] = NIT_NULL;
  fra.me.REG[1] = NIT_NULL;
  fra.me.REG[2] = NIT_NULL;
  fra.me.REG[0] = p0;
  fra.me.REG[1] = p1;
  /* metamodel/virtualtype.nit:84 */
  fra.me.REG[2] = fra.me.REG[0];
  /* metamodel/virtualtype.nit:86 */
  fra.me.REG[2] = CALL_metamodel___virtualtype___MMVirtualType___property(fra.me.REG[2])(fra.me.REG[2]);
  fra.me.REG[1] = CALL_metamodel___virtualtype___MMTypeProperty___stype_for(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
  REGB0 = TAG_Bool(fra.me.REG[1]!=NIT_NULL);
  if (UNTAG_Bool(REGB0)) {
  } else {
    nit_abort("Cast failed", NULL, LOCATE_metamodel___virtualtype, 86);
  }
  goto label1;
  label1: while(0);
  stack_frame_head = fra.me.prev;
  return fra.me.REG[1];
}
val_t metamodel___virtualtype___MMLocalClass___virtual_type(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_metamodel___virtualtype;
  fra.me.line = 91;
  fra.me.meth = LOCATE_metamodel___virtualtype___MMLocalClass___virtual_type;
  fra.me.has_broke = 0;
  fra.me.REG_size = 2;
  fra.me.nitni_local_ref_head = NULL;
  fra.me.REG[0] = NIT_NULL;
  fra.me.REG[1] = NIT_NULL;
  fra.me.REG[0] = p0;
  fra.me.REG[1] = p1;
  /* metamodel/virtualtype.nit:93 */
  fra.me.REG[1] = CALL_metamodel___abstractmetamodel___MMLocalClass___get_property_by_name(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
  /* metamodel/virtualtype.nit:94 */
  REGB0 = CALL_metamodel___virtualtype___MMGlobalProperty___is_virtual_type(fra.me.REG[1])(fra.me.REG[1]);
  if (UNTAG_Bool(REGB0)) {
    /* metamodel/virtualtype.nit:95 */
    goto label1;
  }
  /* metamodel/virtualtype.nit:97 */
  nit_abort("Aborted", NULL, LOCATE_metamodel___virtualtype, 97);
  label1: while(0);
  stack_frame_head = fra.me.prev;
  return fra.me.REG[1];
}
val_t metamodel___virtualtype___MMVirtualType___mmmodule(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_metamodel___virtualtype;
  fra.me.line = 71;
  fra.me.meth = LOCATE_metamodel___virtualtype___MMVirtualType___mmmodule;
  fra.me.has_broke = 0;
  fra.me.REG_size = 1;
  fra.me.nitni_local_ref_head = NULL;
  fra.me.REG[0] = NIT_NULL;
  fra.me.REG[0] = p0;
  /* metamodel/virtualtype.nit:71 */
  REGB0 = TAG_Bool(ATTR_metamodel___virtualtype___MMVirtualType____recv(fra.me.REG[0])!=NIT_NULL);
  if (UNTAG_Bool(REGB0)) {
  } else {
    nit_abort("Uninitialized attribute %s", "_recv", LOCATE_metamodel___virtualtype, 71);
  }
  fra.me.REG[0] = ATTR_metamodel___virtualtype___MMVirtualType____recv(fra.me.REG[0]);
  fra.me.REG[0] = CALL_metamodel___static_type___MMType___mmmodule(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 metamodel___virtualtype___MMTypeProperty___stype_for(val_t p0, val_t p1){
  struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
  val_t REGB0;
  val_t tmp;
  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  fra.me.file = LOCATE_metamodel___virtualtype;
  fra.me.line = 31;
  fra.me.meth = LOCATE_metamodel___virtualtype___MMTypeProperty___stype_for;
  fra.me.has_broke = 0;
  fra.me.REG_size = 4;
  fra.me.nitni_local_ref_head = NULL;
  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;
  /* metamodel/virtualtype.nit:34 */
  fra.me.REG[2] = CALL_metamodel___static_type___MMType___local_class(fra.me.REG[1])(fra.me.REG[1]);
  fra.me.REG[3] = CALL_metamodel___abstractmetamodel___MMLocalProperty___global(fra.me.REG[0])(fra.me.REG[0]);
  fra.me.REG[3] = CALL_metamodel___abstractmetamodel___MMLocalClass_____bra(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]);
  /* metamodel/virtualtype.nit:35 */
  REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[3], COLOR_metamodel___virtualtype___MMTypeProperty, ID_metamodel___virtualtype___MMTypeProperty)) /*cast MMTypeProperty*/;
  if (UNTAG_Bool(REGB0)) {
  } else {
    nit_abort("Assert failed", NULL, LOCATE_metamodel___virtualtype, 35);
  }
  /* metamodel/virtualtype.nit:36 */
  fra.me.REG[1] = CALL_metamodel___virtualtype___MMTypeProperty___real_stype_for(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[1]);
  goto label1;
  label1: while(0);
  stack_frame_head = fra.me.prev;
  return fra.me.REG[1];
}
void compiling___compiling_writer___WriterCoreNode___internal_write_to_stream(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_compiling___compiling_writer;
  fra.me.line = 124;
  fra.me.meth = LOCATE_compiling___compiling_writer___WriterCoreNode___internal_write_to_stream;
  fra.me.has_broke = 0;
  fra.me.REG_size = 2;
  fra.me.nitni_local_ref_head = NULL;
  fra.me.REG[0] = NIT_NULL;
  fra.me.REG[1] = NIT_NULL;
  fra.me.REG[0] = p0;
  fra.me.REG[1] = p1;
  /* compiling/compiling_writer.nit:124 */
  REGB0 = TAG_Bool(ATTR_compiling___compiling_writer___WriterCoreNode____writer(fra.me.REG[0])!=NIT_NULL);
  if (UNTAG_Bool(REGB0)) {
  } else {
    nit_abort("Uninitialized attribute %s", "_writer", LOCATE_compiling___compiling_writer, 124);
  }
  fra.me.REG[0] = ATTR_compiling___compiling_writer___WriterCoreNode____writer(fra.me.REG[0]);
  CALL_compiling___compiling_writer___Writer___write_to_stream(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
  stack_frame_head = fra.me.prev;
  return;
}
Пример #20
0
 void OC_reachable_as_init_impl___ReachableAsInitBuilder___work_1(struct stack_frame_t *closctx, 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_reachable_as_init_impl;
   fra.me.line = 28;
   fra.me.meth = LOCATE_reachable_as_init_impl___ReachableAsInitBuilder___work;
   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;
   /* ./analysis//reachable_as_init_impl.nit:29 */
   fra.me.REG[1] = CALL_reachable_as_init_impl___ReachableAsInitBuilder___program(closctx->REG[0])(closctx->REG[0]);
   fra.me.REG[1] = CALL_reachable_method_analysis___Program___rma(fra.me.REG[1])(fra.me.REG[1]);
   REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
   if (UNTAG_Bool(REGB0)) {
     nit_abort("Reciever is null", NULL, LOCATE_reachable_as_init_impl, 29);
   }
   REGB0 = CALL_reachable_method_analysis___ReachableMethodAnalysis___is_iroutine_reachable(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
   if (UNTAG_Bool(REGB0)) {
     /* ./analysis//reachable_as_init_impl.nit:30 */
     fra.me.REG[1] = NEW_RAIVisitor_reachable_as_init_impl___RAIVisitor___init(closctx->REG[0]);
     /* ./analysis//reachable_as_init_impl.nit:31 */
     CALL_icode_tools___ICodeVisitor___visit_iroutine(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
   }
   stack_frame_head = fra.me.prev;
   return;
 }
Пример #21
0
val_t metamodel___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_metamodel___type_formal;
  fra.me.line = 49;
  fra.me.meth = LOCATE_metamodel___type_formal___MMTypeFormal___to_s;
  fra.me.has_broke = 0;
  fra.me.REG_size = 1;
  fra.me.nitni_local_ref_head = NULL;
  fra.me.REG[0] = NIT_NULL;
  fra.me.REG[0] = p0;
  /* metamodel/type_formal.nit:49 */
  REGB0 = TAG_Bool(ATTR_metamodel___type_formal___MMTypeFormal____name(fra.me.REG[0])!=NIT_NULL);
  if (UNTAG_Bool(REGB0)) {
  } else {
    nit_abort("Uninitialized attribute %s", "_name", LOCATE_metamodel___type_formal, 49);
  }
  fra.me.REG[0] = ATTR_metamodel___type_formal___MMTypeFormal____name(fra.me.REG[0]);
  fra.me.REG[0] = CALL_standard___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 OC_global___instantiated_type_analysis___Program___dump_not_instantiated_types_4(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0){
   struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
   val_t REGB0;
   fun_t CREG[1];
   val_t tmp;
     static val_t once_value_5; /* Once value */
     static val_t once_value_6; /* Once value */
   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
   fra.me.file = LOCATE_global___instantiated_type_analysis;
   fra.me.line = 0;
   fra.me.meth = LOCATE_global___instantiated_type_analysis___Program___dump_not_instantiated_types;
   fra.me.has_broke = 0;
   fra.me.REG_size = 3;
   fra.me.nitni_local_ref_head = NULL;
   fra.me.REG[0] = NIT_NULL;
   fra.me.REG[1] = NIT_NULL;
   fra.me.REG[2] = NIT_NULL;
   fra.me.closure_ctx = closctx_param;
   fra.me.closure_funs = CREG;
   fra.me.REG[0] = p0;
   CREG[0] = clos_fun0;
   /* global/instantiated_type_analysis.nit:40 */
   fra.me.REG[1] = CALL_global___instantiated_type_analysis___Program___ita(closctx->REG[0])(closctx->REG[0]);
   REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
   if (UNTAG_Bool(REGB0)) {
     nit_abort("Reciever is null", NULL, LOCATE_global___instantiated_type_analysis, 40);
   }
   REGB0 = CALL_global___instantiated_type_analysis___InstantiatedTypeAnalysis___is_class_instantiated(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
   REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
   if (UNTAG_Bool(REGB0)) {
     /* global/instantiated_type_analysis.nit:41 */
     REGB0 = TAG_Int(3);
     fra.me.REG[1] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0);
     if (!once_value_5) {
       fra.me.REG[2] = BOX_NativeString("");
       REGB0 = TAG_Int(0);
       fra.me.REG[2] = NEW_String_standard___string___String___with_native(fra.me.REG[2], REGB0);
       once_value_5 = fra.me.REG[2];
       register_static_object(&once_value_5);
     } else fra.me.REG[2] = once_value_5;
     fra.me.REG[2] = fra.me.REG[2];
     CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
     fra.me.REG[0] = CALL_standard___string___Object___to_s(fra.me.REG[0])(fra.me.REG[0]);
     CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
     if (!once_value_6) {
       fra.me.REG[0] = BOX_NativeString("\n");
       REGB0 = TAG_Int(1);
       fra.me.REG[0] = NEW_String_standard___string___String___with_native(fra.me.REG[0], REGB0);
       once_value_6 = fra.me.REG[0];
       register_static_object(&once_value_6);
     } else fra.me.REG[0] = once_value_6;
     fra.me.REG[0] = fra.me.REG[0];
     CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
     fra.me.REG[1] = CALL_standard___string___Object___to_s(fra.me.REG[1])(fra.me.REG[1]);
     CALL_standard___stream___OStream___write(closctx->REG[2])(closctx->REG[2], fra.me.REG[1]);
   }
   stack_frame_head = fra.me.prev;
   return;
 }
val_t compiling___compiling_writer___Writer___add(val_t p0, val_t p1){
  struct {struct stack_frame_t me; val_t MORE_REG[2];} 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_compiling___compiling_writer;
  fra.me.line = 23;
  fra.me.meth = LOCATE_compiling___compiling_writer___Writer___add;
  fra.me.has_broke = 0;
  fra.me.REG_size = 3;
  fra.me.nitni_local_ref_head = NULL;
  fra.me.REG[0] = NIT_NULL;
  fra.me.REG[1] = NIT_NULL;
  fra.me.REG[2] = NIT_NULL;
  fra.me.REG[0] = p0;
  fra.me.REG[1] = p1;
  /* compiling/compiling_writer.nit:26 */
  REGB0 = CALL_compiling___compiling_writer___Writer___is_frozen(fra.me.REG[0])(fra.me.REG[0]);
  REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
  if (UNTAG_Bool(REGB0)) {
  } else {
    nit_abort("Assert failed", NULL, LOCATE_compiling___compiling_writer, 26);
  }
  /* compiling/compiling_writer.nit:27 */
  fra.me.REG[2] = ATTR_compiling___compiling_writer___Writer____last_string(fra.me.REG[0]);
  /* compiling/compiling_writer.nit:28 */
  fra.me.REG[1] = NEW_WriterStrings_compiling___compiling_writer___WriterStrings___init(fra.me.REG[1]);
  /* compiling/compiling_writer.nit:29 */
  REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
  if (UNTAG_Bool(REGB0)) {
  } else {
    REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
    if (UNTAG_Bool(REGB1)) {
      REGB1 = TAG_Bool(false);
      REGB0 = REGB1;
    } else {
      REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
      REGB0 = REGB1;
    }
  }
  if (UNTAG_Bool(REGB0)) {
    /* compiling/compiling_writer.nit:30 */
    CALL_compiling___compiling_writer___Writer___internal_append(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
  } else {
    /* compiling/compiling_writer.nit:32 */
    ATTR_compiling___compiling_writer___WriterStrings____next(fra.me.REG[2]) = fra.me.REG[1];
  }
  /* compiling/compiling_writer.nit:34 */
  ATTR_compiling___compiling_writer___Writer____last_string(fra.me.REG[0]) = fra.me.REG[1];
  /* compiling/compiling_writer.nit:35 */
  goto label1;
  label1: while(0);
  stack_frame_head = fra.me.prev;
  return fra.me.REG[0];
}
 void OC_global___reachable_method_analysis___Program___dump_unreachable_methods_5(struct stack_frame_t *closctx, val_t p0){
   struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
   val_t REGB0;
   val_t tmp;
     static val_t once_value_6; /* Once value */
     static val_t once_value_7; /* Once value */
   /* global/reachable_method_analysis.nit:41 */
   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
   fra.me.file = LOCATE_global___reachable_method_analysis;
   fra.me.line = 41;
   fra.me.meth = LOCATE_global___reachable_method_analysis___Program___dump_unreachable_methods;
   fra.me.has_broke = 0;
   fra.me.REG_size = 3;
   fra.me.nitni_local_ref_head = NULL;
   fra.me.REG[0] = NIT_NULL;
   fra.me.REG[1] = NIT_NULL;
   fra.me.REG[2] = NIT_NULL;
   fra.me.REG[0] = p0;
   /* global/reachable_method_analysis.nit:42 */
   fra.me.REG[1] = CALL_global___reachable_method_analysis___Program___rma(closctx->REG[0])(closctx->REG[0]);
   REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
   if (UNTAG_Bool(REGB0)) {
     nit_abort("Reciever is null", NULL, LOCATE_global___reachable_method_analysis, 42);
   }
   REGB0 = CALL_global___reachable_method_analysis___ReachableMethodAnalysis___is_method_reachable(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
   REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
   if (UNTAG_Bool(REGB0)) {
     /* global/reachable_method_analysis.nit:43 */
     REGB0 = TAG_Int(3);
     fra.me.REG[1] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0);
     if (!once_value_6) {
       fra.me.REG[2] = BOX_NativeString("");
       REGB0 = TAG_Int(0);
       fra.me.REG[2] = NEW_String_standard___string___String___with_native(fra.me.REG[2], REGB0);
       once_value_6 = fra.me.REG[2];
       register_static_object(&once_value_6);
     } else fra.me.REG[2] = once_value_6;
     fra.me.REG[2] = fra.me.REG[2];
     CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
     fra.me.REG[0] = CALL_metamodel___abstractmetamodel___MMLocalProperty___full_name(fra.me.REG[0])(fra.me.REG[0]);
     CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
     if (!once_value_7) {
       fra.me.REG[0] = BOX_NativeString("\n");
       REGB0 = TAG_Int(1);
       fra.me.REG[0] = NEW_String_standard___string___String___with_native(fra.me.REG[0], REGB0);
       once_value_7 = fra.me.REG[0];
       register_static_object(&once_value_7);
     } else fra.me.REG[0] = once_value_7;
     fra.me.REG[0] = fra.me.REG[0];
     CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
     fra.me.REG[1] = CALL_standard___string___Object___to_s(fra.me.REG[1])(fra.me.REG[1]);
     CALL_standard___stream___OStream___write(closctx->REG[3])(closctx->REG[3], fra.me.REG[1]);
   }
   stack_frame_head = fra.me.prev;
   return;
 }
Пример #25
0
void ffi___ffi_base___ExternCode___init(val_t p0, val_t p1, val_t p2, val_t p3, int* init_table){
  int itpos0 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_syntax___extern_inline___ExternCode].i;
  struct {struct stack_frame_t me; val_t MORE_REG[5];} fra;
  val_t REGB0;
  val_t REGB1;
  val_t tmp;
  if (init_table[itpos0]) return;
  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  fra.me.file = LOCATE_ffi___ffi_base;
  fra.me.line = 45;
  fra.me.meth = LOCATE_ffi___ffi_base___ExternCode___init;
  fra.me.has_broke = 0;
  fra.me.REG_size = 6;
  fra.me.nitni_local_ref_head = NULL;
  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[4] = NIT_NULL;
  fra.me.REG[5] = NIT_NULL;
  fra.me.REG[0] = p0;
  fra.me.REG[1] = p1;
  fra.me.REG[2] = p2;
  fra.me.REG[3] = p3;
  /* ffi/ffi_base.nit:45 */
  fra.me.REG[4] = fra.me.REG[0];
  fra.me.REG[5] = fra.me.REG[1];
  /* ffi/ffi_base.nit:47 */
  CALL_SUPER_ffi___ffi_base___ExternCode___init(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], fra.me.REG[2], fra.me.REG[3], init_table);
  /* ffi/ffi_base.nit:48 */
  REGB0 = TAG_Bool(fra.me.REG[5]==NIT_NULL);
  if (UNTAG_Bool(REGB0)) {
  } else {
    REGB1 = TAG_Bool(fra.me.REG[5]==NIT_NULL);
    if (UNTAG_Bool(REGB1)) {
      REGB1 = TAG_Bool(0);
      REGB0 = REGB1;
    } else {
      REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[5])(fra.me.REG[5], NIT_NULL);
      REGB0 = REGB1;
    }
  }
  REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
  if (UNTAG_Bool(REGB0)) {
    REGB0 = TAG_Bool(fra.me.REG[5]==NIT_NULL);
    if (UNTAG_Bool(REGB0)) {
      nit_abort("Reciever is null", NULL, LOCATE_ffi___ffi_base, 48);
    }
    fra.me.REG[5] = CALL_standard___string___AbstractString___to_lower(fra.me.REG[5])(fra.me.REG[5]);
    CALL_ffi___ffi_base___ExternCode___language_lowered__eq(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[5]);
  }
  stack_frame_head = fra.me.prev;
  init_table[itpos0] = 1;
  return;
}
void compiling___compiling_writer___WriterStrings___internal_write_to_stream(val_t p0, val_t p1){
  struct {struct stack_frame_t me; val_t MORE_REG[2];} 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_compiling___compiling_writer;
  fra.me.line = 143;
  fra.me.meth = LOCATE_compiling___compiling_writer___WriterStrings___internal_write_to_stream;
  fra.me.has_broke = 0;
  fra.me.REG_size = 3;
  fra.me.nitni_local_ref_head = NULL;
  fra.me.REG[0] = NIT_NULL;
  fra.me.REG[1] = NIT_NULL;
  fra.me.REG[2] = NIT_NULL;
  fra.me.REG[0] = p0;
  fra.me.REG[1] = p1;
  /* compiling/compiling_writer.nit:146 */
  while(1) {
    REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
    if (UNTAG_Bool(REGB0)) {
    } else {
      REGB1 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
      if (UNTAG_Bool(REGB1)) {
        REGB1 = TAG_Bool(false);
        REGB0 = REGB1;
      } else {
        REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[0])(fra.me.REG[0], NIT_NULL);
        REGB0 = REGB1;
      }
    }
    REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
    if (UNTAG_Bool(REGB0)) {
      /* compiling/compiling_writer.nit:147 */
      REGB0 = TAG_Bool(ATTR_compiling___compiling_writer___WriterStrings____string(fra.me.REG[0])!=NIT_NULL);
      if (UNTAG_Bool(REGB0)) {
      } else {
        nit_abort("Uninitialized attribute %s", "_string", LOCATE_compiling___compiling_writer, 147);
      }
      fra.me.REG[2] = ATTR_compiling___compiling_writer___WriterStrings____string(fra.me.REG[0]);
      CALL_standard___stream___OStream___write(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
      /* compiling/compiling_writer.nit:148 */
      fra.me.REG[2] = ATTR_compiling___compiling_writer___WriterStrings____next(fra.me.REG[0]);
      fra.me.REG[0] = fra.me.REG[2];
    } else {
      /* compiling/compiling_writer.nit:146 */
      goto label1;
    }
  }
  label1: while(0);
  stack_frame_head = fra.me.prev;
  return;
}
val_t standard___collection___range___IteratorRange___is_ok(val_t p0) {
    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_standard___collection___range;
    fra.me.line = 93;
    fra.me.meth = LOCATE_standard___collection___range___IteratorRange___is_ok;
    fra.me.has_broke = 0;
    fra.me.REG_size = 2;
    fra.me.nitni_local_ref_head = NULL;
    fra.me.REG[0] = NIT_NULL;
    fra.me.REG[1] = NIT_NULL;
    fra.me.REG[0] = p0;
    /* ../lib/standard/collection/range.nit:93 */
    REGB0 = TAG_Bool(ATTR_standard___collection___range___IteratorRange____item(fra.me.REG[0])!=NIT_NULL);
    if (UNTAG_Bool(REGB0)) {
    } else {
        nit_abort("Uninitialized attribute %s", "_item", LOCATE_standard___collection___range, 93);
    }
    fra.me.REG[1] = ATTR_standard___collection___range___IteratorRange____item(fra.me.REG[0]);
    REGB0 = TAG_Bool(ATTR_standard___collection___range___IteratorRange____range(fra.me.REG[0])!=NIT_NULL);
    if (UNTAG_Bool(REGB0)) {
    } else {
        nit_abort("Uninitialized attribute %s", "_range", LOCATE_standard___collection___range, 93);
    }
    fra.me.REG[0] = ATTR_standard___collection___range___IteratorRange____range(fra.me.REG[0]);
    fra.me.REG[0] = CALL_standard___collection___range___Range___after(fra.me.REG[0])(fra.me.REG[0]);
    REGB0 = CALL_standard___kernel___Comparable_____l(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
    goto label1;
label1:
    while(0);
    stack_frame_head = fra.me.prev;
    return REGB0;
}
val_t reachable_method_analysis___ReachableMethodAnalysis___is_method_reachable(val_t p0, val_t p1){
  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_reachable_method_analysis;
  fra.me.line = 55;
  fra.me.meth = LOCATE_reachable_method_analysis___ReachableMethodAnalysis___is_method_reachable;
  fra.me.has_broke = 0;
  fra.me.REG_size = 0;
  /* ./analysis//reachable_method_analysis.nit:55 */
  nit_abort("Deferred method called", NULL, LOCATE_reachable_method_analysis, 55);
  stack_frame_head = fra.me.prev;
  return NIT_NULL;
}
Пример #29
0
void abstracttool___AbstractCompiler___perform_work(val_t p0, val_t p1){
  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_abstracttool;
  fra.me.line = 77;
  fra.me.meth = LOCATE_abstracttool___AbstractCompiler___perform_work;
  fra.me.has_broke = 0;
  fra.me.REG_size = 0;
  /* ./abstracttool.nit:77 */
  nit_abort("Deferred method called", NULL, LOCATE_abstracttool, 77);
  stack_frame_head = fra.me.prev;
  return;
}
val_t global___instantiated_type_analysis___InstantiatedTypeAnalysis___is_class_instantiated(val_t p0, val_t p1){
  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_global___instantiated_type_analysis;
  fra.me.line = 61;
  fra.me.meth = LOCATE_global___instantiated_type_analysis___InstantiatedTypeAnalysis___is_class_instantiated;
  fra.me.has_broke = 0;
  fra.me.REG_size = 0;
  fra.me.nitni_local_ref_head = NULL;
  /* global/instantiated_type_analysis.nit:61 */
  nit_abort("Deferred method called", NULL, LOCATE_global___instantiated_type_analysis, 61);
  stack_frame_head = fra.me.prev;
  return NIT_NULL;
}