1 /* This C header file is generated by NIT to compile modules and programs that requires ./metamodel/type_formal. */
2 #ifndef metamodel___type_formal_sep
3 #define metamodel___type_formal_sep
4 #include "metamodel___inheritance._sep.h"
5 #include <nit_common.h>
7 extern const classtable_elt_t VFT_metamodel___type_formal___MMTypeFormal
[];
8 extern const char LOCATE_metamodel___type_formal
[];
9 extern const int SFT_metamodel___type_formal
[];
10 #define CALL_metamodel___type_formal___MMType___direct_type(recv) ((metamodel___type_formal___MMType___direct_type_t)CALL((recv), (SFT_metamodel___type_formal[0] + 0)))
11 #define CALL_metamodel___type_formal___MMType___has_formal(recv) ((metamodel___type_formal___MMType___has_formal_t)CALL((recv), (SFT_metamodel___type_formal[0] + 1)))
12 #define ID_metamodel___type_formal___MMTypeFormal (SFT_metamodel___type_formal[1])
13 #define COLOR_metamodel___type_formal___MMTypeFormal (SFT_metamodel___type_formal[2])
14 #define ATTR_metamodel___type_formal___MMTypeFormal____name(recv) ATTR(recv, (SFT_metamodel___type_formal[3] + 0))
15 #define ATTR_metamodel___type_formal___MMTypeFormal____bound(recv) ATTR(recv, (SFT_metamodel___type_formal[3] + 1))
16 #define INIT_TABLE_POS_metamodel___type_formal___MMTypeFormal (SFT_metamodel___type_formal[4] + 0)
17 #define CALL_metamodel___type_formal___MMTypeFormal___name(recv) ((metamodel___type_formal___MMTypeFormal___name_t)CALL((recv), (SFT_metamodel___type_formal[4] + 1)))
18 #define CALL_metamodel___type_formal___MMTypeFormal___bound(recv) ((metamodel___type_formal___MMTypeFormal___bound_t)CALL((recv), (SFT_metamodel___type_formal[4] + 2)))
19 #define CALL_metamodel___type_formal___MMTypeFormal___init(recv) ((metamodel___type_formal___MMTypeFormal___init_t)CALL((recv), (SFT_metamodel___type_formal[4] + 3)))
20 val_t
metamodel___type_formal___MMType___direct_type(val_t p0
);
21 typedef val_t (*metamodel___type_formal___MMType___direct_type_t
)(val_t p0
);
22 val_t
metamodel___type_formal___MMType___has_formal(val_t p0
);
23 typedef val_t (*metamodel___type_formal___MMType___has_formal_t
)(val_t p0
);
24 val_t
NEW_MMType_metamodel___static_type___MMType___init();
25 val_t
metamodel___type_formal___MMTypeFormal___is_valid(val_t p0
);
26 typedef val_t (*metamodel___type_formal___MMTypeFormal___is_valid_t
)(val_t p0
);
27 val_t
metamodel___type_formal___MMTypeFormal___name(val_t p0
);
28 typedef val_t (*metamodel___type_formal___MMTypeFormal___name_t
)(val_t p0
);
29 val_t
metamodel___type_formal___MMTypeFormal___bound(val_t p0
);
30 typedef val_t (*metamodel___type_formal___MMTypeFormal___bound_t
)(val_t p0
);
31 val_t
metamodel___type_formal___MMTypeFormal_____l(val_t p0
, val_t p1
);
32 typedef val_t (*metamodel___type_formal___MMTypeFormal_____l_t
)(val_t p0
, val_t p1
);
33 val_t
metamodel___type_formal___MMTypeFormal___is_supertype(val_t p0
, val_t p1
);
34 typedef val_t (*metamodel___type_formal___MMTypeFormal___is_supertype_t
)(val_t p0
, val_t p1
);
35 val_t
metamodel___type_formal___MMTypeFormal___is_nullable(val_t p0
);
36 typedef val_t (*metamodel___type_formal___MMTypeFormal___is_nullable_t
)(val_t p0
);
37 val_t
metamodel___type_formal___MMTypeFormal___direct_type(val_t p0
);
38 typedef val_t (*metamodel___type_formal___MMTypeFormal___direct_type_t
)(val_t p0
);
39 val_t
metamodel___type_formal___MMTypeFormal___local_class(val_t p0
);
40 typedef val_t (*metamodel___type_formal___MMTypeFormal___local_class_t
)(val_t p0
);
41 val_t
metamodel___type_formal___MMTypeFormal___has_formal(val_t p0
);
42 typedef val_t (*metamodel___type_formal___MMTypeFormal___has_formal_t
)(val_t p0
);
43 val_t
metamodel___type_formal___MMTypeFormal___to_s(val_t p0
);
44 typedef val_t (*metamodel___type_formal___MMTypeFormal___to_s_t
)(val_t p0
);
45 void metamodel___type_formal___MMTypeFormal___init(val_t p0
, val_t p1
, val_t p2
, int* init_table
);
46 typedef void (*metamodel___type_formal___MMTypeFormal___init_t
)(val_t p0
, val_t p1
, val_t p2
, int* init_table
);
47 val_t
NEW_MMTypeFormal_metamodel___type_formal___MMTypeFormal___init(val_t p0
, val_t p1
);
48 val_t
metamodel___type_formal___MMNullableType___has_formal(val_t p0
);
49 typedef val_t (*metamodel___type_formal___MMNullableType___has_formal_t
)(val_t p0
);
50 val_t
NEW_MMNullableType_metamodel___static_type___MMNullableType___init(val_t p0
);