+++ /dev/null
-/* This C header file is generated by NIT to compile modules and programs that requires ./global/rta_analysis. */
-#ifndef global___rta_analysis_sep
-#define global___rta_analysis_sep
-#include "global___instantiated_type_analysis._sep.h"
-#include "global___reachable_method_analysis._sep.h"
-#include <nit_common.h>
-
-extern const classtable_elt_t VFT_global___rta_analysis___RtaContext[];
-
-extern const classtable_elt_t VFT_global___rta_analysis___RtaBuilder[];
-
-extern const classtable_elt_t VFT_global___rta_analysis___RtaVisitor[];
-extern const char LOCATE_global___rta_analysis[];
-extern const int SFT_global___rta_analysis[];
-#define ID_global___rta_analysis___RtaContext (SFT_global___rta_analysis[0])
-#define COLOR_global___rta_analysis___RtaContext (SFT_global___rta_analysis[1])
-#define ATTR_global___rta_analysis___RtaContext____instanciated_classes(recv) ATTR(recv, (SFT_global___rta_analysis[2] + 0))
-#define ATTR_global___rta_analysis___RtaContext____reachable_iroutines(recv) ATTR(recv, (SFT_global___rta_analysis[2] + 1))
-#define INIT_TABLE_POS_global___rta_analysis___RtaContext (SFT_global___rta_analysis[3] + 0)
-#define CALL_global___rta_analysis___RtaContext___init(recv) ((global___rta_analysis___RtaContext___init_t)CALL((recv), (SFT_global___rta_analysis[3] + 1)))
-#define CALL_global___rta_analysis___RtaContext___instanciated_classes(recv) ((global___rta_analysis___RtaContext___instanciated_classes_t)CALL((recv), (SFT_global___rta_analysis[3] + 2)))
-#define CALL_global___rta_analysis___RtaContext___reachable_iroutines(recv) ((global___rta_analysis___RtaContext___reachable_iroutines_t)CALL((recv), (SFT_global___rta_analysis[3] + 3)))
-#define ID_global___rta_analysis___RtaBuilder (SFT_global___rta_analysis[4])
-#define COLOR_global___rta_analysis___RtaBuilder (SFT_global___rta_analysis[5])
-#define ATTR_global___rta_analysis___RtaBuilder____context(recv) ATTR(recv, (SFT_global___rta_analysis[6] + 0))
-#define ATTR_global___rta_analysis___RtaBuilder____program(recv) ATTR(recv, (SFT_global___rta_analysis[6] + 1))
-#define ATTR_global___rta_analysis___RtaBuilder____iroutine_to_search(recv) ATTR(recv, (SFT_global___rta_analysis[6] + 2))
-#define ATTR_global___rta_analysis___RtaBuilder____call_sites(recv) ATTR(recv, (SFT_global___rta_analysis[6] + 3))
-#define ATTR_global___rta_analysis___RtaBuilder____called_methods(recv) ATTR(recv, (SFT_global___rta_analysis[6] + 4))
-#define INIT_TABLE_POS_global___rta_analysis___RtaBuilder (SFT_global___rta_analysis[7] + 0)
-#define CALL_global___rta_analysis___RtaBuilder___context(recv) ((global___rta_analysis___RtaBuilder___context_t)CALL((recv), (SFT_global___rta_analysis[7] + 1)))
-#define CALL_global___rta_analysis___RtaBuilder___program(recv) ((global___rta_analysis___RtaBuilder___program_t)CALL((recv), (SFT_global___rta_analysis[7] + 2)))
-#define CALL_global___rta_analysis___RtaBuilder___iroutine_to_search(recv) ((global___rta_analysis___RtaBuilder___iroutine_to_search_t)CALL((recv), (SFT_global___rta_analysis[7] + 3)))
-#define CALL_global___rta_analysis___RtaBuilder___call_sites(recv) ((global___rta_analysis___RtaBuilder___call_sites_t)CALL((recv), (SFT_global___rta_analysis[7] + 4)))
-#define CALL_global___rta_analysis___RtaBuilder___called_methods(recv) ((global___rta_analysis___RtaBuilder___called_methods_t)CALL((recv), (SFT_global___rta_analysis[7] + 5)))
-#define CALL_global___rta_analysis___RtaBuilder___init(recv) ((global___rta_analysis___RtaBuilder___init_t)CALL((recv), (SFT_global___rta_analysis[7] + 6)))
-#define CALL_global___rta_analysis___RtaBuilder___check_method(recv) ((global___rta_analysis___RtaBuilder___check_method_t)CALL((recv), (SFT_global___rta_analysis[7] + 7)))
-#define CALL_global___rta_analysis___RtaBuilder___check_call_sites(recv) ((global___rta_analysis___RtaBuilder___check_call_sites_t)CALL((recv), (SFT_global___rta_analysis[7] + 8)))
-#define CALL_global___rta_analysis___RtaBuilder___add_instantiated_class(recv) ((global___rta_analysis___RtaBuilder___add_instantiated_class_t)CALL((recv), (SFT_global___rta_analysis[7] + 9)))
-#define CALL_global___rta_analysis___RtaBuilder___add_reachable_call(recv) ((global___rta_analysis___RtaBuilder___add_reachable_call_t)CALL((recv), (SFT_global___rta_analysis[7] + 10)))
-#define CALL_global___rta_analysis___RtaBuilder___add_reachable_iroutine(recv) ((global___rta_analysis___RtaBuilder___add_reachable_iroutine_t)CALL((recv), (SFT_global___rta_analysis[7] + 11)))
-#define CALL_global___rta_analysis___RtaBuilder___force_some_type_analysis(recv) ((global___rta_analysis___RtaBuilder___force_some_type_analysis_t)CALL((recv), (SFT_global___rta_analysis[7] + 12)))
-#define CALL_global___rta_analysis___RtaBuilder___work(recv) ((global___rta_analysis___RtaBuilder___work_t)CALL((recv), (SFT_global___rta_analysis[7] + 13)))
-#define ID_global___rta_analysis___RtaVisitor (SFT_global___rta_analysis[8])
-#define COLOR_global___rta_analysis___RtaVisitor (SFT_global___rta_analysis[9])
-#define ATTR_global___rta_analysis___RtaVisitor____builder(recv) ATTR(recv, (SFT_global___rta_analysis[10] + 0))
-#define INIT_TABLE_POS_global___rta_analysis___RtaVisitor (SFT_global___rta_analysis[11] + 0)
-#define CALL_global___rta_analysis___RtaVisitor___builder(recv) ((global___rta_analysis___RtaVisitor___builder_t)CALL((recv), (SFT_global___rta_analysis[11] + 1)))
-#define CALL_SUPER_global___rta_analysis___RtaVisitor___visit_icode(recv) ((global___rta_analysis___RtaVisitor___visit_icode_t)CALL((recv), (SFT_global___rta_analysis[11] + 2)))
-#define CALL_global___rta_analysis___RtaVisitor___init(recv) ((global___rta_analysis___RtaVisitor___init_t)CALL((recv), (SFT_global___rta_analysis[11] + 3)))
-void global___rta_analysis___RtaContext___init(val_t p0, int* init_table);
-typedef void (*global___rta_analysis___RtaContext___init_t)(val_t p0, int* init_table);
-val_t NEW_RtaContext_global___rta_analysis___RtaContext___init();
-val_t global___rta_analysis___RtaContext___instanciated_classes(val_t p0);
-typedef val_t (*global___rta_analysis___RtaContext___instanciated_classes_t)(val_t p0);
-val_t global___rta_analysis___RtaContext___is_class_instantiated(val_t p0, val_t p1);
-typedef val_t (*global___rta_analysis___RtaContext___is_class_instantiated_t)(val_t p0, val_t p1);
-val_t global___rta_analysis___RtaContext___reachable_iroutines(val_t p0);
-typedef val_t (*global___rta_analysis___RtaContext___reachable_iroutines_t)(val_t p0);
-val_t global___rta_analysis___RtaContext___is_iroutine_reachable(val_t p0, val_t p1);
-typedef val_t (*global___rta_analysis___RtaContext___is_iroutine_reachable_t)(val_t p0, val_t p1);
-val_t global___rta_analysis___RtaContext___is_method_reachable(val_t p0, val_t p1);
-typedef val_t (*global___rta_analysis___RtaContext___is_method_reachable_t)(val_t p0, val_t p1);
-val_t global___rta_analysis___RtaBuilder___context(val_t p0);
-typedef val_t (*global___rta_analysis___RtaBuilder___context_t)(val_t p0);
-val_t global___rta_analysis___RtaBuilder___program(val_t p0);
-typedef val_t (*global___rta_analysis___RtaBuilder___program_t)(val_t p0);
-val_t global___rta_analysis___RtaBuilder___iroutine_to_search(val_t p0);
-typedef val_t (*global___rta_analysis___RtaBuilder___iroutine_to_search_t)(val_t p0);
-val_t global___rta_analysis___RtaBuilder___call_sites(val_t p0);
-typedef val_t (*global___rta_analysis___RtaBuilder___call_sites_t)(val_t p0);
-val_t global___rta_analysis___RtaBuilder___called_methods(val_t p0);
-typedef val_t (*global___rta_analysis___RtaBuilder___called_methods_t)(val_t p0);
-void global___rta_analysis___RtaBuilder___init(val_t p0, val_t p1, int* init_table);
-typedef void (*global___rta_analysis___RtaBuilder___init_t)(val_t p0, val_t p1, int* init_table);
-val_t NEW_RtaBuilder_global___rta_analysis___RtaBuilder___init(val_t p0);
-val_t global___rta_analysis___RtaBuilder___check_method(val_t p0, val_t p1);
-typedef val_t (*global___rta_analysis___RtaBuilder___check_method_t)(val_t p0, val_t p1);
- typedef void (*CLOS_OC_global___rta_analysis___RtaBuilder___check_method_2_0)(struct stack_frame_t *);
- void OC_global___rta_analysis___RtaBuilder___check_method_2(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
- typedef void (*OC_global___rta_analysis___RtaBuilder___check_method_2_t)(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
-void global___rta_analysis___RtaBuilder___check_call_sites(val_t p0);
-typedef void (*global___rta_analysis___RtaBuilder___check_call_sites_t)(val_t p0);
- typedef void (*CLOS_OC_global___rta_analysis___RtaBuilder___check_call_sites_1_0)(struct stack_frame_t *);
- void OC_global___rta_analysis___RtaBuilder___check_call_sites_1(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
- typedef void (*OC_global___rta_analysis___RtaBuilder___check_call_sites_1_t)(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
- typedef void (*CLOS_OC_global___rta_analysis___RtaBuilder___check_call_sites_2_0)(struct stack_frame_t *);
- void OC_global___rta_analysis___RtaBuilder___check_call_sites_2(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
- typedef void (*OC_global___rta_analysis___RtaBuilder___check_call_sites_2_t)(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
- typedef void (*CLOS_OC_global___rta_analysis___RtaBuilder___check_call_sites_4_0)(struct stack_frame_t *);
- void OC_global___rta_analysis___RtaBuilder___check_call_sites_4(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
- typedef void (*OC_global___rta_analysis___RtaBuilder___check_call_sites_4_t)(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
-void global___rta_analysis___RtaBuilder___add_instantiated_class(val_t p0, val_t p1);
-typedef void (*global___rta_analysis___RtaBuilder___add_instantiated_class_t)(val_t p0, val_t p1);
-void global___rta_analysis___RtaBuilder___add_reachable_call(val_t p0, val_t p1);
-typedef void (*global___rta_analysis___RtaBuilder___add_reachable_call_t)(val_t p0, val_t p1);
-void global___rta_analysis___RtaBuilder___add_reachable_iroutine(val_t p0, val_t p1);
-typedef void (*global___rta_analysis___RtaBuilder___add_reachable_iroutine_t)(val_t p0, val_t p1);
-void global___rta_analysis___RtaBuilder___force_some_type_analysis(val_t p0);
-typedef void (*global___rta_analysis___RtaBuilder___force_some_type_analysis_t)(val_t p0);
- typedef void (*CLOS_OC_global___rta_analysis___RtaBuilder___force_some_type_analysis_15_0)(struct stack_frame_t *);
- void OC_global___rta_analysis___RtaBuilder___force_some_type_analysis_15(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
- typedef void (*OC_global___rta_analysis___RtaBuilder___force_some_type_analysis_15_t)(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
- typedef void (*CLOS_OC_global___rta_analysis___RtaBuilder___force_some_type_analysis_18_0)(struct stack_frame_t *);
- void OC_global___rta_analysis___RtaBuilder___force_some_type_analysis_18(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
- typedef void (*OC_global___rta_analysis___RtaBuilder___force_some_type_analysis_18_t)(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
- typedef void (*CLOS_OC_global___rta_analysis___RtaBuilder___force_some_type_analysis_19_0)(struct stack_frame_t *);
- void OC_global___rta_analysis___RtaBuilder___force_some_type_analysis_19(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
- typedef void (*OC_global___rta_analysis___RtaBuilder___force_some_type_analysis_19_t)(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
- void OC_global___rta_analysis___RtaBuilder___force_some_type_analysis_21(struct stack_frame_t *closctx, val_t p0);
- typedef void (*OC_global___rta_analysis___RtaBuilder___force_some_type_analysis_21_t)(struct stack_frame_t *closctx, val_t p0);
-void global___rta_analysis___RtaBuilder___work(val_t p0);
-typedef void (*global___rta_analysis___RtaBuilder___work_t)(val_t p0);
-val_t global___rta_analysis___RtaVisitor___builder(val_t p0);
-typedef val_t (*global___rta_analysis___RtaVisitor___builder_t)(val_t p0);
-void global___rta_analysis___RtaVisitor___visit_icode(val_t p0, val_t p1);
-typedef void (*global___rta_analysis___RtaVisitor___visit_icode_t)(val_t p0, val_t p1);
- typedef void (*CLOS_OC_global___rta_analysis___RtaVisitor___visit_icode_1_0)(struct stack_frame_t *);
- void OC_global___rta_analysis___RtaVisitor___visit_icode_1(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
- typedef void (*OC_global___rta_analysis___RtaVisitor___visit_icode_1_t)(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
-void global___rta_analysis___RtaVisitor___init(val_t p0, val_t p1, int* init_table);
-typedef void (*global___rta_analysis___RtaVisitor___init_t)(val_t p0, val_t p1, int* init_table);
-val_t NEW_RtaVisitor_global___rta_analysis___RtaVisitor___init(val_t p0);
-#endif
nitlanguage / nit.git / blobdiff