1 /* This C header file is generated by NIT to compile modules and programs that requires src/analysis/rta_analysis. */
2 #ifndef analysis___rta_analysis_sep
3 #define analysis___rta_analysis_sep
4 #include "analysis___instantiated_type_analysis._sep.h"
5 #include "analysis___reachable_method_analysis._sep.h"
6 #include <nit_common.h>
8 extern const classtable_elt_t VFT_analysis___rta_analysis___RtaContext
[];
10 extern const classtable_elt_t VFT_analysis___rta_analysis___RtaBuilder
[];
12 extern const classtable_elt_t VFT_analysis___rta_analysis___RtaVisitor
[];
13 extern const char *LOCATE_analysis___rta_analysis
;
14 extern const int SFT_analysis___rta_analysis
[];
15 #define ID_analysis___rta_analysis___RtaContext (SFT_analysis___rta_analysis[0])
16 #define COLOR_analysis___rta_analysis___RtaContext (SFT_analysis___rta_analysis[1])
17 #define ATTR_analysis___rta_analysis___RtaContext____instanciated_classes(recv) ATTR(recv, (SFT_analysis___rta_analysis[2] + 0))
18 #define ATTR_analysis___rta_analysis___RtaContext____reachable_iroutines(recv) ATTR(recv, (SFT_analysis___rta_analysis[2] + 1))
19 #define INIT_TABLE_POS_analysis___rta_analysis___RtaContext (SFT_analysis___rta_analysis[3] + 0)
20 #define CALL_analysis___rta_analysis___RtaContext___init(recv) ((analysis___rta_analysis___RtaContext___init_t)CALL((recv), (SFT_analysis___rta_analysis[3] + 1)))
21 #define CALL_analysis___rta_analysis___RtaContext___instanciated_classes(recv) ((analysis___rta_analysis___RtaContext___instanciated_classes_t)CALL((recv), (SFT_analysis___rta_analysis[3] + 2)))
22 #define CALL_analysis___rta_analysis___RtaContext___reachable_iroutines(recv) ((analysis___rta_analysis___RtaContext___reachable_iroutines_t)CALL((recv), (SFT_analysis___rta_analysis[3] + 3)))
23 #define ID_analysis___rta_analysis___RtaBuilder (SFT_analysis___rta_analysis[4])
24 #define COLOR_analysis___rta_analysis___RtaBuilder (SFT_analysis___rta_analysis[5])
25 #define ATTR_analysis___rta_analysis___RtaBuilder____context(recv) ATTR(recv, (SFT_analysis___rta_analysis[6] + 0))
26 #define ATTR_analysis___rta_analysis___RtaBuilder____program(recv) ATTR(recv, (SFT_analysis___rta_analysis[6] + 1))
27 #define ATTR_analysis___rta_analysis___RtaBuilder____iroutine_to_search(recv) ATTR(recv, (SFT_analysis___rta_analysis[6] + 2))
28 #define ATTR_analysis___rta_analysis___RtaBuilder____call_sites(recv) ATTR(recv, (SFT_analysis___rta_analysis[6] + 3))
29 #define ATTR_analysis___rta_analysis___RtaBuilder____called_methods(recv) ATTR(recv, (SFT_analysis___rta_analysis[6] + 4))
30 #define INIT_TABLE_POS_analysis___rta_analysis___RtaBuilder (SFT_analysis___rta_analysis[7] + 0)
31 #define CALL_analysis___rta_analysis___RtaBuilder___context(recv) ((analysis___rta_analysis___RtaBuilder___context_t)CALL((recv), (SFT_analysis___rta_analysis[7] + 1)))
32 #define CALL_analysis___rta_analysis___RtaBuilder___program(recv) ((analysis___rta_analysis___RtaBuilder___program_t)CALL((recv), (SFT_analysis___rta_analysis[7] + 2)))
33 #define CALL_analysis___rta_analysis___RtaBuilder___iroutine_to_search(recv) ((analysis___rta_analysis___RtaBuilder___iroutine_to_search_t)CALL((recv), (SFT_analysis___rta_analysis[7] + 3)))
34 #define CALL_analysis___rta_analysis___RtaBuilder___call_sites(recv) ((analysis___rta_analysis___RtaBuilder___call_sites_t)CALL((recv), (SFT_analysis___rta_analysis[7] + 4)))
35 #define CALL_analysis___rta_analysis___RtaBuilder___called_methods(recv) ((analysis___rta_analysis___RtaBuilder___called_methods_t)CALL((recv), (SFT_analysis___rta_analysis[7] + 5)))
36 #define CALL_analysis___rta_analysis___RtaBuilder___init(recv) ((analysis___rta_analysis___RtaBuilder___init_t)CALL((recv), (SFT_analysis___rta_analysis[7] + 6)))
37 #define CALL_analysis___rta_analysis___RtaBuilder___check_method(recv) ((analysis___rta_analysis___RtaBuilder___check_method_t)CALL((recv), (SFT_analysis___rta_analysis[7] + 7)))
38 #define CALL_analysis___rta_analysis___RtaBuilder___check_call_sites(recv) ((analysis___rta_analysis___RtaBuilder___check_call_sites_t)CALL((recv), (SFT_analysis___rta_analysis[7] + 8)))
39 #define CALL_analysis___rta_analysis___RtaBuilder___add_instantiated_class(recv) ((analysis___rta_analysis___RtaBuilder___add_instantiated_class_t)CALL((recv), (SFT_analysis___rta_analysis[7] + 9)))
40 #define CALL_analysis___rta_analysis___RtaBuilder___add_reachable_call(recv) ((analysis___rta_analysis___RtaBuilder___add_reachable_call_t)CALL((recv), (SFT_analysis___rta_analysis[7] + 10)))
41 #define CALL_analysis___rta_analysis___RtaBuilder___add_reachable_iroutine(recv) ((analysis___rta_analysis___RtaBuilder___add_reachable_iroutine_t)CALL((recv), (SFT_analysis___rta_analysis[7] + 11)))
42 #define CALL_analysis___rta_analysis___RtaBuilder___force_some_type_analysis(recv) ((analysis___rta_analysis___RtaBuilder___force_some_type_analysis_t)CALL((recv), (SFT_analysis___rta_analysis[7] + 12)))
43 #define CALL_analysis___rta_analysis___RtaBuilder___work(recv) ((analysis___rta_analysis___RtaBuilder___work_t)CALL((recv), (SFT_analysis___rta_analysis[7] + 13)))
44 #define ID_analysis___rta_analysis___RtaVisitor (SFT_analysis___rta_analysis[8])
45 #define COLOR_analysis___rta_analysis___RtaVisitor (SFT_analysis___rta_analysis[9])
46 #define ATTR_analysis___rta_analysis___RtaVisitor____builder(recv) ATTR(recv, (SFT_analysis___rta_analysis[10] + 0))
47 #define INIT_TABLE_POS_analysis___rta_analysis___RtaVisitor (SFT_analysis___rta_analysis[11] + 0)
48 #define CALL_analysis___rta_analysis___RtaVisitor___builder(recv) ((analysis___rta_analysis___RtaVisitor___builder_t)CALL((recv), (SFT_analysis___rta_analysis[11] + 1)))
49 #define CALL_SUPER_analysis___rta_analysis___RtaVisitor___visit_icode(recv) ((analysis___rta_analysis___RtaVisitor___visit_icode_t)CALL((recv), (SFT_analysis___rta_analysis[11] + 2)))
50 #define CALL_analysis___rta_analysis___RtaVisitor___init(recv) ((analysis___rta_analysis___RtaVisitor___init_t)CALL((recv), (SFT_analysis___rta_analysis[11] + 3)))
51 static const char * const LOCATE_analysis___rta_analysis___RtaContext___init
= "rta_analysis::RtaContext::init";
52 void analysis___rta_analysis___RtaContext___init(val_t p0
, int* init_table
);
53 typedef void (*analysis___rta_analysis___RtaContext___init_t
)(val_t p0
, int* init_table
);
54 val_t
NEW_RtaContext_analysis___rta_analysis___RtaContext___init();
55 static const char * const LOCATE_analysis___rta_analysis___RtaContext___instanciated_classes
= "rta_analysis::RtaContext::instanciated_classes";
56 val_t
analysis___rta_analysis___RtaContext___instanciated_classes(val_t p0
);
57 typedef val_t (*analysis___rta_analysis___RtaContext___instanciated_classes_t
)(val_t p0
);
58 static const char * const LOCATE_analysis___rta_analysis___RtaContext___is_class_instantiated
= "rta_analysis::RtaContext::(instantiated_type_analysis::InstantiatedTypeAnalysis::is_class_instantiated)";
59 val_t
analysis___rta_analysis___RtaContext___is_class_instantiated(val_t p0
, val_t p1
);
60 typedef val_t (*analysis___rta_analysis___RtaContext___is_class_instantiated_t
)(val_t p0
, val_t p1
);
61 static const char * const LOCATE_analysis___rta_analysis___RtaContext___reachable_iroutines
= "rta_analysis::RtaContext::reachable_iroutines";
62 val_t
analysis___rta_analysis___RtaContext___reachable_iroutines(val_t p0
);
63 typedef val_t (*analysis___rta_analysis___RtaContext___reachable_iroutines_t
)(val_t p0
);
64 static const char * const LOCATE_analysis___rta_analysis___RtaContext___is_iroutine_reachable
= "rta_analysis::RtaContext::(reachable_method_analysis::ReachableMethodAnalysis::is_iroutine_reachable)";
65 val_t
analysis___rta_analysis___RtaContext___is_iroutine_reachable(val_t p0
, val_t p1
);
66 typedef val_t (*analysis___rta_analysis___RtaContext___is_iroutine_reachable_t
)(val_t p0
, val_t p1
);
67 static const char * const LOCATE_analysis___rta_analysis___RtaContext___is_method_reachable
= "rta_analysis::RtaContext::(reachable_method_analysis::ReachableMethodAnalysis::is_method_reachable)";
68 val_t
analysis___rta_analysis___RtaContext___is_method_reachable(val_t p0
, val_t p1
);
69 typedef val_t (*analysis___rta_analysis___RtaContext___is_method_reachable_t
)(val_t p0
, val_t p1
);
70 static const char * const LOCATE_analysis___rta_analysis___RtaBuilder___context
= "rta_analysis::RtaBuilder::context";
71 val_t
analysis___rta_analysis___RtaBuilder___context(val_t p0
);
72 typedef val_t (*analysis___rta_analysis___RtaBuilder___context_t
)(val_t p0
);
73 static const char * const LOCATE_analysis___rta_analysis___RtaBuilder___program
= "rta_analysis::RtaBuilder::program";
74 val_t
analysis___rta_analysis___RtaBuilder___program(val_t p0
);
75 typedef val_t (*analysis___rta_analysis___RtaBuilder___program_t
)(val_t p0
);
76 static const char * const LOCATE_analysis___rta_analysis___RtaBuilder___iroutine_to_search
= "rta_analysis::RtaBuilder::iroutine_to_search";
77 val_t
analysis___rta_analysis___RtaBuilder___iroutine_to_search(val_t p0
);
78 typedef val_t (*analysis___rta_analysis___RtaBuilder___iroutine_to_search_t
)(val_t p0
);
79 static const char * const LOCATE_analysis___rta_analysis___RtaBuilder___call_sites
= "rta_analysis::RtaBuilder::call_sites";
80 val_t
analysis___rta_analysis___RtaBuilder___call_sites(val_t p0
);
81 typedef val_t (*analysis___rta_analysis___RtaBuilder___call_sites_t
)(val_t p0
);
82 static const char * const LOCATE_analysis___rta_analysis___RtaBuilder___called_methods
= "rta_analysis::RtaBuilder::called_methods";
83 val_t
analysis___rta_analysis___RtaBuilder___called_methods(val_t p0
);
84 typedef val_t (*analysis___rta_analysis___RtaBuilder___called_methods_t
)(val_t p0
);
85 static const char * const LOCATE_analysis___rta_analysis___RtaBuilder___init
= "rta_analysis::RtaBuilder::init";
86 void analysis___rta_analysis___RtaBuilder___init(val_t p0
, val_t p1
, int* init_table
);
87 typedef void (*analysis___rta_analysis___RtaBuilder___init_t
)(val_t p0
, val_t p1
, int* init_table
);
88 val_t
NEW_RtaBuilder_analysis___rta_analysis___RtaBuilder___init(val_t p0
);
89 static const char * const LOCATE_analysis___rta_analysis___RtaBuilder___check_method
= "rta_analysis::RtaBuilder::check_method";
90 val_t
analysis___rta_analysis___RtaBuilder___check_method(val_t p0
, val_t p1
);
91 typedef val_t (*analysis___rta_analysis___RtaBuilder___check_method_t
)(val_t p0
, val_t p1
);
92 typedef void (*CLOS_OC_analysis___rta_analysis___RtaBuilder___check_method_2_0
)(struct stack_frame_t
*);
93 void OC_analysis___rta_analysis___RtaBuilder___check_method_2(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
94 typedef void (*OC_analysis___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
);
95 static const char * const LOCATE_analysis___rta_analysis___RtaBuilder___check_call_sites
= "rta_analysis::RtaBuilder::check_call_sites";
96 void analysis___rta_analysis___RtaBuilder___check_call_sites(val_t p0
);
97 typedef void (*analysis___rta_analysis___RtaBuilder___check_call_sites_t
)(val_t p0
);
98 typedef void (*CLOS_OC_analysis___rta_analysis___RtaBuilder___check_call_sites_1_0
)(struct stack_frame_t
*);
99 void OC_analysis___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
);
100 typedef void (*OC_analysis___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
);
101 typedef void (*CLOS_OC_analysis___rta_analysis___RtaBuilder___check_call_sites_2_0
)(struct stack_frame_t
*);
102 void OC_analysis___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
);
103 typedef void (*OC_analysis___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
);
104 typedef void (*CLOS_OC_analysis___rta_analysis___RtaBuilder___check_call_sites_4_0
)(struct stack_frame_t
*);
105 void OC_analysis___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
);
106 typedef void (*OC_analysis___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
);
107 static const char * const LOCATE_analysis___rta_analysis___RtaBuilder___add_instantiated_class
= "rta_analysis::RtaBuilder::add_instantiated_class";
108 void analysis___rta_analysis___RtaBuilder___add_instantiated_class(val_t p0
, val_t p1
);
109 typedef void (*analysis___rta_analysis___RtaBuilder___add_instantiated_class_t
)(val_t p0
, val_t p1
);
110 static const char * const LOCATE_analysis___rta_analysis___RtaBuilder___add_reachable_call
= "rta_analysis::RtaBuilder::add_reachable_call";
111 void analysis___rta_analysis___RtaBuilder___add_reachable_call(val_t p0
, val_t p1
);
112 typedef void (*analysis___rta_analysis___RtaBuilder___add_reachable_call_t
)(val_t p0
, val_t p1
);
113 static const char * const LOCATE_analysis___rta_analysis___RtaBuilder___add_reachable_iroutine
= "rta_analysis::RtaBuilder::add_reachable_iroutine";
114 void analysis___rta_analysis___RtaBuilder___add_reachable_iroutine(val_t p0
, val_t p1
);
115 typedef void (*analysis___rta_analysis___RtaBuilder___add_reachable_iroutine_t
)(val_t p0
, val_t p1
);
116 static const char * const LOCATE_analysis___rta_analysis___RtaBuilder___force_some_type_analysis
= "rta_analysis::RtaBuilder::force_some_type_analysis";
117 void analysis___rta_analysis___RtaBuilder___force_some_type_analysis(val_t p0
);
118 typedef void (*analysis___rta_analysis___RtaBuilder___force_some_type_analysis_t
)(val_t p0
);
119 typedef void (*CLOS_OC_analysis___rta_analysis___RtaBuilder___force_some_type_analysis_15_0
)(struct stack_frame_t
*);
120 void OC_analysis___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
);
121 typedef void (*OC_analysis___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
);
122 typedef void (*CLOS_OC_analysis___rta_analysis___RtaBuilder___force_some_type_analysis_18_0
)(struct stack_frame_t
*);
123 void OC_analysis___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
);
124 typedef void (*OC_analysis___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
);
125 typedef void (*CLOS_OC_analysis___rta_analysis___RtaBuilder___force_some_type_analysis_19_0
)(struct stack_frame_t
*);
126 void OC_analysis___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
);
127 typedef void (*OC_analysis___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
);
128 static const char * const LOCATE_analysis___rta_analysis___RtaBuilder___work
= "rta_analysis::RtaBuilder::work";
129 void analysis___rta_analysis___RtaBuilder___work(val_t p0
);
130 typedef void (*analysis___rta_analysis___RtaBuilder___work_t
)(val_t p0
);
131 static const char * const LOCATE_analysis___rta_analysis___RtaVisitor___builder
= "rta_analysis::RtaVisitor::builder";
132 val_t
analysis___rta_analysis___RtaVisitor___builder(val_t p0
);
133 typedef val_t (*analysis___rta_analysis___RtaVisitor___builder_t
)(val_t p0
);
134 static const char * const LOCATE_analysis___rta_analysis___RtaVisitor___visit_icode
= "rta_analysis::RtaVisitor::(icode_tools::ICodeVisitor::visit_icode)";
135 void analysis___rta_analysis___RtaVisitor___visit_icode(val_t p0
, val_t p1
);
136 typedef void (*analysis___rta_analysis___RtaVisitor___visit_icode_t
)(val_t p0
, val_t p1
);
137 typedef void (*CLOS_OC_analysis___rta_analysis___RtaVisitor___visit_icode_1_0
)(struct stack_frame_t
*);
138 void OC_analysis___rta_analysis___RtaVisitor___visit_icode_1(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
139 typedef void (*OC_analysis___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
);
140 static const char * const LOCATE_analysis___rta_analysis___RtaVisitor___init
= "rta_analysis::RtaVisitor::init";
141 void analysis___rta_analysis___RtaVisitor___init(val_t p0
, val_t p1
, int* init_table
);
142 typedef void (*analysis___rta_analysis___RtaVisitor___init_t
)(val_t p0
, val_t p1
, int* init_table
);
143 val_t
NEW_RtaVisitor_analysis___rta_analysis___RtaVisitor___init(val_t p0
);