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 ATTR_genericity___MMLocalClass____types(recv) ATTR(recv, (SFT_genericity[0] + 0))
13 #define ATTR_genericity___MMLocalClass____formals_types(recv) ATTR(recv, (SFT_genericity[0] + 1))
14 #define CALL_genericity___MMLocalClass___get_formal(recv) ((genericity___MMLocalClass___get_formal_t)CALL((recv), (SFT_genericity[1] + 0)))
15 #define CALL_genericity___MMLocalClass___register_formal(recv) ((genericity___MMLocalClass___register_formal_t)CALL((recv), (SFT_genericity[1] + 1)))
16 #define CALL_genericity___MMLocalClass___get_instantiate_type(recv) ((genericity___MMLocalClass___get_instantiate_type_t)CALL((recv), (SFT_genericity[1] + 2)))
17 #define CALL_genericity___MMLocalClass___formals_types(recv) ((genericity___MMLocalClass___formals_types_t)CALL((recv), (SFT_genericity[1] + 3)))
18 #define CALL_SUPER_genericity___MMLocalClass___get_type(recv) ((genericity___MMLocalClass___get_type_t)CALL((recv), (SFT_genericity[1] + 4)))
19 #define CALL_genericity___MMLocalClass___is_generic(recv) ((genericity___MMLocalClass___is_generic_t)CALL((recv), (SFT_genericity[1] + 5)))
20 #define CALL_genericity___MMType___is_generic(recv) ((genericity___MMType___is_generic_t)CALL((recv), (SFT_genericity[2] + 0)))
21 #define ID_MMTypeGeneric (SFT_genericity[3])
22 #define COLOR_MMTypeGeneric (SFT_genericity[4])
23 #define ATTR_genericity___MMTypeGeneric____params(recv) ATTR(recv, (SFT_genericity[5] + 0))
24 #define INIT_TABLE_POS_MMTypeGeneric (SFT_genericity[6] + 0)
25 #define CALL_genericity___MMTypeGeneric___params(recv) ((genericity___MMTypeGeneric___params_t)CALL((recv), (SFT_genericity[6] + 1)))
26 #define CALL_SUPER_genericity___MMTypeGeneric___upcast_for(recv) ((genericity___MMTypeGeneric___upcast_for_t)CALL((recv), (SFT_genericity[6] + 2)))
27 #define CALL_genericity___MMTypeGeneric___params_equals(recv) ((genericity___MMTypeGeneric___params_equals_t)CALL((recv), (SFT_genericity[6] + 3)))
28 #define CALL_SUPER_genericity___MMTypeGeneric___to_s(recv) ((genericity___MMTypeGeneric___to_s_t)CALL((recv), (SFT_genericity[6] + 4)))
29 #define CALL_genericity___MMTypeGeneric___is_subtype(recv) ((genericity___MMTypeGeneric___is_subtype_t)CALL((recv), (SFT_genericity[6] + 5)))
30 #define CALL_genericity___MMTypeGeneric___init(recv) ((genericity___MMTypeGeneric___init_t)CALL((recv), (SFT_genericity[6] + 6)))
31 #define ID_MMTypeFormalParameter (SFT_genericity[7])
32 #define COLOR_MMTypeFormalParameter (SFT_genericity[8])
33 #define ATTR_genericity___MMTypeFormalParameter____def_class(recv) ATTR(recv, (SFT_genericity[9] + 0))
34 #define ATTR_genericity___MMTypeFormalParameter____position(recv) ATTR(recv, (SFT_genericity[9] + 1))
35 #define INIT_TABLE_POS_MMTypeFormalParameter (SFT_genericity[10] + 0)
36 #define CALL_genericity___MMTypeFormalParameter___def_class(recv) ((genericity___MMTypeFormalParameter___def_class_t)CALL((recv), (SFT_genericity[10] + 1)))
37 #define CALL_genericity___MMTypeFormalParameter___position(recv) ((genericity___MMTypeFormalParameter___position_t)CALL((recv), (SFT_genericity[10] + 2)))
38 #define CALL_genericity___MMTypeFormalParameter___bound__eq(recv) ((genericity___MMTypeFormalParameter___bound__eq_t)CALL((recv), (SFT_genericity[10] + 3)))
39 #define CALL_genericity___MMTypeFormalParameter___with_bound(recv) ((genericity___MMTypeFormalParameter___with_bound_t)CALL((recv), (SFT_genericity[10] + 4)))
40 #define CALL_genericity___MMTypeFormalParameter___init(recv) ((genericity___MMTypeFormalParameter___init_t)CALL((recv), (SFT_genericity[10] + 5)))
41 val_t
NEW_MMLocalClass_abstractmetamodel___MMLocalClass___init(val_t p0
, val_t p1
);
42 typedef val_t (* genericity___MMLocalClass___get_type_t
)(val_t self
);
43 val_t
genericity___MMLocalClass___get_type(val_t self
);
44 #define LOCATE_genericity___MMLocalClass___get_type "genericity::MMLocalClass::(static_type::MMLocalClass::get_type)"
45 typedef val_t (* genericity___MMLocalClass___get_formal_t
)(val_t self
, val_t param0
);
46 val_t
genericity___MMLocalClass___get_formal(val_t self
, val_t param0
);
47 #define LOCATE_genericity___MMLocalClass___get_formal "genericity::MMLocalClass::get_formal"
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 LOCATE_genericity___MMLocalClass___register_formal "genericity::MMLocalClass::register_formal"
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 LOCATE_genericity___MMLocalClass___get_instantiate_type "genericity::MMLocalClass::get_instantiate_type"
54 typedef val_t (* genericity___MMLocalClass___formals_types_t
)(val_t self
);
55 val_t
genericity___MMLocalClass___formals_types(val_t self
);
56 #define LOCATE_genericity___MMLocalClass___formals_types "genericity::MMLocalClass::formals_types"
57 typedef val_t (* genericity___MMLocalClass___is_generic_t
)(val_t self
);
58 val_t
genericity___MMLocalClass___is_generic(val_t self
);
59 #define LOCATE_genericity___MMLocalClass___is_generic "genericity::MMLocalClass::is_generic"
60 val_t
NEW_MMType_static_type___MMType___init();
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 val_t
NEW_MMTypeFormal_type_formal___MMTypeFormal___init(val_t p0
, val_t p1
);
65 typedef val_t (* genericity___MMTypeFormal___is_generic_t
)(val_t self
);
66 val_t
genericity___MMTypeFormal___is_generic(val_t self
);
67 #define LOCATE_genericity___MMTypeFormal___is_generic "genericity::MMTypeFormal::(genericity::MMType::is_generic)"
68 val_t
NEW_MMTypeSimpleClass_static_type___MMTypeSimpleClass___init(val_t p0
);
69 typedef val_t (* genericity___MMTypeSimpleClass___is_generic_t
)(val_t self
);
70 val_t
genericity___MMTypeSimpleClass___is_generic(val_t self
);
71 #define LOCATE_genericity___MMTypeSimpleClass___is_generic "genericity::MMTypeSimpleClass::(genericity::MMType::is_generic)"
72 typedef val_t (* genericity___MMTypeGeneric___to_s_t
)(val_t self
);
73 val_t
genericity___MMTypeGeneric___to_s(val_t self
);
74 #define LOCATE_genericity___MMTypeGeneric___to_s "genericity::MMTypeGeneric::(string::Object::to_s)"
75 typedef val_t (* genericity___MMTypeGeneric___is_supertype_t
)(val_t self
, val_t param0
);
76 val_t
genericity___MMTypeGeneric___is_supertype(val_t self
, val_t param0
);
77 #define LOCATE_genericity___MMTypeGeneric___is_supertype "genericity::MMTypeGeneric::(static_type::MMType::is_supertype)"
78 typedef val_t (* genericity___MMTypeGeneric___for_module_t
)(val_t self
, val_t param0
);
79 val_t
genericity___MMTypeGeneric___for_module(val_t self
, val_t param0
);
80 #define LOCATE_genericity___MMTypeGeneric___for_module "genericity::MMTypeGeneric::(static_type::MMType::for_module)"
81 typedef val_t (* genericity___MMTypeGeneric___adapt_to_t
)(val_t self
, val_t param0
);
82 val_t
genericity___MMTypeGeneric___adapt_to(val_t self
, val_t param0
);
83 #define LOCATE_genericity___MMTypeGeneric___adapt_to "genericity::MMTypeGeneric::(static_type::MMType::adapt_to)"
84 typedef val_t (* genericity___MMTypeGeneric___upcast_for_t
)(val_t self
, val_t param0
);
85 val_t
genericity___MMTypeGeneric___upcast_for(val_t self
, val_t param0
);
86 #define LOCATE_genericity___MMTypeGeneric___upcast_for "genericity::MMTypeGeneric::(static_type::MMType::upcast_for)"
87 typedef val_t (* genericity___MMTypeGeneric___is_generic_t
)(val_t self
);
88 val_t
genericity___MMTypeGeneric___is_generic(val_t self
);
89 #define LOCATE_genericity___MMTypeGeneric___is_generic "genericity::MMTypeGeneric::(genericity::MMType::is_generic)"
90 typedef val_t (* genericity___MMTypeGeneric___params_t
)(val_t self
);
91 val_t
genericity___MMTypeGeneric___params(val_t self
);
92 #define LOCATE_genericity___MMTypeGeneric___params "genericity::MMTypeGeneric::params"
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 #define LOCATE_genericity___MMTypeGeneric___params_equals "genericity::MMTypeGeneric::params_equals"
96 typedef val_t (* genericity___MMTypeGeneric___is_subtype_t
)(val_t self
, val_t param0
);
97 val_t
genericity___MMTypeGeneric___is_subtype(val_t self
, val_t param0
);
98 #define LOCATE_genericity___MMTypeGeneric___is_subtype "genericity::MMTypeGeneric::is_subtype"
99 typedef void (* genericity___MMTypeGeneric___init_t
)(val_t self
, val_t param0
, val_t param1
, int* init_table
);
100 void genericity___MMTypeGeneric___init(val_t self
, val_t param0
, val_t param1
, int* init_table
);
101 #define LOCATE_genericity___MMTypeGeneric___init "genericity::MMTypeGeneric::init"
102 val_t
NEW_MMTypeGeneric_genericity___MMTypeGeneric___init(val_t p0
, val_t p1
);
103 typedef val_t (* genericity___MMTypeFormalParameter___module_t
)(val_t self
);
104 val_t
genericity___MMTypeFormalParameter___module(val_t self
);
105 #define LOCATE_genericity___MMTypeFormalParameter___module "genericity::MMTypeFormalParameter::(static_type::MMType::module)"
106 typedef val_t (* genericity___MMTypeFormalParameter___for_module_t
)(val_t self
, val_t param0
);
107 val_t
genericity___MMTypeFormalParameter___for_module(val_t self
, val_t param0
);
108 #define LOCATE_genericity___MMTypeFormalParameter___for_module "genericity::MMTypeFormalParameter::(static_type::MMType::for_module)"
109 typedef val_t (* genericity___MMTypeFormalParameter___adapt_to_t
)(val_t self
, val_t param0
);
110 val_t
genericity___MMTypeFormalParameter___adapt_to(val_t self
, val_t param0
);
111 #define LOCATE_genericity___MMTypeFormalParameter___adapt_to "genericity::MMTypeFormalParameter::(static_type::MMType::adapt_to)"
112 typedef val_t (* genericity___MMTypeFormalParameter___upcast_for_t
)(val_t self
, val_t param0
);
113 val_t
genericity___MMTypeFormalParameter___upcast_for(val_t self
, val_t param0
);
114 #define LOCATE_genericity___MMTypeFormalParameter___upcast_for "genericity::MMTypeFormalParameter::(static_type::MMType::upcast_for)"
115 typedef val_t (* genericity___MMTypeFormalParameter___def_class_t
)(val_t self
);
116 val_t
genericity___MMTypeFormalParameter___def_class(val_t self
);
117 #define LOCATE_genericity___MMTypeFormalParameter___def_class "genericity::MMTypeFormalParameter::def_class"
118 typedef val_t (* genericity___MMTypeFormalParameter___position_t
)(val_t self
);
119 val_t
genericity___MMTypeFormalParameter___position(val_t self
);
120 #define LOCATE_genericity___MMTypeFormalParameter___position "genericity::MMTypeFormalParameter::position"
121 typedef void (* genericity___MMTypeFormalParameter___bound__eq_t
)(val_t self
, val_t param0
);
122 void genericity___MMTypeFormalParameter___bound__eq(val_t self
, val_t param0
);
123 #define LOCATE_genericity___MMTypeFormalParameter___bound__eq "genericity::MMTypeFormalParameter::bound="
124 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
);
125 void genericity___MMTypeFormalParameter___with_bound(val_t self
, val_t param0
, val_t param1
, val_t param2
, val_t param3
, int* init_table
);
126 #define LOCATE_genericity___MMTypeFormalParameter___with_bound "genericity::MMTypeFormalParameter::with_bound"
127 val_t
NEW_MMTypeFormalParameter_genericity___MMTypeFormalParameter___with_bound(val_t p0
, val_t p1
, val_t p2
, val_t p3
);
128 typedef void (* genericity___MMTypeFormalParameter___init_t
)(val_t self
, val_t param0
, val_t param1
, val_t param2
, int* init_table
);
129 void genericity___MMTypeFormalParameter___init(val_t self
, val_t param0
, val_t param1
, val_t param2
, int* init_table
);
130 #define LOCATE_genericity___MMTypeFormalParameter___init "genericity::MMTypeFormalParameter::init"
131 val_t
NEW_MMTypeFormalParameter_genericity___MMTypeFormalParameter___init(val_t p0
, val_t p1
, val_t p2
);
132 typedef val_t (* genericity___MMTypeNone___for_module_t
)(val_t self
, val_t param0
);
133 val_t
genericity___MMTypeNone___for_module(val_t self
, val_t param0
);
134 #define LOCATE_genericity___MMTypeNone___for_module "genericity::MMTypeNone::(static_type::MMType::for_module)"
135 typedef val_t (* genericity___MMTypeNone___adapt_to_t
)(val_t self
, val_t param0
);
136 val_t
genericity___MMTypeNone___adapt_to(val_t self
, val_t param0
);
137 #define LOCATE_genericity___MMTypeNone___adapt_to "genericity::MMTypeNone::(static_type::MMType::adapt_to)"
138 val_t
NEW_MMTypeNone_static_type___MMTypeNone___init(val_t p0
);
139 typedef val_t (* genericity___MMTypeNone___is_generic_t
)(val_t self
);
140 val_t
genericity___MMTypeNone___is_generic(val_t self
);
141 #define LOCATE_genericity___MMTypeNone___is_generic "genericity::MMTypeNone::(genericity::MMType::is_generic)"
nitlanguage / nit.git / blob