1 /* This C header file is generated by NIT to compile modules and programs that requires static_type. */
2 #ifndef static_type_sep
3 #define static_type_sep
4 #include "abstractmetamodel._sep.h"
5 #include <nit_common.h>
7 extern const classtable_elt_t VFT_MMSignature
[];
9 extern const classtable_elt_t VFT_MMAncestor
[];
11 extern const classtable_elt_t VFT_MMType
[];
13 extern const classtable_elt_t VFT_MMTypeClass
[];
15 extern const classtable_elt_t VFT_MMTypeSimpleClass
[];
17 extern const classtable_elt_t VFT_MMTypeNone
[];
18 extern const char *LOCATE_static_type
;
19 extern const int SFT_static_type
[];
20 #define COLOR_static_type___MMLocalClass____base_type_cache SFT_static_type[0]
21 #define COLOR_static_type___MMLocalClass____ancestors SFT_static_type[1]
22 #define COLOR_static_type___MMLocalClass___get_type SFT_static_type[2]
23 #define COLOR_static_type___MMLocalClass___add_ancestor SFT_static_type[3]
24 #define COLOR_static_type___MMLocalClass___ancestors SFT_static_type[4]
25 #define COLOR_static_type___MMLocalClass___ancestor SFT_static_type[5]
26 #define COLOR_static_type___MMLocalProperty____signature SFT_static_type[6]
27 #define COLOR_static_type___MMLocalProperty____signatures_cache SFT_static_type[7]
28 #define COLOR_static_type___MMLocalProperty___signature SFT_static_type[8]
29 #define COLOR_static_type___MMLocalProperty___signature__eq SFT_static_type[9]
30 #define COLOR_static_type___MMLocalProperty___signature_for SFT_static_type[10]
31 #define ID_MMSignature SFT_static_type[11]
32 #define COLOR_MMSignature SFT_static_type[12]
33 #define COLOR_static_type___MMSignature____recv SFT_static_type[13]
34 #define COLOR_static_type___MMSignature____params SFT_static_type[14]
35 #define COLOR_static_type___MMSignature____return_type SFT_static_type[15]
36 #define INIT_TABLE_POS_MMSignature SFT_static_type[16]
37 #define COLOR_static_type___MMSignature___recv SFT_static_type[17]
38 #define COLOR_static_type___MMSignature___return_type SFT_static_type[18]
39 #define COLOR_static_type___MMSignature___arity SFT_static_type[19]
40 #define COLOR_static_type___MMSignature_____l SFT_static_type[20]
41 #define COLOR_static_type___MMSignature_____bra SFT_static_type[21]
42 #define COLOR_static_type___MMSignature___adaptation_to SFT_static_type[22]
43 #define COLOR_static_type___MMSignature___init SFT_static_type[23]
44 #define ID_MMAncestor SFT_static_type[24]
45 #define COLOR_MMAncestor SFT_static_type[25]
46 #define COLOR_static_type___MMAncestor____stype SFT_static_type[26]
47 #define COLOR_static_type___MMAncestor____inheriter SFT_static_type[27]
48 #define INIT_TABLE_POS_MMAncestor SFT_static_type[28]
49 #define COLOR_static_type___MMAncestor___stype SFT_static_type[29]
50 #define COLOR_static_type___MMAncestor___stype__eq SFT_static_type[30]
51 #define COLOR_static_type___MMAncestor___inheriter SFT_static_type[31]
52 #define COLOR_static_type___MMAncestor___inheriter__eq SFT_static_type[32]
53 #define COLOR_static_type___MMAncestor___is_reffinement SFT_static_type[33]
54 #define COLOR_static_type___MMAncestor___is_specialisation SFT_static_type[34]
55 #define COLOR_static_type___MMAncestor___local_class SFT_static_type[35]
56 #define ID_MMType SFT_static_type[36]
57 #define COLOR_MMType SFT_static_type[37]
58 #define INIT_TABLE_POS_MMType SFT_static_type[38]
59 #define COLOR_static_type___MMType___module SFT_static_type[39]
60 #define COLOR_static_type___MMType___local_class SFT_static_type[40]
61 #define COLOR_static_type___MMType_____l SFT_static_type[41]
62 #define COLOR_static_type___MMType___is_supertype SFT_static_type[42]
63 #define COLOR_static_type___MMType___for_module SFT_static_type[43]
64 #define COLOR_static_type___MMType___adapt_to SFT_static_type[44]
65 #define COLOR_static_type___MMType___upcast_for SFT_static_type[45]
66 #define COLOR_static_type___MMType___not_for_self SFT_static_type[46]
67 #define ID_MMTypeClass SFT_static_type[47]
68 #define COLOR_MMTypeClass SFT_static_type[48]
69 #define COLOR_static_type___MMTypeClass____local_class SFT_static_type[49]
70 #define INIT_TABLE_POS_MMTypeClass SFT_static_type[50]
71 #define COLOR_static_type___MMTypeClass___init SFT_static_type[51]
72 #define ID_MMTypeSimpleClass SFT_static_type[52]
73 #define COLOR_MMTypeSimpleClass SFT_static_type[53]
74 #define INIT_TABLE_POS_MMTypeSimpleClass SFT_static_type[54]
75 #define COLOR_static_type___MMTypeSimpleClass___init SFT_static_type[55]
76 #define ID_MMTypeNone SFT_static_type[56]
77 #define COLOR_MMTypeNone SFT_static_type[57]
78 #define COLOR_static_type___MMTypeNone____module SFT_static_type[58]
79 #define INIT_TABLE_POS_MMTypeNone SFT_static_type[59]
80 #define COLOR_static_type___MMTypeNone___init SFT_static_type[60]
81 #define COLOR_static_type___MMModule____type_none SFT_static_type[61]
82 #define COLOR_static_type___MMModule___type_none SFT_static_type[62]
83 #define ATTR_static_type___MMLocalClass____base_type_cache(recv) ATTR(recv, COLOR_static_type___MMLocalClass____base_type_cache)
84 typedef val_t (* static_type___MMLocalClass___get_type_t
)(val_t self
);
85 val_t
static_type___MMLocalClass___get_type(val_t self
);
86 #define LOCATE_static_type___MMLocalClass___get_type "static_type::MMLocalClass::get_type"
87 typedef void (* static_type___MMLocalClass___add_ancestor_t
)(val_t self
, val_t param0
);
88 void static_type___MMLocalClass___add_ancestor(val_t self
, val_t param0
);
89 #define LOCATE_static_type___MMLocalClass___add_ancestor "static_type::MMLocalClass::add_ancestor"
90 #define ATTR_static_type___MMLocalClass____ancestors(recv) ATTR(recv, COLOR_static_type___MMLocalClass____ancestors)
91 typedef val_t (* static_type___MMLocalClass___ancestors_t
)(val_t self
);
92 val_t
static_type___MMLocalClass___ancestors(val_t self
);
93 #define LOCATE_static_type___MMLocalClass___ancestors "static_type::MMLocalClass::ancestors"
94 typedef val_t (* static_type___MMLocalClass___ancestor_t
)(val_t self
, val_t param0
);
95 val_t
static_type___MMLocalClass___ancestor(val_t self
, val_t param0
);
96 #define LOCATE_static_type___MMLocalClass___ancestor "static_type::MMLocalClass::ancestor"
97 #define ATTR_static_type___MMLocalProperty____signature(recv) ATTR(recv, COLOR_static_type___MMLocalProperty____signature)
98 typedef val_t (* static_type___MMLocalProperty___signature_t
)(val_t self
);
99 val_t
static_type___MMLocalProperty___signature(val_t self
);
100 #define LOCATE_static_type___MMLocalProperty___signature "static_type::MMLocalProperty::signature"
101 typedef void (* static_type___MMLocalProperty___signature__eq_t
)(val_t self
, val_t param0
);
102 void static_type___MMLocalProperty___signature__eq(val_t self
, val_t param0
);
103 #define LOCATE_static_type___MMLocalProperty___signature__eq "static_type::MMLocalProperty::signature="
104 #define ATTR_static_type___MMLocalProperty____signatures_cache(recv) ATTR(recv, COLOR_static_type___MMLocalProperty____signatures_cache)
105 typedef val_t (* static_type___MMLocalProperty___signature_for_t
)(val_t self
, val_t param0
);
106 val_t
static_type___MMLocalProperty___signature_for(val_t self
, val_t param0
);
107 #define LOCATE_static_type___MMLocalProperty___signature_for "static_type::MMLocalProperty::signature_for"
108 #define ATTR_static_type___MMSignature____recv(recv) ATTR(recv, COLOR_static_type___MMSignature____recv)
109 typedef val_t (* static_type___MMSignature___recv_t
)(val_t self
);
110 val_t
static_type___MMSignature___recv(val_t self
);
111 #define LOCATE_static_type___MMSignature___recv "static_type::MMSignature::recv"
112 #define ATTR_static_type___MMSignature____params(recv) ATTR(recv, COLOR_static_type___MMSignature____params)
113 #define ATTR_static_type___MMSignature____return_type(recv) ATTR(recv, COLOR_static_type___MMSignature____return_type)
114 typedef val_t (* static_type___MMSignature___return_type_t
)(val_t self
);
115 val_t
static_type___MMSignature___return_type(val_t self
);
116 #define LOCATE_static_type___MMSignature___return_type "static_type::MMSignature::return_type"
117 typedef val_t (* static_type___MMSignature___arity_t
)(val_t self
);
118 val_t
static_type___MMSignature___arity(val_t self
);
119 #define LOCATE_static_type___MMSignature___arity "static_type::MMSignature::arity"
120 typedef val_t (* static_type___MMSignature_____l_t
)(val_t self
, val_t param0
);
121 val_t
static_type___MMSignature_____l(val_t self
, val_t param0
);
122 #define LOCATE_static_type___MMSignature_____l "static_type::MMSignature::<"
123 typedef val_t (* static_type___MMSignature_____bra_t
)(val_t self
, val_t param0
);
124 val_t
static_type___MMSignature_____bra(val_t self
, val_t param0
);
125 #define LOCATE_static_type___MMSignature_____bra "static_type::MMSignature::[]"
126 typedef val_t (* static_type___MMSignature___to_s_t
)(val_t self
);
127 val_t
static_type___MMSignature___to_s(val_t self
);
128 #define LOCATE_static_type___MMSignature___to_s "static_type::MMSignature::(string::Object::to_s)"
129 typedef val_t (* static_type___MMSignature___adaptation_to_t
)(val_t self
, val_t param0
);
130 val_t
static_type___MMSignature___adaptation_to(val_t self
, val_t param0
);
131 #define LOCATE_static_type___MMSignature___adaptation_to "static_type::MMSignature::adaptation_to"
132 typedef void (* static_type___MMSignature___init_t
)(val_t self
, val_t param0
, val_t param1
, val_t param2
, int* init_table
);
133 void static_type___MMSignature___init(val_t self
, val_t param0
, val_t param1
, val_t param2
, int* init_table
);
134 val_t
NEW_static_type___MMSignature___init(val_t param0
, val_t param1
, val_t param2
);
135 #define LOCATE_static_type___MMSignature___init "static_type::MMSignature::init"
136 #define ATTR_static_type___MMAncestor____stype(recv) ATTR(recv, COLOR_static_type___MMAncestor____stype)
137 typedef val_t (* static_type___MMAncestor___stype_t
)(val_t self
);
138 val_t
static_type___MMAncestor___stype(val_t self
);
139 #define LOCATE_static_type___MMAncestor___stype "static_type::MMAncestor::stype"
140 typedef void (* static_type___MMAncestor___stype__eq_t
)(val_t self
, val_t param0
);
141 void static_type___MMAncestor___stype__eq(val_t self
, val_t param0
);
142 #define LOCATE_static_type___MMAncestor___stype__eq "static_type::MMAncestor::stype="
143 #define ATTR_static_type___MMAncestor____inheriter(recv) ATTR(recv, COLOR_static_type___MMAncestor____inheriter)
144 typedef val_t (* static_type___MMAncestor___inheriter_t
)(val_t self
);
145 val_t
static_type___MMAncestor___inheriter(val_t self
);
146 #define LOCATE_static_type___MMAncestor___inheriter "static_type::MMAncestor::inheriter"
147 typedef void (* static_type___MMAncestor___inheriter__eq_t
)(val_t self
, val_t param0
);
148 void static_type___MMAncestor___inheriter__eq(val_t self
, val_t param0
);
149 #define LOCATE_static_type___MMAncestor___inheriter__eq "static_type::MMAncestor::inheriter="
150 typedef val_t (* static_type___MMAncestor___is_reffinement_t
)(val_t self
);
151 val_t
static_type___MMAncestor___is_reffinement(val_t self
);
152 #define LOCATE_static_type___MMAncestor___is_reffinement "static_type::MMAncestor::is_reffinement"
153 typedef val_t (* static_type___MMAncestor___is_specialisation_t
)(val_t self
);
154 val_t
static_type___MMAncestor___is_specialisation(val_t self
);
155 #define LOCATE_static_type___MMAncestor___is_specialisation "static_type::MMAncestor::is_specialisation"
156 typedef val_t (* static_type___MMAncestor___local_class_t
)(val_t self
);
157 val_t
static_type___MMAncestor___local_class(val_t self
);
158 #define LOCATE_static_type___MMAncestor___local_class "static_type::MMAncestor::local_class"
159 typedef val_t (* static_type___MMAncestor___to_s_t
)(val_t self
);
160 val_t
static_type___MMAncestor___to_s(val_t self
);
161 #define LOCATE_static_type___MMAncestor___to_s "static_type::MMAncestor::(string::Object::to_s)"
162 typedef val_t (* static_type___MMType___module_t
)(val_t self
);
163 val_t
static_type___MMType___module(val_t self
);
164 #define LOCATE_static_type___MMType___module "static_type::MMType::module"
165 typedef val_t (* static_type___MMType___local_class_t
)(val_t self
);
166 val_t
static_type___MMType___local_class(val_t self
);
167 #define LOCATE_static_type___MMType___local_class "static_type::MMType::local_class"
168 typedef val_t (* static_type___MMType_____l_t
)(val_t self
, val_t param0
);
169 val_t
static_type___MMType_____l(val_t self
, val_t param0
);
170 #define LOCATE_static_type___MMType_____l "static_type::MMType::<"
171 typedef val_t (* static_type___MMType___is_supertype_t
)(val_t self
, val_t param0
);
172 val_t
static_type___MMType___is_supertype(val_t self
, val_t param0
);
173 #define LOCATE_static_type___MMType___is_supertype "static_type::MMType::is_supertype"
174 typedef val_t (* static_type___MMType___for_module_t
)(val_t self
, val_t param0
);
175 val_t
static_type___MMType___for_module(val_t self
, val_t param0
);
176 #define LOCATE_static_type___MMType___for_module "static_type::MMType::for_module"
177 typedef val_t (* static_type___MMType___adapt_to_t
)(val_t self
, val_t param0
);
178 val_t
static_type___MMType___adapt_to(val_t self
, val_t param0
);
179 #define LOCATE_static_type___MMType___adapt_to "static_type::MMType::adapt_to"
180 typedef val_t (* static_type___MMType___upcast_for_t
)(val_t self
, val_t param0
);
181 val_t
static_type___MMType___upcast_for(val_t self
, val_t param0
);
182 #define LOCATE_static_type___MMType___upcast_for "static_type::MMType::upcast_for"
183 typedef val_t (* static_type___MMType___not_for_self_t
)(val_t self
);
184 val_t
static_type___MMType___not_for_self(val_t self
);
185 #define LOCATE_static_type___MMType___not_for_self "static_type::MMType::not_for_self"
186 #define ATTR_static_type___MMTypeClass____local_class(recv) ATTR(recv, COLOR_static_type___MMTypeClass____local_class)
187 typedef val_t (* static_type___MMTypeClass___local_class_t
)(val_t self
);
188 val_t
static_type___MMTypeClass___local_class(val_t self
);
189 #define LOCATE_static_type___MMTypeClass___local_class "static_type::MMTypeClass::(static_type::MMType::local_class)"
190 typedef val_t (* static_type___MMTypeClass___module_t
)(val_t self
);
191 val_t
static_type___MMTypeClass___module(val_t self
);
192 #define LOCATE_static_type___MMTypeClass___module "static_type::MMTypeClass::(static_type::MMType::module)"
193 typedef val_t (* static_type___MMTypeClass_____l_t
)(val_t self
, val_t param0
);
194 val_t
static_type___MMTypeClass_____l(val_t self
, val_t param0
);
195 #define LOCATE_static_type___MMTypeClass_____l "static_type::MMTypeClass::(static_type::MMType::<)"
196 typedef val_t (* static_type___MMTypeClass___to_s_t
)(val_t self
);
197 val_t
static_type___MMTypeClass___to_s(val_t self
);
198 #define LOCATE_static_type___MMTypeClass___to_s "static_type::MMTypeClass::(string::Object::to_s)"
199 typedef val_t (* static_type___MMTypeClass___upcast_for_t
)(val_t self
, val_t param0
);
200 val_t
static_type___MMTypeClass___upcast_for(val_t self
, val_t param0
);
201 #define LOCATE_static_type___MMTypeClass___upcast_for "static_type::MMTypeClass::(static_type::MMType::upcast_for)"
202 typedef void (* static_type___MMTypeClass___init_t
)(val_t self
, val_t param0
, int* init_table
);
203 void static_type___MMTypeClass___init(val_t self
, val_t param0
, int* init_table
);
204 val_t
NEW_static_type___MMTypeClass___init(val_t param0
);
205 #define LOCATE_static_type___MMTypeClass___init "static_type::MMTypeClass::init"
206 typedef val_t (* static_type___MMTypeSimpleClass___is_supertype_t
)(val_t self
, val_t param0
);
207 val_t
static_type___MMTypeSimpleClass___is_supertype(val_t self
, val_t param0
);
208 #define LOCATE_static_type___MMTypeSimpleClass___is_supertype "static_type::MMTypeSimpleClass::(static_type::MMType::is_supertype)"
209 typedef val_t (* static_type___MMTypeSimpleClass___for_module_t
)(val_t self
, val_t param0
);
210 val_t
static_type___MMTypeSimpleClass___for_module(val_t self
, val_t param0
);
211 #define LOCATE_static_type___MMTypeSimpleClass___for_module "static_type::MMTypeSimpleClass::(static_type::MMType::for_module)"
212 typedef val_t (* static_type___MMTypeSimpleClass___adapt_to_t
)(val_t self
, val_t param0
);
213 val_t
static_type___MMTypeSimpleClass___adapt_to(val_t self
, val_t param0
);
214 #define LOCATE_static_type___MMTypeSimpleClass___adapt_to "static_type::MMTypeSimpleClass::(static_type::MMType::adapt_to)"
215 typedef void (* static_type___MMTypeSimpleClass___init_t
)(val_t self
, val_t param0
, int* init_table
);
216 void static_type___MMTypeSimpleClass___init(val_t self
, val_t param0
, int* init_table
);
217 val_t
NEW_static_type___MMTypeSimpleClass___init(val_t param0
);
218 #define LOCATE_static_type___MMTypeSimpleClass___init "static_type::MMTypeSimpleClass::init"
219 #define ATTR_static_type___MMTypeNone____module(recv) ATTR(recv, COLOR_static_type___MMTypeNone____module)
220 typedef val_t (* static_type___MMTypeNone___module_t
)(val_t self
);
221 val_t
static_type___MMTypeNone___module(val_t self
);
222 #define LOCATE_static_type___MMTypeNone___module "static_type::MMTypeNone::(static_type::MMType::module)"
223 typedef val_t (* static_type___MMTypeNone_____l_t
)(val_t self
, val_t param0
);
224 val_t
static_type___MMTypeNone_____l(val_t self
, val_t param0
);
225 #define LOCATE_static_type___MMTypeNone_____l "static_type::MMTypeNone::(static_type::MMType::<)"
226 typedef val_t (* static_type___MMTypeNone___is_supertype_t
)(val_t self
, val_t param0
);
227 val_t
static_type___MMTypeNone___is_supertype(val_t self
, val_t param0
);
228 #define LOCATE_static_type___MMTypeNone___is_supertype "static_type::MMTypeNone::(static_type::MMType::is_supertype)"
229 typedef val_t (* static_type___MMTypeNone___local_class_t
)(val_t self
);
230 val_t
static_type___MMTypeNone___local_class(val_t self
);
231 #define LOCATE_static_type___MMTypeNone___local_class "static_type::MMTypeNone::(static_type::MMType::local_class)"
232 typedef val_t (* static_type___MMTypeNone___upcast_for_t
)(val_t self
, val_t param0
);
233 val_t
static_type___MMTypeNone___upcast_for(val_t self
, val_t param0
);
234 #define LOCATE_static_type___MMTypeNone___upcast_for "static_type::MMTypeNone::(static_type::MMType::upcast_for)"
235 typedef void (* static_type___MMTypeNone___init_t
)(val_t self
, val_t param0
, int* init_table
);
236 void static_type___MMTypeNone___init(val_t self
, val_t param0
, int* init_table
);
237 val_t
NEW_static_type___MMTypeNone___init(val_t param0
);
238 #define LOCATE_static_type___MMTypeNone___init "static_type::MMTypeNone::init"
239 #define ATTR_static_type___MMModule____type_none(recv) ATTR(recv, COLOR_static_type___MMModule____type_none)
240 typedef val_t (* static_type___MMModule___type_none_t
)(val_t self
);
241 val_t
static_type___MMModule___type_none(val_t self
);
242 #define LOCATE_static_type___MMModule___type_none "static_type::MMModule::type_none"
nitlanguage / nit.git / blob