1 /* This C header file is generated by NIT to compile modules and programs that requires genericity. */
4 #include "type_formal._sep.h"
5 #include <nit_common.h>
7 extern const classtable_elt_t VFT_MMTypeGeneric
[];
9 extern const classtable_elt_t VFT_MMTypeFormalParameter
[];
10 extern const char *LOCATE_genericity
;
11 extern const int SFT_genericity
[];
12 #define COLOR_genericity___MMLocalClass____types SFT_genericity[0]
13 #define COLOR_genericity___MMLocalClass____formals_types SFT_genericity[1]
14 #define COLOR_genericity___MMLocalClass___get_formal SFT_genericity[2]
15 #define COLOR_genericity___MMLocalClass___register_formal SFT_genericity[3]
16 #define COLOR_genericity___MMLocalClass___get_instantiate_type SFT_genericity[4]
17 #define COLOR_genericity___MMLocalClass___formals_types SFT_genericity[5]
18 #define COLOR_SUPER_genericity___MMLocalClass___get_type SFT_genericity[6]
19 #define COLOR_genericity___MMLocalClass___is_generic SFT_genericity[7]
20 #define COLOR_genericity___MMType___is_generic SFT_genericity[8]
21 #define ID_MMTypeGeneric SFT_genericity[9]
22 #define COLOR_MMTypeGeneric SFT_genericity[10]
23 #define COLOR_genericity___MMTypeGeneric____params SFT_genericity[11]
24 #define INIT_TABLE_POS_MMTypeGeneric SFT_genericity[12]
25 #define COLOR_genericity___MMTypeGeneric___params SFT_genericity[13]
26 #define COLOR_SUPER_genericity___MMTypeGeneric___upcast_for SFT_genericity[14]
27 #define COLOR_genericity___MMTypeGeneric___params_equals SFT_genericity[15]
28 #define COLOR_SUPER_genericity___MMTypeGeneric___to_s SFT_genericity[16]
29 #define COLOR_genericity___MMTypeGeneric___is_subtype SFT_genericity[17]
30 #define COLOR_genericity___MMTypeGeneric___init SFT_genericity[18]
31 #define ID_MMTypeFormalParameter SFT_genericity[19]
32 #define COLOR_MMTypeFormalParameter SFT_genericity[20]
33 #define COLOR_genericity___MMTypeFormalParameter____def_class SFT_genericity[21]
34 #define COLOR_genericity___MMTypeFormalParameter____position SFT_genericity[22]
35 #define INIT_TABLE_POS_MMTypeFormalParameter SFT_genericity[23]
36 #define COLOR_genericity___MMTypeFormalParameter___def_class SFT_genericity[24]
37 #define COLOR_genericity___MMTypeFormalParameter___position SFT_genericity[25]
38 #define COLOR_genericity___MMTypeFormalParameter___bound__eq SFT_genericity[26]
39 #define COLOR_genericity___MMTypeFormalParameter___with_bound SFT_genericity[27]
40 #define COLOR_genericity___MMTypeFormalParameter___init SFT_genericity[28]
41 typedef val_t (* genericity___MMLocalClass___get_formal_t
)(val_t self
, val_t param0
);
42 val_t
genericity___MMLocalClass___get_formal(val_t self
, val_t param0
);
43 #define LOCATE_genericity___MMLocalClass___get_formal "genericity::MMLocalClass::get_formal"
44 typedef void (* genericity___MMLocalClass___register_formal_t
)(val_t self
, val_t param0
);
45 void genericity___MMLocalClass___register_formal(val_t self
, val_t param0
);
46 #define LOCATE_genericity___MMLocalClass___register_formal "genericity::MMLocalClass::register_formal"
47 #define ATTR_genericity___MMLocalClass____types(recv) ATTR(recv, COLOR_genericity___MMLocalClass____types)
48 typedef val_t (* genericity___MMLocalClass___get_instantiate_type_t
)(val_t self
, val_t param0
);
49 val_t
genericity___MMLocalClass___get_instantiate_type(val_t self
, val_t param0
);
50 #define LOCATE_genericity___MMLocalClass___get_instantiate_type "genericity::MMLocalClass::get_instantiate_type"
51 #define ATTR_genericity___MMLocalClass____formals_types(recv) ATTR(recv, COLOR_genericity___MMLocalClass____formals_types)
52 typedef val_t (* genericity___MMLocalClass___formals_types_t
)(val_t self
);
53 val_t
genericity___MMLocalClass___formals_types(val_t self
);
54 #define LOCATE_genericity___MMLocalClass___formals_types "genericity::MMLocalClass::formals_types"
55 typedef val_t (* genericity___MMLocalClass___get_type_t
)(val_t self
);
56 val_t
genericity___MMLocalClass___get_type(val_t self
);
57 #define LOCATE_genericity___MMLocalClass___get_type "genericity::MMLocalClass::(static_type::MMLocalClass::get_type)"
58 typedef val_t (* genericity___MMLocalClass___is_generic_t
)(val_t self
);
59 val_t
genericity___MMLocalClass___is_generic(val_t self
);
60 #define LOCATE_genericity___MMLocalClass___is_generic "genericity::MMLocalClass::is_generic"
61 typedef val_t (* genericity___MMType___is_generic_t
)(val_t self
);
62 val_t
genericity___MMType___is_generic(val_t self
);
63 #define LOCATE_genericity___MMType___is_generic "genericity::MMType::is_generic"
64 typedef val_t (* genericity___MMTypeFormal___is_generic_t
)(val_t self
);
65 val_t
genericity___MMTypeFormal___is_generic(val_t self
);
66 #define LOCATE_genericity___MMTypeFormal___is_generic "genericity::MMTypeFormal::(genericity::MMType::is_generic)"
67 typedef val_t (* genericity___MMTypeSimpleClass___is_generic_t
)(val_t self
);
68 val_t
genericity___MMTypeSimpleClass___is_generic(val_t self
);
69 #define LOCATE_genericity___MMTypeSimpleClass___is_generic "genericity::MMTypeSimpleClass::(genericity::MMType::is_generic)"
70 #define ATTR_genericity___MMTypeGeneric____params(recv) ATTR(recv, COLOR_genericity___MMTypeGeneric____params)
71 typedef val_t (* genericity___MMTypeGeneric___params_t
)(val_t self
);
72 val_t
genericity___MMTypeGeneric___params(val_t self
);
73 #define LOCATE_genericity___MMTypeGeneric___params "genericity::MMTypeGeneric::params"
74 typedef val_t (* genericity___MMTypeGeneric___is_generic_t
)(val_t self
);
75 val_t
genericity___MMTypeGeneric___is_generic(val_t self
);
76 #define LOCATE_genericity___MMTypeGeneric___is_generic "genericity::MMTypeGeneric::(genericity::MMType::is_generic)"
77 typedef val_t (* genericity___MMTypeGeneric___is_supertype_t
)(val_t self
, val_t param0
);
78 val_t
genericity___MMTypeGeneric___is_supertype(val_t self
, val_t param0
);
79 #define LOCATE_genericity___MMTypeGeneric___is_supertype "genericity::MMTypeGeneric::(static_type::MMType::is_supertype)"
80 typedef val_t (* genericity___MMTypeGeneric___upcast_for_t
)(val_t self
, val_t param0
);
81 val_t
genericity___MMTypeGeneric___upcast_for(val_t self
, val_t param0
);
82 #define LOCATE_genericity___MMTypeGeneric___upcast_for "genericity::MMTypeGeneric::(static_type::MMType::upcast_for)"
83 typedef val_t (* genericity___MMTypeGeneric___for_module_t
)(val_t self
, val_t param0
);
84 val_t
genericity___MMTypeGeneric___for_module(val_t self
, val_t param0
);
85 #define LOCATE_genericity___MMTypeGeneric___for_module "genericity::MMTypeGeneric::(static_type::MMType::for_module)"
86 typedef val_t (* genericity___MMTypeGeneric___adapt_to_t
)(val_t self
, val_t param0
);
87 val_t
genericity___MMTypeGeneric___adapt_to(val_t self
, val_t param0
);
88 #define LOCATE_genericity___MMTypeGeneric___adapt_to "genericity::MMTypeGeneric::(static_type::MMType::adapt_to)"
89 typedef val_t (* genericity___MMTypeGeneric___params_equals_t
)(val_t self
, val_t param0
);
90 val_t
genericity___MMTypeGeneric___params_equals(val_t self
, val_t param0
);
91 #define LOCATE_genericity___MMTypeGeneric___params_equals "genericity::MMTypeGeneric::params_equals"
92 typedef val_t (* genericity___MMTypeGeneric___to_s_t
)(val_t self
);
93 val_t
genericity___MMTypeGeneric___to_s(val_t self
);
94 #define LOCATE_genericity___MMTypeGeneric___to_s "genericity::MMTypeGeneric::(string::Object::to_s)"
95 typedef val_t (* genericity___MMTypeGeneric___is_subtype_t
)(val_t self
, val_t param0
);
96 val_t
genericity___MMTypeGeneric___is_subtype(val_t self
, val_t param0
);
97 #define LOCATE_genericity___MMTypeGeneric___is_subtype "genericity::MMTypeGeneric::is_subtype"
98 typedef void (* genericity___MMTypeGeneric___init_t
)(val_t self
, val_t param0
, val_t param1
, int* init_table
);
99 void genericity___MMTypeGeneric___init(val_t self
, val_t param0
, val_t param1
, int* init_table
);
100 val_t
NEW_genericity___MMTypeGeneric___init(val_t param0
, val_t param1
);
101 #define LOCATE_genericity___MMTypeGeneric___init "genericity::MMTypeGeneric::init"
102 #define ATTR_genericity___MMTypeFormalParameter____def_class(recv) ATTR(recv, COLOR_genericity___MMTypeFormalParameter____def_class)
103 typedef val_t (* genericity___MMTypeFormalParameter___def_class_t
)(val_t self
);
104 val_t
genericity___MMTypeFormalParameter___def_class(val_t self
);
105 #define LOCATE_genericity___MMTypeFormalParameter___def_class "genericity::MMTypeFormalParameter::def_class"
106 #define ATTR_genericity___MMTypeFormalParameter____position(recv) ATTR(recv, COLOR_genericity___MMTypeFormalParameter____position)
107 typedef val_t (* genericity___MMTypeFormalParameter___position_t
)(val_t self
);
108 val_t
genericity___MMTypeFormalParameter___position(val_t self
);
109 #define LOCATE_genericity___MMTypeFormalParameter___position "genericity::MMTypeFormalParameter::position"
110 typedef val_t (* genericity___MMTypeFormalParameter___module_t
)(val_t self
);
111 val_t
genericity___MMTypeFormalParameter___module(val_t self
);
112 #define LOCATE_genericity___MMTypeFormalParameter___module "genericity::MMTypeFormalParameter::(static_type::MMType::module)"
113 typedef val_t (* genericity___MMTypeFormalParameter___for_module_t
)(val_t self
, val_t param0
);
114 val_t
genericity___MMTypeFormalParameter___for_module(val_t self
, val_t param0
);
115 #define LOCATE_genericity___MMTypeFormalParameter___for_module "genericity::MMTypeFormalParameter::(static_type::MMType::for_module)"
116 typedef val_t (* genericity___MMTypeFormalParameter___upcast_for_t
)(val_t self
, val_t param0
);
117 val_t
genericity___MMTypeFormalParameter___upcast_for(val_t self
, val_t param0
);
118 #define LOCATE_genericity___MMTypeFormalParameter___upcast_for "genericity::MMTypeFormalParameter::(static_type::MMType::upcast_for)"
119 typedef void (* genericity___MMTypeFormalParameter___bound__eq_t
)(val_t self
, val_t param0
);
120 void genericity___MMTypeFormalParameter___bound__eq(val_t self
, val_t param0
);
121 #define LOCATE_genericity___MMTypeFormalParameter___bound__eq "genericity::MMTypeFormalParameter::bound="
122 typedef val_t (* genericity___MMTypeFormalParameter___adapt_to_t
)(val_t self
, val_t param0
);
123 val_t
genericity___MMTypeFormalParameter___adapt_to(val_t self
, val_t param0
);
124 #define LOCATE_genericity___MMTypeFormalParameter___adapt_to "genericity::MMTypeFormalParameter::(static_type::MMType::adapt_to)"
125 typedef void (* genericity___MMTypeFormalParameter___with_bound_t
)(val_t self
, val_t param0
, val_t param1
, val_t param2
, val_t param3
, int* init_table
);
126 void genericity___MMTypeFormalParameter___with_bound(val_t self
, val_t param0
, val_t param1
, val_t param2
, val_t param3
, int* init_table
);
127 val_t
NEW_genericity___MMTypeFormalParameter___with_bound(val_t param0
, val_t param1
, val_t param2
, val_t param3
);
128 #define LOCATE_genericity___MMTypeFormalParameter___with_bound "genericity::MMTypeFormalParameter::with_bound"
129 typedef void (* genericity___MMTypeFormalParameter___init_t
)(val_t self
, val_t param0
, val_t param1
, val_t param2
, int* init_table
);
130 void genericity___MMTypeFormalParameter___init(val_t self
, val_t param0
, val_t param1
, val_t param2
, int* init_table
);
131 val_t
NEW_genericity___MMTypeFormalParameter___init(val_t param0
, val_t param1
, val_t param2
);
132 #define LOCATE_genericity___MMTypeFormalParameter___init "genericity::MMTypeFormalParameter::init"
133 typedef val_t (* genericity___MMTypeNone___is_generic_t
)(val_t self
);
134 val_t
genericity___MMTypeNone___is_generic(val_t self
);
135 #define LOCATE_genericity___MMTypeNone___is_generic "genericity::MMTypeNone::(genericity::MMType::is_generic)"
136 typedef val_t (* genericity___MMTypeNone___for_module_t
)(val_t self
, val_t param0
);
137 val_t
genericity___MMTypeNone___for_module(val_t self
, val_t param0
);
138 #define LOCATE_genericity___MMTypeNone___for_module "genericity::MMTypeNone::(static_type::MMType::for_module)"
139 typedef val_t (* genericity___MMTypeNone___adapt_to_t
)(val_t self
, val_t param0
);
140 val_t
genericity___MMTypeNone___adapt_to(val_t self
, val_t param0
);
141 #define LOCATE_genericity___MMTypeNone___adapt_to "genericity::MMTypeNone::(static_type::MMType::adapt_to)"