1 /* This C header file is generated by NIT to compile modules and programs that requires type_formal. */
2 #ifndef type_formal_sep
3 #define type_formal_sep
4 #include "inheritance._sep.h"
5 #include <nit_common.h>
7 extern const classtable_elt_t VFT_MMTypeFormal
[];
8 extern const char *LOCATE_type_formal
;
9 extern const int SFT_type_formal
[];
10 #define CALL_type_formal___MMType___direct_type(recv) ((type_formal___MMType___direct_type_t)CALL((recv), (SFT_type_formal[0] + 0)))
11 #define ID_MMTypeFormal (SFT_type_formal[1])
12 #define COLOR_MMTypeFormal (SFT_type_formal[2])
13 #define ATTR_type_formal___MMTypeFormal____name(recv) ATTR(recv, (SFT_type_formal[3] + 0))
14 #define ATTR_type_formal___MMTypeFormal____bound(recv) ATTR(recv, (SFT_type_formal[3] + 1))
15 #define INIT_TABLE_POS_MMTypeFormal (SFT_type_formal[4] + 0)
16 #define CALL_type_formal___MMTypeFormal___name(recv) ((type_formal___MMTypeFormal___name_t)CALL((recv), (SFT_type_formal[4] + 1)))
17 #define CALL_type_formal___MMTypeFormal___bound(recv) ((type_formal___MMTypeFormal___bound_t)CALL((recv), (SFT_type_formal[4] + 2)))
18 #define CALL_type_formal___MMTypeFormal___init(recv) ((type_formal___MMTypeFormal___init_t)CALL((recv), (SFT_type_formal[4] + 3)))
19 val_t
NEW_MMType_static_type___MMType___init();
20 #define LOCATE_type_formal___MMType___direct_type "type_formal::MMType::direct_type"
21 val_t
type_formal___MMType___direct_type(val_t p0
);
22 typedef val_t (*type_formal___MMType___direct_type_t
)(val_t p0
);
23 #define LOCATE_type_formal___MMTypeFormal___to_s "type_formal::MMTypeFormal::(string::Object::to_s)"
24 val_t
type_formal___MMTypeFormal___to_s(val_t p0
);
25 typedef val_t (*type_formal___MMTypeFormal___to_s_t
)(val_t p0
);
26 #define LOCATE_type_formal___MMTypeFormal___local_class "type_formal::MMTypeFormal::(static_type::MMType::local_class)"
27 val_t
type_formal___MMTypeFormal___local_class(val_t p0
);
28 typedef val_t (*type_formal___MMTypeFormal___local_class_t
)(val_t p0
);
29 #define LOCATE_type_formal___MMTypeFormal___is_valid "type_formal::MMTypeFormal::(static_type::MMType::is_valid)"
30 val_t
type_formal___MMTypeFormal___is_valid(val_t p0
);
31 typedef val_t (*type_formal___MMTypeFormal___is_valid_t
)(val_t p0
);
32 #define LOCATE_type_formal___MMTypeFormal_____l "type_formal::MMTypeFormal::(static_type::MMType::<)"
33 val_t
type_formal___MMTypeFormal_____l(val_t p0
, val_t p1
);
34 typedef val_t (*type_formal___MMTypeFormal_____l_t
)(val_t p0
, val_t p1
);
35 #define LOCATE_type_formal___MMTypeFormal___is_supertype "type_formal::MMTypeFormal::(static_type::MMType::is_supertype)"
36 val_t
type_formal___MMTypeFormal___is_supertype(val_t p0
, val_t p1
);
37 typedef val_t (*type_formal___MMTypeFormal___is_supertype_t
)(val_t p0
, val_t p1
);
38 #define LOCATE_type_formal___MMTypeFormal___is_nullable "type_formal::MMTypeFormal::(static_type::MMType::is_nullable)"
39 val_t
type_formal___MMTypeFormal___is_nullable(val_t p0
);
40 typedef val_t (*type_formal___MMTypeFormal___is_nullable_t
)(val_t p0
);
41 #define LOCATE_type_formal___MMTypeFormal___direct_type "type_formal::MMTypeFormal::(type_formal::MMType::direct_type)"
42 val_t
type_formal___MMTypeFormal___direct_type(val_t p0
);
43 typedef val_t (*type_formal___MMTypeFormal___direct_type_t
)(val_t p0
);
44 #define LOCATE_type_formal___MMTypeFormal___name "type_formal::MMTypeFormal::name"
45 val_t
type_formal___MMTypeFormal___name(val_t p0
);
46 typedef val_t (*type_formal___MMTypeFormal___name_t
)(val_t p0
);
47 #define LOCATE_type_formal___MMTypeFormal___bound "type_formal::MMTypeFormal::bound"
48 val_t
type_formal___MMTypeFormal___bound(val_t p0
);
49 typedef val_t (*type_formal___MMTypeFormal___bound_t
)(val_t p0
);
50 #define LOCATE_type_formal___MMTypeFormal___init "type_formal::MMTypeFormal::init"
51 void type_formal___MMTypeFormal___init(val_t p0
, val_t p1
, val_t p2
, int* init_table
);
52 typedef void (*type_formal___MMTypeFormal___init_t
)(val_t p0
, val_t p1
, val_t p2
, int* init_table
);
53 val_t
NEW_MMTypeFormal_type_formal___MMTypeFormal___init(val_t p0
, val_t p1
);