1 #ifndef genericity__sep
2 #define genericity__sep
3 #include "type_formal._sep.h"
4 #include <nit_common.h>
6 extern const classtable_elt_t VFT_MMTypeGeneric
[];
8 extern const classtable_elt_t VFT_MMTypeFormalParameter
[];
9 extern const int SFT_genericity
[];
10 #define COLOR_genericity___MMLocalClass____types SFT_genericity[0]
11 #define COLOR_genericity___MMLocalClass____formals_types SFT_genericity[1]
12 #define COLOR_genericity___MMLocalClass___get_formal SFT_genericity[2]
13 #define COLOR_genericity___MMLocalClass___register_formal SFT_genericity[3]
14 #define COLOR_genericity___MMLocalClass___get_instantiate_type SFT_genericity[4]
15 #define COLOR_genericity___MMLocalClass___formals_types SFT_genericity[5]
16 #define COLOR_SUPER_genericity___MMLocalClass___get_type SFT_genericity[6]
17 #define COLOR_genericity___MMLocalClass___is_generic SFT_genericity[7]
18 #define COLOR_genericity___MMSignature___adaptation_to SFT_genericity[8]
19 #define COLOR_genericity___MMLocalProperty____recv_alone SFT_genericity[9]
20 #define COLOR_genericity___MMLocalProperty___recv SFT_genericity[10]
21 #define COLOR_genericity___MMLocalProperty___recv__eq SFT_genericity[11]
22 #define COLOR_genericity___MMLocalProperty___adapt_property SFT_genericity[12]
23 #define COLOR_SUPER_genericity___MMLocalProperty___inherit_from SFT_genericity[13]
24 #define COLOR_genericity___MMType___is_generic SFT_genericity[14]
25 #define ID_MMTypeGeneric SFT_genericity[15]
26 #define COLOR_MMTypeGeneric SFT_genericity[16]
27 #define COLOR_genericity___MMTypeGeneric____params SFT_genericity[17]
28 #define COLOR_genericity___MMTypeGeneric____props SFT_genericity[18]
29 #define INIT_TABLE_POS_MMTypeGeneric SFT_genericity[19]
30 #define COLOR_genericity___MMTypeGeneric___params SFT_genericity[20]
31 #define COLOR_SUPER_genericity___MMTypeGeneric___upcast_for SFT_genericity[21]
32 #define COLOR_genericity___MMTypeGeneric___params_equals SFT_genericity[22]
33 #define COLOR_SUPER_genericity___MMTypeGeneric___to_s SFT_genericity[23]
34 #define COLOR_genericity___MMTypeGeneric___is_subtype SFT_genericity[24]
35 #define COLOR_genericity___MMTypeGeneric___init SFT_genericity[25]
36 #define ID_MMTypeFormalParameter SFT_genericity[26]
37 #define COLOR_MMTypeFormalParameter SFT_genericity[27]
38 #define COLOR_genericity___MMTypeFormalParameter____def_class SFT_genericity[28]
39 #define COLOR_genericity___MMTypeFormalParameter____position SFT_genericity[29]
40 #define INIT_TABLE_POS_MMTypeFormalParameter SFT_genericity[30]
41 #define COLOR_genericity___MMTypeFormalParameter___def_class SFT_genericity[31]
42 #define COLOR_genericity___MMTypeFormalParameter___position SFT_genericity[32]
43 #define COLOR_genericity___MMTypeFormalParameter___bound__eq SFT_genericity[33]
44 #define COLOR_genericity___MMTypeFormalParameter___with_bound SFT_genericity[34]
45 #define COLOR_genericity___MMTypeFormalParameter___init SFT_genericity[35]
46 typedef val_t (* genericity___MMLocalClass___get_formal_t
)(val_t self
, val_t param0
);
47 val_t
genericity___MMLocalClass___get_formal(val_t self
, val_t param0
);
48 typedef void (* genericity___MMLocalClass___register_formal_t
)(val_t self
, val_t param0
);
49 void genericity___MMLocalClass___register_formal(val_t self
, val_t param0
);
50 #define ATTR_genericity___MMLocalClass____types(recv) ATTR(recv, COLOR_genericity___MMLocalClass____types)
51 typedef val_t (* genericity___MMLocalClass___get_instantiate_type_t
)(val_t self
, val_t param0
);
52 val_t
genericity___MMLocalClass___get_instantiate_type(val_t self
, val_t param0
);
53 #define ATTR_genericity___MMLocalClass____formals_types(recv) ATTR(recv, COLOR_genericity___MMLocalClass____formals_types)
54 typedef val_t (* genericity___MMLocalClass___formals_types_t
)(val_t self
);
55 val_t
genericity___MMLocalClass___formals_types(val_t self
);
56 typedef val_t (* genericity___MMLocalClass___get_type_t
)(val_t self
);
57 val_t
genericity___MMLocalClass___get_type(val_t self
);
58 typedef val_t (* genericity___MMLocalClass___is_generic_t
)(val_t self
);
59 val_t
genericity___MMLocalClass___is_generic(val_t self
);
60 typedef val_t (* genericity___MMSignature___adaptation_to_t
)(val_t self
, val_t param0
);
61 val_t
genericity___MMSignature___adaptation_to(val_t self
, val_t param0
);
62 #define ATTR_genericity___MMLocalProperty____recv_alone(recv) ATTR(recv, COLOR_genericity___MMLocalProperty____recv_alone)
63 typedef val_t (* genericity___MMLocalProperty___recv_t
)(val_t self
);
64 val_t
genericity___MMLocalProperty___recv(val_t self
);
65 typedef void (* genericity___MMLocalProperty___recv__eq_t
)(val_t self
, val_t param0
);
66 void genericity___MMLocalProperty___recv__eq(val_t self
, val_t param0
);
67 typedef val_t (* genericity___MMLocalProperty___signature_t
)(val_t self
);
68 val_t
genericity___MMLocalProperty___signature(val_t self
);
69 typedef val_t (* genericity___MMLocalProperty___adapt_property_t
)(val_t self
, val_t param0
);
70 val_t
genericity___MMLocalProperty___adapt_property(val_t self
, val_t param0
);
71 typedef void (* genericity___MMLocalProperty___inherit_from_t
)(val_t self
, val_t param0
, val_t param1
);
72 void genericity___MMLocalProperty___inherit_from(val_t self
, val_t param0
, val_t param1
);
73 typedef val_t (* genericity___MMType___is_generic_t
)(val_t self
);
74 val_t
genericity___MMType___is_generic(val_t self
);
75 typedef val_t (* genericity___MMTypeFormal___is_generic_t
)(val_t self
);
76 val_t
genericity___MMTypeFormal___is_generic(val_t self
);
77 typedef val_t (* genericity___MMTypeSimpleClass___is_generic_t
)(val_t self
);
78 val_t
genericity___MMTypeSimpleClass___is_generic(val_t self
);
79 #define ATTR_genericity___MMTypeGeneric____params(recv) ATTR(recv, COLOR_genericity___MMTypeGeneric____params)
80 typedef val_t (* genericity___MMTypeGeneric___params_t
)(val_t self
);
81 val_t
genericity___MMTypeGeneric___params(val_t self
);
82 #define ATTR_genericity___MMTypeGeneric____props(recv) ATTR(recv, COLOR_genericity___MMTypeGeneric____props)
83 typedef val_t (* genericity___MMTypeGeneric___is_generic_t
)(val_t self
);
84 val_t
genericity___MMTypeGeneric___is_generic(val_t self
);
85 typedef val_t (* genericity___MMTypeGeneric___is_supertype_t
)(val_t self
, val_t param0
);
86 val_t
genericity___MMTypeGeneric___is_supertype(val_t self
, val_t param0
);
87 typedef val_t (* genericity___MMTypeGeneric___upcast_for_t
)(val_t self
, val_t param0
);
88 val_t
genericity___MMTypeGeneric___upcast_for(val_t self
, val_t param0
);
89 typedef val_t (* genericity___MMTypeGeneric___for_module_t
)(val_t self
, val_t param0
);
90 val_t
genericity___MMTypeGeneric___for_module(val_t self
, val_t param0
);
91 typedef val_t (* genericity___MMTypeGeneric___adapt_to_t
)(val_t self
, val_t param0
);
92 val_t
genericity___MMTypeGeneric___adapt_to(val_t self
, val_t param0
);
93 typedef val_t (* genericity___MMTypeGeneric___params_equals_t
)(val_t self
, val_t param0
);
94 val_t
genericity___MMTypeGeneric___params_equals(val_t self
, val_t param0
);
95 typedef val_t (* genericity___MMTypeGeneric___select_property_t
)(val_t self
, val_t param0
);
96 val_t
genericity___MMTypeGeneric___select_property(val_t self
, val_t param0
);
97 typedef val_t (* genericity___MMTypeGeneric___to_s_t
)(val_t self
);
98 val_t
genericity___MMTypeGeneric___to_s(val_t self
);
99 typedef val_t (* genericity___MMTypeGeneric___is_subtype_t
)(val_t self
, val_t param0
);
100 val_t
genericity___MMTypeGeneric___is_subtype(val_t self
, val_t param0
);
101 typedef void (* genericity___MMTypeGeneric___init_t
)(val_t self
, val_t param0
, val_t param1
, int* init_table
);
102 void genericity___MMTypeGeneric___init(val_t self
, val_t param0
, val_t param1
, int* init_table
);
103 val_t
NEW_genericity___MMTypeGeneric___init(val_t param0
, val_t param1
);
104 #define ATTR_genericity___MMTypeFormalParameter____def_class(recv) ATTR(recv, COLOR_genericity___MMTypeFormalParameter____def_class)
105 typedef val_t (* genericity___MMTypeFormalParameter___def_class_t
)(val_t self
);
106 val_t
genericity___MMTypeFormalParameter___def_class(val_t self
);
107 #define ATTR_genericity___MMTypeFormalParameter____position(recv) ATTR(recv, COLOR_genericity___MMTypeFormalParameter____position)
108 typedef val_t (* genericity___MMTypeFormalParameter___position_t
)(val_t self
);
109 val_t
genericity___MMTypeFormalParameter___position(val_t self
);
110 typedef val_t (* genericity___MMTypeFormalParameter___module_t
)(val_t self
);
111 val_t
genericity___MMTypeFormalParameter___module(val_t self
);
112 typedef val_t (* genericity___MMTypeFormalParameter___for_module_t
)(val_t self
, val_t param0
);
113 val_t
genericity___MMTypeFormalParameter___for_module(val_t self
, val_t param0
);
114 typedef val_t (* genericity___MMTypeFormalParameter___upcast_for_t
)(val_t self
, val_t param0
);
115 val_t
genericity___MMTypeFormalParameter___upcast_for(val_t self
, val_t param0
);
116 typedef void (* genericity___MMTypeFormalParameter___bound__eq_t
)(val_t self
, val_t param0
);
117 void genericity___MMTypeFormalParameter___bound__eq(val_t self
, val_t param0
);
118 typedef val_t (* genericity___MMTypeFormalParameter___adapt_to_t
)(val_t self
, val_t param0
);
119 val_t
genericity___MMTypeFormalParameter___adapt_to(val_t self
, val_t param0
);
120 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
);
121 void genericity___MMTypeFormalParameter___with_bound(val_t self
, val_t param0
, val_t param1
, val_t param2
, val_t param3
, int* init_table
);
122 val_t
NEW_genericity___MMTypeFormalParameter___with_bound(val_t param0
, val_t param1
, val_t param2
, val_t param3
);
123 typedef void (* genericity___MMTypeFormalParameter___init_t
)(val_t self
, val_t param0
, val_t param1
, val_t param2
, int* init_table
);
124 void genericity___MMTypeFormalParameter___init(val_t self
, val_t param0
, val_t param1
, val_t param2
, int* init_table
);
125 val_t
NEW_genericity___MMTypeFormalParameter___init(val_t param0
, val_t param1
, val_t param2
);
126 typedef val_t (* genericity___MMTypeNone___is_generic_t
)(val_t self
);
127 val_t
genericity___MMTypeNone___is_generic(val_t self
);
128 typedef val_t (* genericity___MMTypeNone___for_module_t
)(val_t self
, val_t param0
);
129 val_t
genericity___MMTypeNone___for_module(val_t self
, val_t param0
);
130 typedef val_t (* genericity___MMTypeNone___adapt_to_t
)(val_t self
, val_t param0
);
131 val_t
genericity___MMTypeNone___adapt_to(val_t self
, val_t param0
);