misc/vim: inform the user when no results are found
[nit.git] / c_src / nit__typing.sep.0.h
1 #include "nit.common.h"
2 #define COLOR_nit__typing__ToolContext___typing_phase 47
3 extern const char FILE_nit__typing[];
4 #define COLOR_nit__phase__Phase___toolcontext 0
5 extern const char FILE_nit__phase[];
6 val* nit__modelbuilder_base___ToolContext___modelbuilder(val* self);
7 #define COLOR_nit__typing__APropdef__do_typing 90
8 #define COLOR_nit__typing__TypeVisitor___modelbuilder 0
9 #define COLOR_nit__typing__TypeVisitor___mmodule 1
10 #define COLOR_nit__typing__TypeVisitor___anchor 2
11 #define COLOR_nit__typing__TypeVisitor___mclassdef 3
12 #define COLOR_nit__typing__TypeVisitor___mpropdef 4
13 #define COLOR_nit__typing__TypeVisitor___selfvariable 5
14 #define COLOR_nit__typing__TypeVisitor___is_toplevel_context 6
15 #define COLOR_standard__kernel__Object___61d_61d 2
16 #define COLOR_nit__model__MPropDef___mclassdef 4
17 extern const char FILE_nit__model[];
18 #define COLOR_nit__model__MClassDef___bound_mtype 6
19 #define COLOR_nit__model__MClassDef___mclass 5
20 val* NEW_nit__Variable(const struct type* type);
21 extern const struct type type_nit__Variable;
22 val* standard___standard__NativeString___to_s_with_length(char* self, long p0);
23 #define COLOR_nit__scope__Variable__name_61d 33
24 #define COLOR_standard__kernel__Object__init 7
25 #define COLOR_nit__model__MClass___mclass_type 16
26 #define COLOR_nit__typing__Variable___declared_type 3
27 #define COLOR_nit__model__MPropDef___mproperty 5
28 extern const struct type type_nit__MMethod;
29 #define COLOR_nit__model__MMethod___is_toplevel 15
30 #define COLOR_nit__model__MMethod___is_new 18
31 #define COLOR_nit__model__MType__need_anchor 43
32 #define COLOR_nit__model__MType__anchor_to 42
33 short int nit___nit__MType___is_subtype(val* self, val* p0, val* p1, val* p2);
34 #define COLOR_nit__model__MType__resolve_for 45
35 short int nit__typing___nit__typing__TypeVisitor___is_subtype(val* self, val* p0, val* p1);
36 val* nit__typing___nit__typing__TypeVisitor___anchor_to(val* self, val* p0);
37 val* NEW_standard__Array(const struct type* type);
38 extern const struct type type_standard__Array__standard__Object;
39 val* NEW_standard__NativeArray(int length, const struct type* type);
40 extern const struct type type_standard__NativeArray__standard__Object;
41 #define COLOR_standard__array__Array__with_native 73
42 #define COLOR_standard__string__Object__to_s 9
43 void nit___nit__ModelBuilder___error(val* self, val* p0, val* p1);
44 #define COLOR_nit__typing__AExpr__accept_typing 67
45 #define COLOR_nit__typing__AExpr__mtype 60
46 #define COLOR_nit__typing__AExpr___is_typed 6
47 #define COLOR_nit__modelbuilder_base__ModelBuilder___toolcontext 1
48 extern const char FILE_nit__modelbuilder_base[];
49 #define COLOR_nit__toolcontext__ToolContext___error_count 0
50 extern const struct type type_standard__Int;
51 extern const char FILE_standard__kernel[];
52 #define COLOR_nit__toolcontext__ToolContext___verbose_level 22
53 void nit___nit__ANode___debug(val* self, val* p0);
54 void nit__typing___nit__typing__TypeVisitor___error(val* self, val* p0, val* p1);
55 val* nit__typing___nit__typing__TypeVisitor___visit_expr(val* self, val* p0);
56 val* nit__typing___nit__typing__TypeVisitor___check_subtype(val* self, val* p0, val* p1, val* p2);
57 #define COLOR_nit__typing__AExpr___implicit_cast_to 7
58 val* nit__typing___nit__typing__TypeVisitor___type_bool(val* self, val* p0);
59 val* nit__typing___nit__typing__TypeVisitor___visit_expr_subtype(val* self, val* p0, val* p1);
60 val* nit__typing___nit__typing__TypeVisitor___resolve_mtype(val* self, val* p0);
61 void nit___nit__ModelBuilder___warning(val* self, val* p0, val* p1, val* p2);
62 #define COLOR_nit__parser_nodes__ASendExpr___n_expr 10
63 extern const char FILE_nit__parser_nodes[];
64 #define COLOR_nit__parser_nodes__ABinopExpr___n_expr2 12
65 extern const struct type type_nit__MNullType;
66 extern const struct type type_nit__MNullableType;
67 #define COLOR_nit__typing__AExpr__its_variable 66
68 extern const struct type type_nit__AEqExpr;
69 #define COLOR_nit__flow__AExpr___after_flow_context 4
70 extern const char FILE_nit__flow[];
71 #define COLOR_nit__flow__FlowContext___when_true 7
72 void nit__typing___FlowContext___set_var(val* self, val* p0, val* p1);
73 #define COLOR_nit__flow__FlowContext___when_false 8
74 #define COLOR_nit__model__MNullableType___mtype 5
75 extern const struct type type_nit__ANeExpr;
76 val* nit___nit__ModelBuilder___try_get_mproperty_by_name2(val* self, val* p0, val* p1, val* p2, val* p3);
77 val* nit__modelize_class___ModelBuilder___resolve_mtype(val* self, val* p0, val* p1, val* p2);
78 val* nit___nit__ModelBuilder___try_get_mclass_by_name(val* self, val* p0, val* p1, val* p2);
79 val* nit__typing___nit__typing__TypeVisitor___get_mclass(val* self, val* p0, val* p1);
80 val* nit__model___MModule___object_type(val* self);
81 val* nit___nit__MType___as_nullable(val* self);
82 val* nit__typing___nit__typing__TypeVisitor___try_get_mproperty_by_name2(val* self, val* p0, val* p1, val* p2);
83 #define COLOR_nit__model__MProperty___visibility 10
84 val* nit__model_base___standard__Object___protected_visibility(val* self);
85 #define COLOR_nit__model__MProperty___intro_mclassdef 4
86 #define COLOR_nit__model__MClassDef___mmodule 4
87 val* nit___nit__MModule___visibility_for(val* self, val* p0);
88 val* nit__model_base___standard__Object___intrude_visibility(val* self);
89 short int nit___nit__MVisibility___standard__kernel__Comparable___60d(val* self, val* p0);
90 #define COLOR_nit__modelbuilder__ToolContext___opt_ignore_visibility 41
91 extern const char FILE_nit__modelbuilder[];
92 #define COLOR_opts__Option___value 6
93 #define COLOR_nit__mdoc__MEntity___deprecation 1
94 #define COLOR_nit__mdoc__MDeprecationInfo___mdoc 0
95 #define COLOR_nit__mdoc__MDoc___content 0
96 extern const char FILE_nit__mdoc[];
97 val* standard___standard__SequenceRead___Collection__first(val* self);
98 val* nit___nit__MProperty___lookup_definitions(val* self, val* p0, val* p1);
99 #define COLOR_standard__array__AbstractArrayRead___length 0
100 val* standard__string___Collection___join(val* self, val* p0);
101 #define COLOR_nit__model__MProperty___intro 12
102 #define COLOR_nit__model__MMethodDef___new_msignature 14
103 #define COLOR_nit__model__MMethodDef___msignature 13
104 val* nit__typing___nit__typing__TypeVisitor___resolve_for(val* self, val* p0, val* p1, short int p2);
105 extern const struct type type_nit__MSignature;
106 #define COLOR_nit__model__MSignature___return_mtype 6
107 #define COLOR_nit__model__MType__as_notnullable 50
108 extern const struct type type_nit__MParameterType;
109 val* NEW_nit__CallSite(const struct type* type);
110 extern const struct type type_nit__CallSite;
111 #define COLOR_nit__typing__CallSite__node_61d 33
112 #define COLOR_nit__typing__CallSite__recv_61d 35
113 #define COLOR_nit__typing__CallSite__mmodule_61d 37
114 #define COLOR_nit__typing__CallSite__anchor_61d 39
115 #define COLOR_nit__typing__CallSite__recv_is_self_61d 40
116 #define COLOR_nit__typing__CallSite__mproperty_61d 42
117 #define COLOR_nit__typing__CallSite__mpropdef_61d 44
118 #define COLOR_nit__typing__CallSite__msignature_61d 46
119 #define COLOR_nit__typing__CallSite__erasure_cast_61d 48
120 val* nit__typing___nit__typing__TypeVisitor___get_method(val* self, val* p0, val* p1, val* p2, short int p3);
121 #define COLOR_nit__model__MSignature___vararg_rank 7
122 long nit___nit__MSignature___arity(val* self);
123 val* BOX_standard__Int(long);
124 #define COLOR_nit__model__MSignature___mparameters 5
125 val* standard___standard__Array___standard__abstract_collection__SequenceRead___91d_93d(val* self, long p0);
126 #define COLOR_nit__model__MParameter___mtype 5
127 long standard___standard__Int___Discrete__successor(long self, long p0);
128 extern const struct type type_nit__AVarargExpr;
129 extern const struct type type_standard__Array__nit__MType;
130 void standard___standard__Array___with_capacity(val* self, long p0);
131 void standard___standard__AbstractArray___standard__abstract_collection__Sequence__push(val* self, val* p0);
132 val* nit___nit__MClass___get_mtype(val* self, val* p0);
133 #define COLOR_nit__parser_nodes__AVarargExpr___n_expr 10
134 #define COLOR_nit__typing__AExpr___mtype 5
135 #define COLOR_nit__parser_nodes__ANode__hot_location 34
136 void nit___nit__ToolContext___error(val* self, val* p0, val* p1);
137 #define COLOR_nit__typing__FlowContext___vars 10
138 short int standard___standard__MapRead___has_key(val* self, val* p0);
139 val* standard___standard__HashMap___standard__abstract_collection__MapRead___91d_93d(val* self, val* p0);
140 val* nit__typing___FlowContext___collect_types(val* self, val* p0);
141 short int standard___standard__Array___standard__kernel__Object___61d_61d(val* self, val* p0);
142 val* nit__typing___nit__typing__TypeVisitor___merge_types(val* self, val* p0, val* p1);
143 val* standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__iterator(val* self);
144 short int standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(val* self);
145 val* standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__item(val* self);
146 #define COLOR_nit__model__MType__as_nullable 49
147 void standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__next(val* self);
148 #define COLOR_nit__typing__CallSite___node 0
149 #define COLOR_nit__typing__CallSite___recv 1
150 #define COLOR_nit__typing__CallSite___mmodule 2
151 #define COLOR_nit__typing__CallSite___anchor 3
152 #define COLOR_nit__typing__CallSite___recv_is_self 4
153 #define COLOR_nit__typing__CallSite___mproperty 5
154 #define COLOR_nit__typing__CallSite___mpropdef 6
155 #define COLOR_nit__typing__CallSite___msignature 7
156 #define COLOR_nit__typing__CallSite___erasure_cast 8
157 #define COLOR_nit__model__MProperty___name 5
158 short int nit__typing___nit__typing__TypeVisitor___check_signature(val* self, val* p0, val* p1, val* p2, val* p3);
159 #define COLOR_nit___nit__CallSite___standard__kernel__Object__init 50
160 #define COLOR_nit__typing__FlowContext___cache 11
161 void standard___standard__HashMap___standard__abstract_collection__Map___91d_93d_61d(val* self, val* p0, val* p1);
162 #define COLOR_standard__hash_collection__HashMap___keys 7
163 extern const char FILE_standard__hash_collection[];
164 #define COLOR_standard__abstract_collection__RemovableCollection__remove 53
165 extern const struct type type_standard__Array__nullable__nit__MType;
166 #define COLOR_nit__flow__FlowContext___previous 0
167 short int standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__is_empty(val* self);
168 short int nit___nit__FlowContext___is_unreachable(val* self);
169 val* standard__array___Collection___to_a(val* self);
170 short int standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__has(val* self, val* p0);
171 void standard___standard__Array___standard__abstract_collection__SimpleCollection__add(val* self, val* p0);
172 #define COLOR_nit__typing__APropdef___selfvariable 17
173 #define COLOR_nit__parser_nodes__AMethPropdef___n_block 23
174 #define COLOR_nit__modelize_property__APropdef___mpropdef 16
175 val* NEW_nit__typing__TypeVisitor(const struct type* type);
176 extern const struct type type_nit__typing__TypeVisitor;
177 #define COLOR_nit__typing__TypeVisitor__modelbuilder_61d 33
178 #define COLOR_nit__typing__TypeVisitor__mmodule_61d 35
179 #define COLOR_nit__typing__TypeVisitor__mpropdef_61d 41
180 #define COLOR_nit__parser_nodes__AMethPropdef___n_signature 22
181 #define COLOR_nit__parser_nodes__ASignature___n_params 5
182 val* nit___nit__ANodes___standard__abstract_collection__SequenceRead___91d_93d(val* self, long p0);
183 #define COLOR_nit__scope__AParam___variable 7
184 void nit__typing___nit__typing__TypeVisitor___visit_stmt(val* self, val* p0);
185 #define COLOR_nit__parser_nodes__AAttrPropdef___n_expr 21
186 #define COLOR_nit__model__MAttributeDef___static_mtype 13
187 #define COLOR_nit__parser_nodes__AAttrPropdef___n_block 22
188 val* standard__string___Object___class_name(val* self);
189 #define COLOR_nit__typing__AExpr___comprehension 8
190 #define COLOR_nit__parser_nodes__ABlockExpr___n_expr 10
191 val* nit___nit__ANodes___standard__abstract_collection__Collection__iterator(val* self);
192 #define COLOR_standard__abstract_collection__Iterator__is_ok 34
193 #define COLOR_standard__abstract_collection__Iterator__item 32
194 #define COLOR_standard__abstract_collection__Iterator__next 33
195 short int nit___nit__ANodes___standard__abstract_collection__Collection__is_empty(val* self);
196 val* standard___standard__SequenceRead___last(val* self);
197 #define COLOR_nit__scope__AVardeclExpr___variable 15
198 #define COLOR_nit__parser_nodes__AVardeclExpr___n_type 12
199 #define COLOR_nit__parser_nodes__AVardeclExpr___n_expr 14
200 #define COLOR_nit__scope__Variable___name 0
201 extern const char FILE_nit__scope[];
202 void nit___nit__ModelBuilder___advice(val* self, val* p0, val* p1, val* p2);
203 void nit__typing___nit__typing__TypeVisitor___set_variable(val* self, val* p0, val* p1, val* p2);
204 #define COLOR_nit__scope__AVarFormExpr___variable 11
205 val* nit__typing___nit__typing__TypeVisitor___get_variable(val* self, val* p0, val* p1);
206 #define COLOR_nit__parser_nodes__AAssignFormExpr___n_value 13
207 #define COLOR_nit__typing__AReassignFormExpr___reassign_callsite 14
208 #define COLOR_nit__typing__AReassignFormExpr___read_type 15
209 #define COLOR_nit__parser_nodes__AReassignFormExpr___n_assign_op 12
210 extern const struct type type_nit__APlusAssignOp;
211 extern const struct type type_nit__AMinusAssignOp;
212 #define COLOR_nit__parser_nodes__AReassignFormExpr___n_value 13
213 val* nit__typing___AReassignFormExpr___resolve_reassignment(val* self, val* p0, val* p1, val* p2);
214 #define COLOR_nit__parser_nodes__AEscapeExpr___n_expr 11
215 #define COLOR_nit__parser_nodes__AReturnExpr___n_expr 11
216 extern const struct type type_nit__MMethodDef;
217 extern const struct type type_nit__MAttributeDef;
218 #define COLOR_nit__parser_nodes__AIfExpr___n_expr 11
219 val* nit__typing___nit__typing__TypeVisitor___visit_expr_bool(val* self, val* p0);
220 #define COLOR_nit__parser_nodes__AIfExpr___n_then 12
221 #define COLOR_nit__parser_nodes__AIfExpr___n_else 13
222 #define COLOR_nit__parser_nodes__AIfexprExpr___n_expr 11
223 #define COLOR_nit__parser_nodes__AIfexprExpr___n_then 13
224 #define COLOR_nit__parser_nodes__AIfexprExpr___n_else 15
225 #define COLOR_nit__parser_nodes__ADoExpr___n_block 12
226 #define COLOR_nit__parser_nodes__AWhileExpr___n_expr 12
227 #define COLOR_nit__parser_nodes__AWhileExpr___n_block 14
228 #define COLOR_nit__parser_nodes__ALoopExpr___n_block 12
229 #define COLOR_nit__typing__AForExpr___coltype 19
230 #define COLOR_nit__typing__AForExpr___method_iterator 20
231 #define COLOR_nit__typing__AForExpr___method_is_ok 21
232 #define COLOR_nit__typing__AForExpr___method_item 22
233 #define COLOR_nit__typing__AForExpr___method_next 23
234 #define COLOR_nit__typing__AForExpr___method_key 24
235 #define COLOR_nit__typing__AForExpr___method_finish 25
236 #define COLOR_nit__typing__AForExpr___method_lt 26
237 #define COLOR_nit__typing__AForExpr___method_successor 27
238 #define COLOR_nit__parser_nodes__AForExpr___n_expr 13
239 extern const struct type type_nit__ASelfExpr;
240 val* nit__typing___nit__typing__TypeVisitor___try_get_mclass(val* self, val* p0, val* p1);
241 val* nit___nit__MType___supertype_to(val* self, val* p0, val* p1, val* p2);
242 #define COLOR_nit__scope__AForExpr___variables 16
243 extern const char FILE_standard__array[];
244 #define COLOR_nit__model__MClassType__arguments 63
245 extern const struct type type_nit__MClassType;
246 val* nit__typing___nit__typing__TypeVisitor___try_get_method(val* self, val* p0, val* p1, val* p2, short int p3);
247 extern const struct type type_nit__ARangeExpr;
248 extern const struct type type_nit__AOrangeExpr;
249 void nit__typing___AForExpr___do_type_iterator(val* self, val* p0, val* p1);
250 #define COLOR_nit__parser_nodes__AForExpr___n_block 15
251 #define COLOR_nit__parser_nodes__AAssertExpr___n_expr 12
252 #define COLOR_nit__parser_nodes__AAssertExpr___n_else 13
253 #define COLOR_nit__parser_nodes__ABinBoolExpr___n_expr 10
254 #define COLOR_nit__parser_nodes__ABinBoolExpr___n_expr2 11
255 #define COLOR_nit__parser_nodes__ANotExpr___n_expr 11
256 #define COLOR_nit__parser_nodes__ASuperstringExpr___n_exprs 10
257 #define COLOR_nit__typing__AArrayExpr___with_capacity_callsite 14
258 #define COLOR_nit__typing__AArrayExpr___push_callsite 15
259 #define COLOR_nit__typing__AArrayExpr___element_mtype 16
260 extern const struct type type_nit__AForExpr;
261 void nit__typing___AArrayExpr___set_comprehension(val* self, val* p0);
262 extern const struct type type_nit__AIfExpr;
263 #define COLOR_nit__parser_nodes__AArrayExpr___n_type 12
264 void standard___standard__Array___standard__kernel__Object__init(val* self);
265 #define COLOR_nit__parser_nodes__AArrayExpr___n_exprs 11
266 #define COLOR_nit__typing__ARangeExpr___init_callsite 12
267 #define COLOR_nit__model__MClass___intro 15
268 #define COLOR_nit__parser_nodes__ARangeExpr___n_expr 10
269 #define COLOR_nit__parser_nodes__ARangeExpr___n_expr2 11
270 extern const struct type type_nit__ACrangeExpr;
271 #define COLOR_nit__mmodule__MModule___model 4
272 extern const char FILE_nit__mmodule[];
273 #define COLOR_nit__model__Model___null_type 12
274 #define COLOR_nit__typing__AIsaExpr___cast_type 12
275 #define COLOR_nit__parser_nodes__AIsaExpr___n_expr 10
276 #define COLOR_nit__parser_nodes__AIsaExpr___n_type 11
277 val* nit__typing___nit__typing__TypeVisitor___visit_expr_cast(val* self, val* p0, val* p1, val* p2);
278 #define COLOR_nit__parser_nodes__AAsCastForm___n_expr 10
279 #define COLOR_nit__parser_nodes__AAsCastExpr___n_type 14
280 #define COLOR_nit__parser_nodes__AParExpr___n_expr 11
281 #define COLOR_nit__parser_nodes__AOnceExpr___n_expr 11
282 #define COLOR_nit__typing__ASelfExpr___its_variable 12
283 extern const struct type type_nit__AImplicitSelfExpr;
284 #define COLOR_nit__typing__ASendExpr___callsite 11
285 #define COLOR_nit__typing__ASendExpr__property_name 83
286 #define COLOR_nit__typing__ASendExpr__compute_raw_arguments 85
287 short int nit___nit__CallSite___check_signature(val* self, val* p0, val* p1);
288 #define COLOR_nit__model__MMethod___is_init 16
289 #define COLOR_nit__model__MMethod___is_root_init 17
290 extern const struct type type_standard__Array__nit__AExpr;
291 #define COLOR_nit__typing___AEqExpr___AExpr__accept_typing 90
292 void nit__typing___nit__typing__TypeVisitor___null_test(val* self, val* p0);
293 #define COLOR_nit__typing___ANeExpr___AExpr__accept_typing 90
294 #define COLOR_nit__parser_nodes__ACallFormExpr___n_id 16
295 val* nit__lexer_work___Token___text(val* self);
296 #define COLOR_nit__parser_nodes__ACallFormExpr___n_args 17
297 val* nit__typing___AExprs___to_a(val* self);
298 #define COLOR_standard__string__String___43d 82
299 #define COLOR_nit__parser_nodes__ABraFormExpr___n_args 16
300 #define COLOR_nit__typing__ASendReassignFormExpr___write_callsite 18
301 #define COLOR_nit__parser_nodes__AInitExpr___n_args 13
302 #define COLOR_nit__parser_nodes__AExprs___n_exprs 4
303 #define COLOR_nit__typing__ASuperExpr___callsite 13
304 #define COLOR_nit__typing__ASuperExpr___mpropdef 14
305 val* nit___nit__MProperty___lookup_super_definitions(val* self, val* p0, val* p1);
306 short int nit___nit__MPropDef___is_intro(val* self);
307 void nit__typing___ASuperExpr___process_superinit(val* self, val* p0);
308 #define COLOR_nit__parser_nodes__ASuperExpr___n_args 12
309 extern const char FILE_nit__modelize_property[];
310 #define COLOR_nit__modelize_property__MPropDef___has_supercall 12
311 #define COLOR_nit__model__MClassDef___supertypes 13
312 val* nit___nit__MClassType___MType__anchor_to(val* self, val* p0, val* p1);
313 extern const struct type type_nullable__nit__MMethod;
314 val* nit___nit__MProperty___nit__model_base__MEntity__full_name(val* self);
315 #define COLOR_nit__model__MParameter___name 4
316 #define COLOR_nit__typing__ANewExpr___callsite 14
317 #define COLOR_nit__typing__ANewExpr___recvtype 15
318 #define COLOR_nit__parser_nodes__ANewExpr___n_type 11
319 #define COLOR_nit__parser_nodes__ANewExpr___n_id 12
320 #define COLOR_nit__model__MClassType___mclass 5
321 #define COLOR_nit__model__MClass___kind 12
322 val* nit__model___standard__Object___concrete_kind(val* self);
323 short int nit___nit__MMethod___is_init_for(val* self, val* p0);
324 #define COLOR_nit__parser_nodes__ANewExpr___n_args 13
325 #define COLOR_nit__typing__AAttrFormExpr___mproperty 16
326 #define COLOR_nit__typing__AAttrFormExpr___attr_type 17
327 #define COLOR_nit__parser_nodes__AAttrFormExpr___n_expr 10
328 #define COLOR_nit__parser_nodes__AAttrFormExpr___n_id 11
329 extern const struct type type_nit__MAttribute;
330 void nit__typing___AAttrFormExpr___resolve_property(val* self, val* p0);
331 #define COLOR_nit__parser_nodes__ADebugTypeExpr___n_expr 12
332 #define COLOR_nit__parser_nodes__ADebugTypeExpr___n_type 13