1 /* This C header file is generated by NIT to compile modules and programs that requires ./global/rta_analysis. */
2 #ifndef global___rta_analysis_sep
3 #define global___rta_analysis_sep
4 #include "global___instantiated_type_analysis._sep.h"
5 #include "global___reachable_method_analysis._sep.h"
6 #include <nit_common.h>
8 extern const classtable_elt_t VFT_global___rta_analysis___RtaContext
[];
10 extern const classtable_elt_t VFT_global___rta_analysis___RtaBuilder
[];
12 extern const classtable_elt_t VFT_global___rta_analysis___RtaVisitor
[];
13 extern const char LOCATE_global___rta_analysis
[];
14 extern const int SFT_global___rta_analysis
[];
15 #define ID_global___rta_analysis___RtaContext (SFT_global___rta_analysis[0])
16 #define COLOR_global___rta_analysis___RtaContext (SFT_global___rta_analysis[1])
17 #define ATTR_global___rta_analysis___RtaContext____instanciated_classes(recv) ATTR(recv, (SFT_global___rta_analysis[2] + 0))
18 #define ATTR_global___rta_analysis___RtaContext____reachable_iroutines(recv) ATTR(recv, (SFT_global___rta_analysis[2] + 1))
19 #define INIT_TABLE_POS_global___rta_analysis___RtaContext (SFT_global___rta_analysis[3] + 0)
20 #define CALL_global___rta_analysis___RtaContext___init(recv) ((global___rta_analysis___RtaContext___init_t)CALL((recv), (SFT_global___rta_analysis[3] + 1)))
21 #define CALL_global___rta_analysis___RtaContext___instanciated_classes(recv) ((global___rta_analysis___RtaContext___instanciated_classes_t)CALL((recv), (SFT_global___rta_analysis[3] + 2)))
22 #define CALL_global___rta_analysis___RtaContext___reachable_iroutines(recv) ((global___rta_analysis___RtaContext___reachable_iroutines_t)CALL((recv), (SFT_global___rta_analysis[3] + 3)))
23 #define ID_global___rta_analysis___RtaBuilder (SFT_global___rta_analysis[4])
24 #define COLOR_global___rta_analysis___RtaBuilder (SFT_global___rta_analysis[5])
25 #define ATTR_global___rta_analysis___RtaBuilder____context(recv) ATTR(recv, (SFT_global___rta_analysis[6] + 0))
26 #define ATTR_global___rta_analysis___RtaBuilder____program(recv) ATTR(recv, (SFT_global___rta_analysis[6] + 1))
27 #define ATTR_global___rta_analysis___RtaBuilder____iroutine_to_search(recv) ATTR(recv, (SFT_global___rta_analysis[6] + 2))
28 #define ATTR_global___rta_analysis___RtaBuilder____call_sites(recv) ATTR(recv, (SFT_global___rta_analysis[6] + 3))
29 #define ATTR_global___rta_analysis___RtaBuilder____called_methods(recv) ATTR(recv, (SFT_global___rta_analysis[6] + 4))
30 #define INIT_TABLE_POS_global___rta_analysis___RtaBuilder (SFT_global___rta_analysis[7] + 0)
31 #define CALL_global___rta_analysis___RtaBuilder___context(recv) ((global___rta_analysis___RtaBuilder___context_t)CALL((recv), (SFT_global___rta_analysis[7] + 1)))
32 #define CALL_global___rta_analysis___RtaBuilder___program(recv) ((global___rta_analysis___RtaBuilder___program_t)CALL((recv), (SFT_global___rta_analysis[7] + 2)))
33 #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)))
34 #define CALL_global___rta_analysis___RtaBuilder___call_sites(recv) ((global___rta_analysis___RtaBuilder___call_sites_t)CALL((recv), (SFT_global___rta_analysis[7] + 4)))
35 #define CALL_global___rta_analysis___RtaBuilder___called_methods(recv) ((global___rta_analysis___RtaBuilder___called_methods_t)CALL((recv), (SFT_global___rta_analysis[7] + 5)))
36 #define CALL_global___rta_analysis___RtaBuilder___init(recv) ((global___rta_analysis___RtaBuilder___init_t)CALL((recv), (SFT_global___rta_analysis[7] + 6)))
37 #define CALL_global___rta_analysis___RtaBuilder___check_method(recv) ((global___rta_analysis___RtaBuilder___check_method_t)CALL((recv), (SFT_global___rta_analysis[7] + 7)))
38 #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)))
39 #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)))
40 #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)))
41 #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)))
42 #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)))
43 #define CALL_global___rta_analysis___RtaBuilder___work(recv) ((global___rta_analysis___RtaBuilder___work_t)CALL((recv), (SFT_global___rta_analysis[7] + 13)))
44 #define ID_global___rta_analysis___RtaVisitor (SFT_global___rta_analysis[8])
45 #define COLOR_global___rta_analysis___RtaVisitor (SFT_global___rta_analysis[9])
46 #define ATTR_global___rta_analysis___RtaVisitor____builder(recv) ATTR(recv, (SFT_global___rta_analysis[10] + 0))
47 #define INIT_TABLE_POS_global___rta_analysis___RtaVisitor (SFT_global___rta_analysis[11] + 0)
48 #define CALL_global___rta_analysis___RtaVisitor___builder(recv) ((global___rta_analysis___RtaVisitor___builder_t)CALL((recv), (SFT_global___rta_analysis[11] + 1)))
49 #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)))
50 #define CALL_global___rta_analysis___RtaVisitor___init(recv) ((global___rta_analysis___RtaVisitor___init_t)CALL((recv), (SFT_global___rta_analysis[11] + 3)))
51 void global___rta_analysis___RtaContext___init(val_t p0
, int* init_table
);
52 typedef void (*global___rta_analysis___RtaContext___init_t
)(val_t p0
, int* init_table
);
53 val_t
NEW_RtaContext_global___rta_analysis___RtaContext___init();
54 val_t
global___rta_analysis___RtaContext___instanciated_classes(val_t p0
);
55 typedef val_t (*global___rta_analysis___RtaContext___instanciated_classes_t
)(val_t p0
);
56 val_t
global___rta_analysis___RtaContext___is_class_instantiated(val_t p0
, val_t p1
);
57 typedef val_t (*global___rta_analysis___RtaContext___is_class_instantiated_t
)(val_t p0
, val_t p1
);
58 val_t
global___rta_analysis___RtaContext___reachable_iroutines(val_t p0
);
59 typedef val_t (*global___rta_analysis___RtaContext___reachable_iroutines_t
)(val_t p0
);
60 val_t
global___rta_analysis___RtaContext___is_iroutine_reachable(val_t p0
, val_t p1
);
61 typedef val_t (*global___rta_analysis___RtaContext___is_iroutine_reachable_t
)(val_t p0
, val_t p1
);
62 val_t
global___rta_analysis___RtaContext___is_method_reachable(val_t p0
, val_t p1
);
63 typedef val_t (*global___rta_analysis___RtaContext___is_method_reachable_t
)(val_t p0
, val_t p1
);
64 val_t
global___rta_analysis___RtaBuilder___context(val_t p0
);
65 typedef val_t (*global___rta_analysis___RtaBuilder___context_t
)(val_t p0
);
66 val_t
global___rta_analysis___RtaBuilder___program(val_t p0
);
67 typedef val_t (*global___rta_analysis___RtaBuilder___program_t
)(val_t p0
);
68 val_t
global___rta_analysis___RtaBuilder___iroutine_to_search(val_t p0
);
69 typedef val_t (*global___rta_analysis___RtaBuilder___iroutine_to_search_t
)(val_t p0
);
70 val_t
global___rta_analysis___RtaBuilder___call_sites(val_t p0
);
71 typedef val_t (*global___rta_analysis___RtaBuilder___call_sites_t
)(val_t p0
);
72 val_t
global___rta_analysis___RtaBuilder___called_methods(val_t p0
);
73 typedef val_t (*global___rta_analysis___RtaBuilder___called_methods_t
)(val_t p0
);
74 void global___rta_analysis___RtaBuilder___init(val_t p0
, val_t p1
, int* init_table
);
75 typedef void (*global___rta_analysis___RtaBuilder___init_t
)(val_t p0
, val_t p1
, int* init_table
);
76 val_t
NEW_RtaBuilder_global___rta_analysis___RtaBuilder___init(val_t p0
);
77 val_t
global___rta_analysis___RtaBuilder___check_method(val_t p0
, val_t p1
);
78 typedef val_t (*global___rta_analysis___RtaBuilder___check_method_t
)(val_t p0
, val_t p1
);
79 typedef void (*CLOS_OC_global___rta_analysis___RtaBuilder___check_method_2_0
)(struct stack_frame_t
*);
80 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
);
81 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
);
82 void global___rta_analysis___RtaBuilder___check_call_sites(val_t p0
);
83 typedef void (*global___rta_analysis___RtaBuilder___check_call_sites_t
)(val_t p0
);
84 typedef void (*CLOS_OC_global___rta_analysis___RtaBuilder___check_call_sites_1_0
)(struct stack_frame_t
*);
85 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
);
86 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
);
87 typedef void (*CLOS_OC_global___rta_analysis___RtaBuilder___check_call_sites_2_0
)(struct stack_frame_t
*);
88 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
);
89 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
);
90 typedef void (*CLOS_OC_global___rta_analysis___RtaBuilder___check_call_sites_4_0
)(struct stack_frame_t
*);
91 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
);
92 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
);
93 void global___rta_analysis___RtaBuilder___add_instantiated_class(val_t p0
, val_t p1
);
94 typedef void (*global___rta_analysis___RtaBuilder___add_instantiated_class_t
)(val_t p0
, val_t p1
);
95 void global___rta_analysis___RtaBuilder___add_reachable_call(val_t p0
, val_t p1
);
96 typedef void (*global___rta_analysis___RtaBuilder___add_reachable_call_t
)(val_t p0
, val_t p1
);
97 void global___rta_analysis___RtaBuilder___add_reachable_iroutine(val_t p0
, val_t p1
);
98 typedef void (*global___rta_analysis___RtaBuilder___add_reachable_iroutine_t
)(val_t p0
, val_t p1
);
99 void global___rta_analysis___RtaBuilder___force_some_type_analysis(val_t p0
);
100 typedef void (*global___rta_analysis___RtaBuilder___force_some_type_analysis_t
)(val_t p0
);
101 typedef void (*CLOS_OC_global___rta_analysis___RtaBuilder___force_some_type_analysis_15_0
)(struct stack_frame_t
*);
102 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
);
103 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
);
104 typedef void (*CLOS_OC_global___rta_analysis___RtaBuilder___force_some_type_analysis_18_0
)(struct stack_frame_t
*);
105 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
);
106 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
);
107 typedef void (*CLOS_OC_global___rta_analysis___RtaBuilder___force_some_type_analysis_19_0
)(struct stack_frame_t
*);
108 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
);
109 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
);
110 void OC_global___rta_analysis___RtaBuilder___force_some_type_analysis_21(struct stack_frame_t
*closctx
, val_t p0
);
111 typedef void (*OC_global___rta_analysis___RtaBuilder___force_some_type_analysis_21_t
)(struct stack_frame_t
*closctx
, val_t p0
);
112 void global___rta_analysis___RtaBuilder___work(val_t p0
);
113 typedef void (*global___rta_analysis___RtaBuilder___work_t
)(val_t p0
);
114 val_t
global___rta_analysis___RtaVisitor___builder(val_t p0
);
115 typedef val_t (*global___rta_analysis___RtaVisitor___builder_t
)(val_t p0
);
116 void global___rta_analysis___RtaVisitor___visit_icode(val_t p0
, val_t p1
);
117 typedef void (*global___rta_analysis___RtaVisitor___visit_icode_t
)(val_t p0
, val_t p1
);
118 typedef void (*CLOS_OC_global___rta_analysis___RtaVisitor___visit_icode_1_0
)(struct stack_frame_t
*);
119 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
);
120 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
);
121 void global___rta_analysis___RtaVisitor___init(val_t p0
, val_t p1
, int* init_table
);
122 typedef void (*global___rta_analysis___RtaVisitor___init_t
)(val_t p0
, val_t p1
, int* init_table
);
123 val_t
NEW_RtaVisitor_global___rta_analysis___RtaVisitor___init(val_t p0
);
nitlanguage / nit.git / blob