use nitg to bootstrap; drop bootstrap of nitc
[nit.git] / c_src / global___instantiated_type_analysis._sep.c
diff --git a/c_src/global___instantiated_type_analysis._sep.c b/c_src/global___instantiated_type_analysis._sep.c
deleted file mode 100644 (file)
index 1a7701d..0000000
+++ /dev/null
@@ -1,427 +0,0 @@
-/* This C file is generated by NIT to compile module global___instantiated_type_analysis. */
-#include "global___instantiated_type_analysis._sep.h"
-static const char LOCATE_global___instantiated_type_analysis___Program___ita[] = "instantiated_type_analysis::Program::ita";
-val_t global___instantiated_type_analysis___Program___ita(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_global___instantiated_type_analysis;
-  fra.me.line = 23;
-  fra.me.meth = LOCATE_global___instantiated_type_analysis___Program___ita;
-  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;
-  /* global/instantiated_type_analysis.nit:23 */
-  fra.me.REG[0] = ATTR_global___instantiated_type_analysis___Program____ita(fra.me.REG[0]);
-  stack_frame_head = fra.me.prev;
-  return fra.me.REG[0];
-}
-static const char LOCATE_global___instantiated_type_analysis___Program___ita__eq[] = "instantiated_type_analysis::Program::ita=";
-void global___instantiated_type_analysis___Program___ita__eq(val_t p0, val_t p1){
-  struct {struct stack_frame_t me; val_t MORE_REG[1];} 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 = 23;
-  fra.me.meth = LOCATE_global___instantiated_type_analysis___Program___ita__eq;
-  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;
-  /* global/instantiated_type_analysis.nit:23 */
-  ATTR_global___instantiated_type_analysis___Program____ita(fra.me.REG[0]) = fra.me.REG[1];
-  stack_frame_head = fra.me.prev;
-  return;
-}
-static const char LOCATE_global___instantiated_type_analysis___Program___dump_instantiated_types[] = "instantiated_type_analysis::Program::dump_instantiated_types";
-void global___instantiated_type_analysis___Program___dump_instantiated_types(val_t p0, val_t p1){
-  struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
-  val_t REGB0;
-  val_t tmp;
-  static val_t once_value_1; /* Once value */
-  static val_t once_value_2; /* Once value */
-  static val_t once_value_3; /* Once value */
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_global___instantiated_type_analysis;
-  fra.me.line = 26;
-  fra.me.meth = LOCATE_global___instantiated_type_analysis___Program___dump_instantiated_types;
-  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;
-  /* global/instantiated_type_analysis.nit:28 */
-  REGB0 = TAG_Int(5);
-  fra.me.REG[2] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0);
-  if (!once_value_1) {
-    fra.me.REG[3] = BOX_NativeString("");
-    REGB0 = TAG_Int(0);
-    fra.me.REG[3] = CALL_standard___string___NativeString___to_s_with_length(fra.me.REG[3])(fra.me.REG[3], REGB0);
-    once_value_1 = fra.me.REG[3];
-    register_static_object(&once_value_1);
-  } else fra.me.REG[3] = once_value_1;
-  fra.me.REG[3] = fra.me.REG[3];
-  CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]);
-  CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
-  if (!once_value_2) {
-    fra.me.REG[1] = BOX_NativeString("/");
-    REGB0 = TAG_Int(1);
-    fra.me.REG[1] = CALL_standard___string___NativeString___to_s_with_length(fra.me.REG[1])(fra.me.REG[1], REGB0);
-    once_value_2 = fra.me.REG[1];
-    register_static_object(&once_value_2);
-  } else fra.me.REG[1] = once_value_2;
-  fra.me.REG[1] = fra.me.REG[1];
-  CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
-  fra.me.REG[1] = CALL_program___Program___main_module(fra.me.REG[0])(fra.me.REG[0]);
-  fra.me.REG[1] = CALL_metamodel___abstractmetamodel___MMModule___name(fra.me.REG[1])(fra.me.REG[1]);
-  fra.me.REG[1] = CALL_standard___string___Object___to_s(fra.me.REG[1])(fra.me.REG[1]);
-  CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
-  if (!once_value_3) {
-    fra.me.REG[1] = BOX_NativeString(".instantiated_types.log");
-    REGB0 = TAG_Int(23);
-    fra.me.REG[1] = CALL_standard___string___NativeString___to_s_with_length(fra.me.REG[1])(fra.me.REG[1], REGB0);
-    once_value_3 = fra.me.REG[1];
-    register_static_object(&once_value_3);
-  } else fra.me.REG[1] = once_value_3;
-  fra.me.REG[1] = fra.me.REG[1];
-  CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
-  fra.me.REG[2] = CALL_standard___string___Object___to_s(fra.me.REG[2])(fra.me.REG[2]);
-  fra.me.REG[2] = NEW_OFStream_standard___file___OFStream___open(fra.me.REG[2]);
-  CALL_program___Program___with_each_live_local_classes(fra.me.REG[0])(fra.me.REG[0], (&(fra.me)), ((fun_t)OC_global___instantiated_type_analysis___Program___dump_instantiated_types_4));
-  /* global/instantiated_type_analysis.nit:32 */
-  CALL_standard___stream___IOS___close(fra.me.REG[2])(fra.me.REG[2]);
-  stack_frame_head = fra.me.prev;
-  return;
-}
-  void OC_global___instantiated_type_analysis___Program___dump_instantiated_types_4(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_5; /* Once value */
-    static val_t once_value_6; /* Once value */
-    /* global/instantiated_type_analysis.nit:29 */
-    fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-    fra.me.file = LOCATE_global___instantiated_type_analysis;
-    fra.me.line = 29;
-    fra.me.meth = LOCATE_global___instantiated_type_analysis___Program___dump_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.REG[0] = p0;
-    /* global/instantiated_type_analysis.nit:30 */
-    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] = CALL_standard___string___NativeString___to_s_with_length(fra.me.REG[2])(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] = CALL_standard___string___NativeString___to_s_with_length(fra.me.REG[0])(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;
-  }
-static const char LOCATE_global___instantiated_type_analysis___Program___dump_not_instantiated_types[] = "instantiated_type_analysis::Program::dump_not_instantiated_types";
-void global___instantiated_type_analysis___Program___dump_not_instantiated_types(val_t p0, val_t p1){
-  struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
-  val_t REGB0;
-  val_t tmp;
-  static val_t once_value_1; /* Once value */
-  static val_t once_value_2; /* Once value */
-  static val_t once_value_3; /* Once value */
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_global___instantiated_type_analysis;
-  fra.me.line = 35;
-  fra.me.meth = LOCATE_global___instantiated_type_analysis___Program___dump_not_instantiated_types;
-  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;
-  /* global/instantiated_type_analysis.nit:37 */
-  REGB0 = TAG_Int(5);
-  fra.me.REG[2] = NEW_Array_standard___collection___array___Array___with_capacity(REGB0);
-  if (!once_value_1) {
-    fra.me.REG[3] = BOX_NativeString("");
-    REGB0 = TAG_Int(0);
-    fra.me.REG[3] = CALL_standard___string___NativeString___to_s_with_length(fra.me.REG[3])(fra.me.REG[3], REGB0);
-    once_value_1 = fra.me.REG[3];
-    register_static_object(&once_value_1);
-  } else fra.me.REG[3] = once_value_1;
-  fra.me.REG[3] = fra.me.REG[3];
-  CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]);
-  CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
-  if (!once_value_2) {
-    fra.me.REG[1] = BOX_NativeString("/");
-    REGB0 = TAG_Int(1);
-    fra.me.REG[1] = CALL_standard___string___NativeString___to_s_with_length(fra.me.REG[1])(fra.me.REG[1], REGB0);
-    once_value_2 = fra.me.REG[1];
-    register_static_object(&once_value_2);
-  } else fra.me.REG[1] = once_value_2;
-  fra.me.REG[1] = fra.me.REG[1];
-  CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
-  fra.me.REG[1] = CALL_program___Program___main_module(fra.me.REG[0])(fra.me.REG[0]);
-  fra.me.REG[1] = CALL_metamodel___abstractmetamodel___MMModule___name(fra.me.REG[1])(fra.me.REG[1]);
-  fra.me.REG[1] = CALL_standard___string___Object___to_s(fra.me.REG[1])(fra.me.REG[1]);
-  CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
-  if (!once_value_3) {
-    fra.me.REG[1] = BOX_NativeString(".not_instantiated_types.log");
-    REGB0 = TAG_Int(27);
-    fra.me.REG[1] = CALL_standard___string___NativeString___to_s_with_length(fra.me.REG[1])(fra.me.REG[1], REGB0);
-    once_value_3 = fra.me.REG[1];
-    register_static_object(&once_value_3);
-  } else fra.me.REG[1] = once_value_3;
-  fra.me.REG[1] = fra.me.REG[1];
-  CALL_standard___collection___abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
-  fra.me.REG[2] = CALL_standard___string___Object___to_s(fra.me.REG[2])(fra.me.REG[2]);
-  fra.me.REG[2] = NEW_OFStream_standard___file___OFStream___open(fra.me.REG[2]);
-  /* global/instantiated_type_analysis.nit:39 */
-  fra.me.REG[1] = CALL_program___Program___main_module(fra.me.REG[0])(fra.me.REG[0]);
-  fra.me.REG[1] = CALL_metamodel___abstractmetamodel___MMModule___local_classes(fra.me.REG[1])(fra.me.REG[1]);
-  CALL_standard___collection___abstract_collection___Collection___iterate(fra.me.REG[1])(fra.me.REG[1], (&(fra.me)), ((fun_t)OC_global___instantiated_type_analysis___Program___dump_not_instantiated_types_4));
-  /* global/instantiated_type_analysis.nit:44 */
-  CALL_standard___stream___IOS___close(fra.me.REG[2])(fra.me.REG[2]);
-  stack_frame_head = fra.me.prev;
-  return;
-}
-  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] = CALL_standard___string___NativeString___to_s_with_length(fra.me.REG[2])(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] = CALL_standard___string___NativeString___to_s_with_length(fra.me.REG[0])(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;
-  }
-static const char LOCATE_global___instantiated_type_analysis___Program___with_each_live_local_classes[] = "instantiated_type_analysis::Program::(program::Program::with_each_live_local_classes)";
-void global___instantiated_type_analysis___Program___with_each_live_local_classes(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;
-  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 = 47;
-  fra.me.meth = LOCATE_global___instantiated_type_analysis___Program___with_each_live_local_classes;
-  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:47 */
-  fra.me.REG[1] = fra.me.REG[0];
-  /* global/instantiated_type_analysis.nit:51 */
-  fra.me.REG[2] = CALL_program___Program___main_module(fra.me.REG[1])(fra.me.REG[1]);
-  fra.me.REG[2] = CALL_metamodel___abstractmetamodel___MMModule___local_classes(fra.me.REG[2])(fra.me.REG[2]);
-  CALL_standard___collection___abstract_collection___Collection___iterate(fra.me.REG[2])(fra.me.REG[2], (&(fra.me)), ((fun_t)OC_global___instantiated_type_analysis___Program___with_each_live_local_classes_1));
-  switch ((&(fra.me))->has_broke) {
-    case 0: break;
-    case 1: (&(fra.me))->has_broke = 0; goto label3;
-  }
-  label3: while(0);
-  stack_frame_head = fra.me.prev;
-  return;
-}
-  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(0);
-        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(1);
-    } 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;
-  }
-static const char LOCATE_global___instantiated_type_analysis___InstantiatedTypeAnalysis___is_class_instantiated[] = "instantiated_type_analysis::InstantiatedTypeAnalysis::is_class_instantiated";
-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;
-}
-static const char LOCATE_global___instantiated_type_analysis___DefaultInstantiatedTypeAnalysis___is_class_instantiated[] = "instantiated_type_analysis::DefaultInstantiatedTypeAnalysis::(instantiated_type_analysis::InstantiatedTypeAnalysis::is_class_instantiated)";
-val_t global___instantiated_type_analysis___DefaultInstantiatedTypeAnalysis___is_class_instantiated(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_global___instantiated_type_analysis;
-  fra.me.line = 67;
-  fra.me.meth = LOCATE_global___instantiated_type_analysis___DefaultInstantiatedTypeAnalysis___is_class_instantiated;
-  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;
-  /* global/instantiated_type_analysis.nit:67 */
-  REGB0 = TAG_Bool(1);
-  goto label1;
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-static const char LOCATE_global___instantiated_type_analysis___DefaultInstantiatedTypeAnalysis___init[] = "instantiated_type_analysis::DefaultInstantiatedTypeAnalysis::init";
-void global___instantiated_type_analysis___DefaultInstantiatedTypeAnalysis___init(val_t p0, int* init_table){
-  int itpos0 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_global___instantiated_type_analysis___DefaultInstantiatedTypeAnalysis].i;
-  struct {struct stack_frame_t me;} fra;
-  val_t tmp;
-  if (init_table[itpos0]) return;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_global___instantiated_type_analysis;
-  fra.me.line = 69;
-  fra.me.meth = LOCATE_global___instantiated_type_analysis___DefaultInstantiatedTypeAnalysis___init;
-  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;
-  stack_frame_head = fra.me.prev;
-  init_table[itpos0] = 1;
-  return;
-}