1 /* This C header file is generated by NIT to compile modules and programs that requires reachable_as_init. */
2 #ifndef reachable_as_init_sep
3 #define reachable_as_init_sep
4 #include "program._sep.h"
5 #include <nit_common.h>
7 extern const classtable_elt_t VFT_ReachableAsInitAnalysis
[];
9 extern const classtable_elt_t VFT_DefaultReachableAsInitAnalysis
[];
10 extern const char *LOCATE_reachable_as_init
;
11 extern const int SFT_reachable_as_init
[];
12 #define ATTR_reachable_as_init___Program____rai(recv) ATTR(recv, (SFT_reachable_as_init[0] + 0))
13 #define CALL_reachable_as_init___Program___rai(recv) ((reachable_as_init___Program___rai_t)CALL((recv), (SFT_reachable_as_init[1] + 0)))
14 #define CALL_reachable_as_init___Program___rai__eq(recv) ((reachable_as_init___Program___rai__eq_t)CALL((recv), (SFT_reachable_as_init[1] + 1)))
15 #define CALL_reachable_as_init___Program___dump_reachable_as_init_methods(recv) ((reachable_as_init___Program___dump_reachable_as_init_methods_t)CALL((recv), (SFT_reachable_as_init[1] + 2)))
16 #define ID_ReachableAsInitAnalysis (SFT_reachable_as_init[2])
17 #define COLOR_ReachableAsInitAnalysis (SFT_reachable_as_init[3])
18 #define INIT_TABLE_POS_ReachableAsInitAnalysis (SFT_reachable_as_init[4] + 0)
19 #define CALL_reachable_as_init___ReachableAsInitAnalysis___is_method_reachable_as_init(recv) ((reachable_as_init___ReachableAsInitAnalysis___is_method_reachable_as_init_t)CALL((recv), (SFT_reachable_as_init[4] + 1)))
20 #define CALL_reachable_as_init___ReachableAsInitAnalysis___init(recv) ((reachable_as_init___ReachableAsInitAnalysis___init_t)CALL((recv), (SFT_reachable_as_init[4] + 2)))
21 #define ID_DefaultReachableAsInitAnalysis (SFT_reachable_as_init[5])
22 #define COLOR_DefaultReachableAsInitAnalysis (SFT_reachable_as_init[6])
23 #define INIT_TABLE_POS_DefaultReachableAsInitAnalysis (SFT_reachable_as_init[7] + 0)
24 #define CALL_reachable_as_init___DefaultReachableAsInitAnalysis___init(recv) ((reachable_as_init___DefaultReachableAsInitAnalysis___init_t)CALL((recv), (SFT_reachable_as_init[7] + 1)))
25 static const char * const LOCATE_reachable_as_init___Program___rai
= "reachable_as_init::Program::rai";
26 val_t
reachable_as_init___Program___rai(val_t p0
);
27 typedef val_t (*reachable_as_init___Program___rai_t
)(val_t p0
);
28 static const char * const LOCATE_reachable_as_init___Program___rai__eq
= "reachable_as_init::Program::rai=";
29 void reachable_as_init___Program___rai__eq(val_t p0
, val_t p1
);
30 typedef void (*reachable_as_init___Program___rai__eq_t
)(val_t p0
, val_t p1
);
31 static const char * const LOCATE_reachable_as_init___Program___dump_reachable_as_init_methods
= "reachable_as_init::Program::dump_reachable_as_init_methods";
32 void reachable_as_init___Program___dump_reachable_as_init_methods(val_t p0
, val_t p1
);
33 typedef void (*reachable_as_init___Program___dump_reachable_as_init_methods_t
)(val_t p0
, val_t p1
);
34 void OC_reachable_as_init___Program___dump_reachable_as_init_methods_4(struct stack_frame_t
*closctx
, val_t p0
);
35 typedef void (*OC_reachable_as_init___Program___dump_reachable_as_init_methods_4_t
)(struct stack_frame_t
*closctx
, val_t p0
);
36 typedef void (*CLOS_OC_reachable_as_init___Program___dump_reachable_as_init_methods_5_0
)(struct stack_frame_t
*);
37 void OC_reachable_as_init___Program___dump_reachable_as_init_methods_5(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
38 typedef void (*OC_reachable_as_init___Program___dump_reachable_as_init_methods_5_t
)(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
39 val_t
NEW_Program_program___Program___init(val_t p0
, val_t p1
);
40 static const char * const LOCATE_reachable_as_init___ReachableAsInitAnalysis___is_method_reachable_as_init
= "reachable_as_init::ReachableAsInitAnalysis::is_method_reachable_as_init";
41 val_t
reachable_as_init___ReachableAsInitAnalysis___is_method_reachable_as_init(val_t p0
, val_t p1
, val_t p2
);
42 typedef val_t (*reachable_as_init___ReachableAsInitAnalysis___is_method_reachable_as_init_t
)(val_t p0
, val_t p1
, val_t p2
);
43 static const char * const LOCATE_reachable_as_init___ReachableAsInitAnalysis___init
= "reachable_as_init::ReachableAsInitAnalysis::init";
44 void reachable_as_init___ReachableAsInitAnalysis___init(val_t p0
, int* init_table
);
45 typedef void (*reachable_as_init___ReachableAsInitAnalysis___init_t
)(val_t p0
, int* init_table
);
46 val_t
NEW_ReachableAsInitAnalysis_reachable_as_init___ReachableAsInitAnalysis___init();
47 static const char * const LOCATE_reachable_as_init___DefaultReachableAsInitAnalysis___is_method_reachable_as_init
= "reachable_as_init::DefaultReachableAsInitAnalysis::(reachable_as_init::ReachableAsInitAnalysis::is_method_reachable_as_init)";
48 val_t
reachable_as_init___DefaultReachableAsInitAnalysis___is_method_reachable_as_init(val_t p0
, val_t p1
, val_t p2
);
49 typedef val_t (*reachable_as_init___DefaultReachableAsInitAnalysis___is_method_reachable_as_init_t
)(val_t p0
, val_t p1
, val_t p2
);
50 static const char * const LOCATE_reachable_as_init___DefaultReachableAsInitAnalysis___init
= "reachable_as_init::DefaultReachableAsInitAnalysis::init";
51 void reachable_as_init___DefaultReachableAsInitAnalysis___init(val_t p0
, int* init_table
);
52 typedef void (*reachable_as_init___DefaultReachableAsInitAnalysis___init_t
)(val_t p0
, int* init_table
);
53 val_t
NEW_DefaultReachableAsInitAnalysis_reachable_as_init___DefaultReachableAsInitAnalysis___init();