1 /* This C header file is generated by NIT to compile modules and programs that requires ../lib/standard/collection/abstract_collection. */
2 #ifndef standard___collection___abstract_collection_sep
3 #define standard___collection___abstract_collection_sep
4 #include "standard___kernel._sep.h"
5 #include <nit_common.h>
7 extern const classtable_elt_t VFT_standard___collection___abstract_collection___Collection
[];
9 extern const classtable_elt_t VFT_standard___collection___abstract_collection___NaiveCollection
[];
11 extern const classtable_elt_t VFT_standard___collection___abstract_collection___Iterator
[];
13 extern const classtable_elt_t VFT_standard___collection___abstract_collection___Container
[];
15 extern const classtable_elt_t VFT_standard___collection___abstract_collection___ContainerIterator
[];
17 extern const classtable_elt_t VFT_standard___collection___abstract_collection___RemovableCollection
[];
19 extern const classtable_elt_t VFT_standard___collection___abstract_collection___SimpleCollection
[];
21 extern const classtable_elt_t VFT_standard___collection___abstract_collection___Set
[];
23 extern const classtable_elt_t VFT_standard___collection___abstract_collection___MapRead
[];
25 extern const classtable_elt_t VFT_standard___collection___abstract_collection___Map
[];
27 extern const classtable_elt_t VFT_standard___collection___abstract_collection___MapIterator
[];
29 extern const classtable_elt_t VFT_standard___collection___abstract_collection___MapKeysIterator
[];
31 extern const classtable_elt_t VFT_standard___collection___abstract_collection___MapValuesIterator
[];
33 extern const classtable_elt_t VFT_standard___collection___abstract_collection___SequenceRead
[];
35 extern const classtable_elt_t VFT_standard___collection___abstract_collection___Sequence
[];
37 extern const classtable_elt_t VFT_standard___collection___abstract_collection___IndexedIterator
[];
39 extern const classtable_elt_t VFT_standard___collection___abstract_collection___CoupleMap
[];
41 extern const classtable_elt_t VFT_standard___collection___abstract_collection___CoupleMapIterator
[];
43 extern const classtable_elt_t VFT_standard___collection___abstract_collection___Couple
[];
44 extern const char LOCATE_standard___collection___abstract_collection
[];
45 extern const int SFT_standard___collection___abstract_collection
[];
46 #define ID_standard___collection___abstract_collection___Collection (SFT_standard___collection___abstract_collection[0])
47 #define COLOR_standard___collection___abstract_collection___Collection (SFT_standard___collection___abstract_collection[1])
48 #define INIT_TABLE_POS_standard___collection___abstract_collection___Collection (SFT_standard___collection___abstract_collection[2] + 0)
49 #define CALL_standard___collection___abstract_collection___Collection___iterator(recv) ((standard___collection___abstract_collection___Collection___iterator_t)CALL((recv), (SFT_standard___collection___abstract_collection[2] + 1)))
50 #define CALL_standard___collection___abstract_collection___Collection___iterate(recv) ((standard___collection___abstract_collection___Collection___iterate_t)CALL((recv), (SFT_standard___collection___abstract_collection[2] + 2)))
51 #define CALL_standard___collection___abstract_collection___Collection___is_empty(recv) ((standard___collection___abstract_collection___Collection___is_empty_t)CALL((recv), (SFT_standard___collection___abstract_collection[2] + 3)))
52 #define CALL_standard___collection___abstract_collection___Collection___length(recv) ((standard___collection___abstract_collection___Collection___length_t)CALL((recv), (SFT_standard___collection___abstract_collection[2] + 4)))
53 #define CALL_standard___collection___abstract_collection___Collection___has(recv) ((standard___collection___abstract_collection___Collection___has_t)CALL((recv), (SFT_standard___collection___abstract_collection[2] + 5)))
54 #define CALL_standard___collection___abstract_collection___Collection___has_only(recv) ((standard___collection___abstract_collection___Collection___has_only_t)CALL((recv), (SFT_standard___collection___abstract_collection[2] + 6)))
55 #define CALL_standard___collection___abstract_collection___Collection___count(recv) ((standard___collection___abstract_collection___Collection___count_t)CALL((recv), (SFT_standard___collection___abstract_collection[2] + 7)))
56 #define CALL_standard___collection___abstract_collection___Collection___first(recv) ((standard___collection___abstract_collection___Collection___first_t)CALL((recv), (SFT_standard___collection___abstract_collection[2] + 8)))
57 #define ID_standard___collection___abstract_collection___NaiveCollection (SFT_standard___collection___abstract_collection[3])
58 #define COLOR_standard___collection___abstract_collection___NaiveCollection (SFT_standard___collection___abstract_collection[4])
59 #define INIT_TABLE_POS_standard___collection___abstract_collection___NaiveCollection (SFT_standard___collection___abstract_collection[5] + 0)
60 #define ID_standard___collection___abstract_collection___Iterator (SFT_standard___collection___abstract_collection[6])
61 #define COLOR_standard___collection___abstract_collection___Iterator (SFT_standard___collection___abstract_collection[7])
62 #define INIT_TABLE_POS_standard___collection___abstract_collection___Iterator (SFT_standard___collection___abstract_collection[8] + 0)
63 #define CALL_standard___collection___abstract_collection___Iterator___item(recv) ((standard___collection___abstract_collection___Iterator___item_t)CALL((recv), (SFT_standard___collection___abstract_collection[8] + 1)))
64 #define CALL_standard___collection___abstract_collection___Iterator___next(recv) ((standard___collection___abstract_collection___Iterator___next_t)CALL((recv), (SFT_standard___collection___abstract_collection[8] + 2)))
65 #define CALL_standard___collection___abstract_collection___Iterator___is_ok(recv) ((standard___collection___abstract_collection___Iterator___is_ok_t)CALL((recv), (SFT_standard___collection___abstract_collection[8] + 3)))
66 #define ID_standard___collection___abstract_collection___Container (SFT_standard___collection___abstract_collection[9])
67 #define COLOR_standard___collection___abstract_collection___Container (SFT_standard___collection___abstract_collection[10])
68 #define ATTR_standard___collection___abstract_collection___Container____item(recv) ATTR(recv, (SFT_standard___collection___abstract_collection[11] + 0))
69 #define INIT_TABLE_POS_standard___collection___abstract_collection___Container (SFT_standard___collection___abstract_collection[12] + 0)
70 #define CALL_standard___collection___abstract_collection___Container___init(recv) ((standard___collection___abstract_collection___Container___init_t)CALL((recv), (SFT_standard___collection___abstract_collection[12] + 1)))
71 #define CALL_standard___collection___abstract_collection___Container___item(recv) ((standard___collection___abstract_collection___Container___item_t)CALL((recv), (SFT_standard___collection___abstract_collection[12] + 2)))
72 #define CALL_standard___collection___abstract_collection___Container___item__eq(recv) ((standard___collection___abstract_collection___Container___item__eq_t)CALL((recv), (SFT_standard___collection___abstract_collection[12] + 3)))
73 #define ID_standard___collection___abstract_collection___ContainerIterator (SFT_standard___collection___abstract_collection[13])
74 #define COLOR_standard___collection___abstract_collection___ContainerIterator (SFT_standard___collection___abstract_collection[14])
75 #define ATTR_standard___collection___abstract_collection___ContainerIterator____is_ok(recv) ATTR(recv, (SFT_standard___collection___abstract_collection[15] + 0))
76 #define ATTR_standard___collection___abstract_collection___ContainerIterator____container(recv) ATTR(recv, (SFT_standard___collection___abstract_collection[15] + 1))
77 #define INIT_TABLE_POS_standard___collection___abstract_collection___ContainerIterator (SFT_standard___collection___abstract_collection[16] + 0)
78 #define CALL_standard___collection___abstract_collection___ContainerIterator___init(recv) ((standard___collection___abstract_collection___ContainerIterator___init_t)CALL((recv), (SFT_standard___collection___abstract_collection[16] + 1)))
79 #define ID_standard___collection___abstract_collection___RemovableCollection (SFT_standard___collection___abstract_collection[17])
80 #define COLOR_standard___collection___abstract_collection___RemovableCollection (SFT_standard___collection___abstract_collection[18])
81 #define INIT_TABLE_POS_standard___collection___abstract_collection___RemovableCollection (SFT_standard___collection___abstract_collection[19] + 0)
82 #define CALL_standard___collection___abstract_collection___RemovableCollection___clear(recv) ((standard___collection___abstract_collection___RemovableCollection___clear_t)CALL((recv), (SFT_standard___collection___abstract_collection[19] + 1)))
83 #define CALL_standard___collection___abstract_collection___RemovableCollection___remove(recv) ((standard___collection___abstract_collection___RemovableCollection___remove_t)CALL((recv), (SFT_standard___collection___abstract_collection[19] + 2)))
84 #define CALL_standard___collection___abstract_collection___RemovableCollection___remove_all(recv) ((standard___collection___abstract_collection___RemovableCollection___remove_all_t)CALL((recv), (SFT_standard___collection___abstract_collection[19] + 3)))
85 #define ID_standard___collection___abstract_collection___SimpleCollection (SFT_standard___collection___abstract_collection[20])
86 #define COLOR_standard___collection___abstract_collection___SimpleCollection (SFT_standard___collection___abstract_collection[21])
87 #define INIT_TABLE_POS_standard___collection___abstract_collection___SimpleCollection (SFT_standard___collection___abstract_collection[22] + 0)
88 #define CALL_standard___collection___abstract_collection___SimpleCollection___add(recv) ((standard___collection___abstract_collection___SimpleCollection___add_t)CALL((recv), (SFT_standard___collection___abstract_collection[22] + 1)))
89 #define CALL_standard___collection___abstract_collection___SimpleCollection___add_all(recv) ((standard___collection___abstract_collection___SimpleCollection___add_all_t)CALL((recv), (SFT_standard___collection___abstract_collection[22] + 2)))
90 #define ID_standard___collection___abstract_collection___Set (SFT_standard___collection___abstract_collection[23])
91 #define COLOR_standard___collection___abstract_collection___Set (SFT_standard___collection___abstract_collection[24])
92 #define INIT_TABLE_POS_standard___collection___abstract_collection___Set (SFT_standard___collection___abstract_collection[25] + 0)
93 #define ID_standard___collection___abstract_collection___MapRead (SFT_standard___collection___abstract_collection[26])
94 #define COLOR_standard___collection___abstract_collection___MapRead (SFT_standard___collection___abstract_collection[27])
95 #define INIT_TABLE_POS_standard___collection___abstract_collection___MapRead (SFT_standard___collection___abstract_collection[28] + 0)
96 #define CALL_standard___collection___abstract_collection___MapRead_____bra(recv) ((standard___collection___abstract_collection___MapRead_____bra_t)CALL((recv), (SFT_standard___collection___abstract_collection[28] + 1)))
97 #define CALL_standard___collection___abstract_collection___MapRead___get_or_default(recv) ((standard___collection___abstract_collection___MapRead___get_or_default_t)CALL((recv), (SFT_standard___collection___abstract_collection[28] + 2)))
98 #define CALL_standard___collection___abstract_collection___MapRead___has_key(recv) ((standard___collection___abstract_collection___MapRead___has_key_t)CALL((recv), (SFT_standard___collection___abstract_collection[28] + 3)))
99 #define CALL_standard___collection___abstract_collection___MapRead___iterator(recv) ((standard___collection___abstract_collection___MapRead___iterator_t)CALL((recv), (SFT_standard___collection___abstract_collection[28] + 4)))
100 #define CALL_standard___collection___abstract_collection___MapRead___iterate(recv) ((standard___collection___abstract_collection___MapRead___iterate_t)CALL((recv), (SFT_standard___collection___abstract_collection[28] + 5)))
101 #define CALL_standard___collection___abstract_collection___MapRead___values(recv) ((standard___collection___abstract_collection___MapRead___values_t)CALL((recv), (SFT_standard___collection___abstract_collection[28] + 6)))
102 #define CALL_standard___collection___abstract_collection___MapRead___keys(recv) ((standard___collection___abstract_collection___MapRead___keys_t)CALL((recv), (SFT_standard___collection___abstract_collection[28] + 7)))
103 #define CALL_standard___collection___abstract_collection___MapRead___is_empty(recv) ((standard___collection___abstract_collection___MapRead___is_empty_t)CALL((recv), (SFT_standard___collection___abstract_collection[28] + 8)))
104 #define CALL_standard___collection___abstract_collection___MapRead___length(recv) ((standard___collection___abstract_collection___MapRead___length_t)CALL((recv), (SFT_standard___collection___abstract_collection[28] + 9)))
105 #define ID_standard___collection___abstract_collection___Map (SFT_standard___collection___abstract_collection[29])
106 #define COLOR_standard___collection___abstract_collection___Map (SFT_standard___collection___abstract_collection[30])
107 #define INIT_TABLE_POS_standard___collection___abstract_collection___Map (SFT_standard___collection___abstract_collection[31] + 0)
108 #define CALL_standard___collection___abstract_collection___Map_____braeq(recv) ((standard___collection___abstract_collection___Map_____braeq_t)CALL((recv), (SFT_standard___collection___abstract_collection[31] + 1)))
109 #define CALL_standard___collection___abstract_collection___Map___recover_with(recv) ((standard___collection___abstract_collection___Map___recover_with_t)CALL((recv), (SFT_standard___collection___abstract_collection[31] + 2)))
110 #define CALL_standard___collection___abstract_collection___Map___clear(recv) ((standard___collection___abstract_collection___Map___clear_t)CALL((recv), (SFT_standard___collection___abstract_collection[31] + 3)))
111 #define ID_standard___collection___abstract_collection___MapIterator (SFT_standard___collection___abstract_collection[32])
112 #define COLOR_standard___collection___abstract_collection___MapIterator (SFT_standard___collection___abstract_collection[33])
113 #define INIT_TABLE_POS_standard___collection___abstract_collection___MapIterator (SFT_standard___collection___abstract_collection[34] + 0)
114 #define CALL_standard___collection___abstract_collection___MapIterator___item(recv) ((standard___collection___abstract_collection___MapIterator___item_t)CALL((recv), (SFT_standard___collection___abstract_collection[34] + 1)))
115 #define CALL_standard___collection___abstract_collection___MapIterator___key(recv) ((standard___collection___abstract_collection___MapIterator___key_t)CALL((recv), (SFT_standard___collection___abstract_collection[34] + 2)))
116 #define CALL_standard___collection___abstract_collection___MapIterator___next(recv) ((standard___collection___abstract_collection___MapIterator___next_t)CALL((recv), (SFT_standard___collection___abstract_collection[34] + 3)))
117 #define CALL_standard___collection___abstract_collection___MapIterator___is_ok(recv) ((standard___collection___abstract_collection___MapIterator___is_ok_t)CALL((recv), (SFT_standard___collection___abstract_collection[34] + 4)))
118 #define ID_standard___collection___abstract_collection___MapKeysIterator (SFT_standard___collection___abstract_collection[35])
119 #define COLOR_standard___collection___abstract_collection___MapKeysIterator (SFT_standard___collection___abstract_collection[36])
120 #define ATTR_standard___collection___abstract_collection___MapKeysIterator_____atiterator(recv) ATTR(recv, (SFT_standard___collection___abstract_collection[37] + 0))
121 #define INIT_TABLE_POS_standard___collection___abstract_collection___MapKeysIterator (SFT_standard___collection___abstract_collection[38] + 0)
122 #define CALL_standard___collection___abstract_collection___MapKeysIterator___iterator(recv) ((standard___collection___abstract_collection___MapKeysIterator___iterator_t)CALL((recv), (SFT_standard___collection___abstract_collection[38] + 1)))
123 #define CALL_standard___collection___abstract_collection___MapKeysIterator___iterator__eq(recv) ((standard___collection___abstract_collection___MapKeysIterator___iterator__eq_t)CALL((recv), (SFT_standard___collection___abstract_collection[38] + 2)))
124 #define CALL_standard___collection___abstract_collection___MapKeysIterator___init(recv) ((standard___collection___abstract_collection___MapKeysIterator___init_t)CALL((recv), (SFT_standard___collection___abstract_collection[38] + 3)))
125 #define ID_standard___collection___abstract_collection___MapValuesIterator (SFT_standard___collection___abstract_collection[39])
126 #define COLOR_standard___collection___abstract_collection___MapValuesIterator (SFT_standard___collection___abstract_collection[40])
127 #define ATTR_standard___collection___abstract_collection___MapValuesIterator_____atiterator(recv) ATTR(recv, (SFT_standard___collection___abstract_collection[41] + 0))
128 #define INIT_TABLE_POS_standard___collection___abstract_collection___MapValuesIterator (SFT_standard___collection___abstract_collection[42] + 0)
129 #define CALL_standard___collection___abstract_collection___MapValuesIterator___iterator(recv) ((standard___collection___abstract_collection___MapValuesIterator___iterator_t)CALL((recv), (SFT_standard___collection___abstract_collection[42] + 1)))
130 #define CALL_standard___collection___abstract_collection___MapValuesIterator___iterator__eq(recv) ((standard___collection___abstract_collection___MapValuesIterator___iterator__eq_t)CALL((recv), (SFT_standard___collection___abstract_collection[42] + 2)))
131 #define CALL_standard___collection___abstract_collection___MapValuesIterator___init(recv) ((standard___collection___abstract_collection___MapValuesIterator___init_t)CALL((recv), (SFT_standard___collection___abstract_collection[42] + 3)))
132 #define ID_standard___collection___abstract_collection___SequenceRead (SFT_standard___collection___abstract_collection[43])
133 #define COLOR_standard___collection___abstract_collection___SequenceRead (SFT_standard___collection___abstract_collection[44])
134 #define INIT_TABLE_POS_standard___collection___abstract_collection___SequenceRead (SFT_standard___collection___abstract_collection[45] + 0)
135 #define CALL_standard___collection___abstract_collection___SequenceRead_____bra(recv) ((standard___collection___abstract_collection___SequenceRead_____bra_t)CALL((recv), (SFT_standard___collection___abstract_collection[45] + 1)))
136 #define CALL_standard___collection___abstract_collection___SequenceRead___last(recv) ((standard___collection___abstract_collection___SequenceRead___last_t)CALL((recv), (SFT_standard___collection___abstract_collection[45] + 2)))
137 #define CALL_standard___collection___abstract_collection___SequenceRead___index_of(recv) ((standard___collection___abstract_collection___SequenceRead___index_of_t)CALL((recv), (SFT_standard___collection___abstract_collection[45] + 3)))
138 #define ID_standard___collection___abstract_collection___Sequence (SFT_standard___collection___abstract_collection[46])
139 #define COLOR_standard___collection___abstract_collection___Sequence (SFT_standard___collection___abstract_collection[47])
140 #define INIT_TABLE_POS_standard___collection___abstract_collection___Sequence (SFT_standard___collection___abstract_collection[48] + 0)
141 #define CALL_standard___collection___abstract_collection___Sequence___first__eq(recv) ((standard___collection___abstract_collection___Sequence___first__eq_t)CALL((recv), (SFT_standard___collection___abstract_collection[48] + 1)))
142 #define CALL_standard___collection___abstract_collection___Sequence___last__eq(recv) ((standard___collection___abstract_collection___Sequence___last__eq_t)CALL((recv), (SFT_standard___collection___abstract_collection[48] + 2)))
143 #define CALL_standard___collection___abstract_collection___Sequence___push(recv) ((standard___collection___abstract_collection___Sequence___push_t)CALL((recv), (SFT_standard___collection___abstract_collection[48] + 3)))
144 #define CALL_standard___collection___abstract_collection___Sequence___append(recv) ((standard___collection___abstract_collection___Sequence___append_t)CALL((recv), (SFT_standard___collection___abstract_collection[48] + 4)))
145 #define CALL_standard___collection___abstract_collection___Sequence___pop(recv) ((standard___collection___abstract_collection___Sequence___pop_t)CALL((recv), (SFT_standard___collection___abstract_collection[48] + 5)))
146 #define CALL_standard___collection___abstract_collection___Sequence___unshift(recv) ((standard___collection___abstract_collection___Sequence___unshift_t)CALL((recv), (SFT_standard___collection___abstract_collection[48] + 6)))
147 #define CALL_standard___collection___abstract_collection___Sequence___shift(recv) ((standard___collection___abstract_collection___Sequence___shift_t)CALL((recv), (SFT_standard___collection___abstract_collection[48] + 7)))
148 #define CALL_standard___collection___abstract_collection___Sequence_____braeq(recv) ((standard___collection___abstract_collection___Sequence_____braeq_t)CALL((recv), (SFT_standard___collection___abstract_collection[48] + 8)))
149 #define CALL_standard___collection___abstract_collection___Sequence___remove_at(recv) ((standard___collection___abstract_collection___Sequence___remove_at_t)CALL((recv), (SFT_standard___collection___abstract_collection[48] + 9)))
150 #define ID_standard___collection___abstract_collection___IndexedIterator (SFT_standard___collection___abstract_collection[49])
151 #define COLOR_standard___collection___abstract_collection___IndexedIterator (SFT_standard___collection___abstract_collection[50])
152 #define INIT_TABLE_POS_standard___collection___abstract_collection___IndexedIterator (SFT_standard___collection___abstract_collection[51] + 0)
153 #define CALL_standard___collection___abstract_collection___IndexedIterator___index(recv) ((standard___collection___abstract_collection___IndexedIterator___index_t)CALL((recv), (SFT_standard___collection___abstract_collection[51] + 1)))
154 #define ID_standard___collection___abstract_collection___CoupleMap (SFT_standard___collection___abstract_collection[52])
155 #define COLOR_standard___collection___abstract_collection___CoupleMap (SFT_standard___collection___abstract_collection[53])
156 #define INIT_TABLE_POS_standard___collection___abstract_collection___CoupleMap (SFT_standard___collection___abstract_collection[54] + 0)
157 #define CALL_standard___collection___abstract_collection___CoupleMap___couple_at(recv) ((standard___collection___abstract_collection___CoupleMap___couple_at_t)CALL((recv), (SFT_standard___collection___abstract_collection[54] + 1)))
158 #define ID_standard___collection___abstract_collection___CoupleMapIterator (SFT_standard___collection___abstract_collection[55])
159 #define COLOR_standard___collection___abstract_collection___CoupleMapIterator (SFT_standard___collection___abstract_collection[56])
160 #define ATTR_standard___collection___abstract_collection___CoupleMapIterator____iter(recv) ATTR(recv, (SFT_standard___collection___abstract_collection[57] + 0))
161 #define INIT_TABLE_POS_standard___collection___abstract_collection___CoupleMapIterator (SFT_standard___collection___abstract_collection[58] + 0)
162 #define CALL_standard___collection___abstract_collection___CoupleMapIterator___init(recv) ((standard___collection___abstract_collection___CoupleMapIterator___init_t)CALL((recv), (SFT_standard___collection___abstract_collection[58] + 1)))
163 #define ID_standard___collection___abstract_collection___Couple (SFT_standard___collection___abstract_collection[59])
164 #define COLOR_standard___collection___abstract_collection___Couple (SFT_standard___collection___abstract_collection[60])
165 #define ATTR_standard___collection___abstract_collection___Couple____first(recv) ATTR(recv, (SFT_standard___collection___abstract_collection[61] + 0))
166 #define ATTR_standard___collection___abstract_collection___Couple____second(recv) ATTR(recv, (SFT_standard___collection___abstract_collection[61] + 1))
167 #define INIT_TABLE_POS_standard___collection___abstract_collection___Couple (SFT_standard___collection___abstract_collection[62] + 0)
168 #define CALL_standard___collection___abstract_collection___Couple___first(recv) ((standard___collection___abstract_collection___Couple___first_t)CALL((recv), (SFT_standard___collection___abstract_collection[62] + 1)))
169 #define CALL_standard___collection___abstract_collection___Couple___first__eq(recv) ((standard___collection___abstract_collection___Couple___first__eq_t)CALL((recv), (SFT_standard___collection___abstract_collection[62] + 2)))
170 #define CALL_standard___collection___abstract_collection___Couple___second(recv) ((standard___collection___abstract_collection___Couple___second_t)CALL((recv), (SFT_standard___collection___abstract_collection[62] + 3)))
171 #define CALL_standard___collection___abstract_collection___Couple___second__eq(recv) ((standard___collection___abstract_collection___Couple___second__eq_t)CALL((recv), (SFT_standard___collection___abstract_collection[62] + 4)))
172 #define CALL_standard___collection___abstract_collection___Couple___init(recv) ((standard___collection___abstract_collection___Couple___init_t)CALL((recv), (SFT_standard___collection___abstract_collection[62] + 5)))
173 val_t
standard___collection___abstract_collection___Collection___iterator(val_t p0
);
174 typedef val_t (*standard___collection___abstract_collection___Collection___iterator_t
)(val_t p0
);
175 typedef void (*CLOS_standard___collection___abstract_collection___Collection___iterate_0
)(struct stack_frame_t
*, val_t
);
176 void standard___collection___abstract_collection___Collection___iterate(val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
177 typedef void (*standard___collection___abstract_collection___Collection___iterate_t
)(val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
178 val_t
standard___collection___abstract_collection___Collection___is_empty(val_t p0
);
179 typedef val_t (*standard___collection___abstract_collection___Collection___is_empty_t
)(val_t p0
);
180 val_t
standard___collection___abstract_collection___Collection___length(val_t p0
);
181 typedef val_t (*standard___collection___abstract_collection___Collection___length_t
)(val_t p0
);
182 val_t
standard___collection___abstract_collection___Collection___has(val_t p0
, val_t p1
);
183 typedef val_t (*standard___collection___abstract_collection___Collection___has_t
)(val_t p0
, val_t p1
);
184 val_t
standard___collection___abstract_collection___Collection___has_only(val_t p0
, val_t p1
);
185 typedef val_t (*standard___collection___abstract_collection___Collection___has_only_t
)(val_t p0
, val_t p1
);
186 val_t
standard___collection___abstract_collection___Collection___count(val_t p0
, val_t p1
);
187 typedef val_t (*standard___collection___abstract_collection___Collection___count_t
)(val_t p0
, val_t p1
);
188 val_t
standard___collection___abstract_collection___Collection___first(val_t p0
);
189 typedef val_t (*standard___collection___abstract_collection___Collection___first_t
)(val_t p0
);
190 val_t
standard___collection___abstract_collection___NaiveCollection___is_empty(val_t p0
);
191 typedef val_t (*standard___collection___abstract_collection___NaiveCollection___is_empty_t
)(val_t p0
);
192 val_t
standard___collection___abstract_collection___NaiveCollection___length(val_t p0
);
193 typedef val_t (*standard___collection___abstract_collection___NaiveCollection___length_t
)(val_t p0
);
194 typedef void (*CLOS_OC_standard___collection___abstract_collection___NaiveCollection___length_1_0
)(struct stack_frame_t
*);
195 void OC_standard___collection___abstract_collection___NaiveCollection___length_1(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
196 typedef void (*OC_standard___collection___abstract_collection___NaiveCollection___length_1_t
)(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
197 val_t
standard___collection___abstract_collection___NaiveCollection___has(val_t p0
, val_t p1
);
198 typedef val_t (*standard___collection___abstract_collection___NaiveCollection___has_t
)(val_t p0
, val_t p1
);
199 typedef void (*CLOS_OC_standard___collection___abstract_collection___NaiveCollection___has_1_0
)(struct stack_frame_t
*);
200 void OC_standard___collection___abstract_collection___NaiveCollection___has_1(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
201 typedef void (*OC_standard___collection___abstract_collection___NaiveCollection___has_1_t
)(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
202 val_t
standard___collection___abstract_collection___NaiveCollection___has_only(val_t p0
, val_t p1
);
203 typedef val_t (*standard___collection___abstract_collection___NaiveCollection___has_only_t
)(val_t p0
, val_t p1
);
204 typedef void (*CLOS_OC_standard___collection___abstract_collection___NaiveCollection___has_only_1_0
)(struct stack_frame_t
*);
205 void OC_standard___collection___abstract_collection___NaiveCollection___has_only_1(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
206 typedef void (*OC_standard___collection___abstract_collection___NaiveCollection___has_only_1_t
)(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
207 val_t
standard___collection___abstract_collection___NaiveCollection___count(val_t p0
, val_t p1
);
208 typedef val_t (*standard___collection___abstract_collection___NaiveCollection___count_t
)(val_t p0
, val_t p1
);
209 typedef void (*CLOS_OC_standard___collection___abstract_collection___NaiveCollection___count_1_0
)(struct stack_frame_t
*);
210 void OC_standard___collection___abstract_collection___NaiveCollection___count_1(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
211 typedef void (*OC_standard___collection___abstract_collection___NaiveCollection___count_1_t
)(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
212 val_t
standard___collection___abstract_collection___NaiveCollection___first(val_t p0
);
213 typedef val_t (*standard___collection___abstract_collection___NaiveCollection___first_t
)(val_t p0
);
214 val_t
standard___collection___abstract_collection___Iterator___item(val_t p0
);
215 typedef val_t (*standard___collection___abstract_collection___Iterator___item_t
)(val_t p0
);
216 void standard___collection___abstract_collection___Iterator___next(val_t p0
);
217 typedef void (*standard___collection___abstract_collection___Iterator___next_t
)(val_t p0
);
218 val_t
standard___collection___abstract_collection___Iterator___is_ok(val_t p0
);
219 typedef val_t (*standard___collection___abstract_collection___Iterator___is_ok_t
)(val_t p0
);
220 val_t
standard___collection___abstract_collection___Container___first(val_t p0
);
221 typedef val_t (*standard___collection___abstract_collection___Container___first_t
)(val_t p0
);
222 val_t
standard___collection___abstract_collection___Container___is_empty(val_t p0
);
223 typedef val_t (*standard___collection___abstract_collection___Container___is_empty_t
)(val_t p0
);
224 val_t
standard___collection___abstract_collection___Container___length(val_t p0
);
225 typedef val_t (*standard___collection___abstract_collection___Container___length_t
)(val_t p0
);
226 val_t
standard___collection___abstract_collection___Container___has(val_t p0
, val_t p1
);
227 typedef val_t (*standard___collection___abstract_collection___Container___has_t
)(val_t p0
, val_t p1
);
228 val_t
standard___collection___abstract_collection___Container___has_only(val_t p0
, val_t p1
);
229 typedef val_t (*standard___collection___abstract_collection___Container___has_only_t
)(val_t p0
, val_t p1
);
230 val_t
standard___collection___abstract_collection___Container___count(val_t p0
, val_t p1
);
231 typedef val_t (*standard___collection___abstract_collection___Container___count_t
)(val_t p0
, val_t p1
);
232 val_t
standard___collection___abstract_collection___Container___iterator(val_t p0
);
233 typedef val_t (*standard___collection___abstract_collection___Container___iterator_t
)(val_t p0
);
234 void standard___collection___abstract_collection___Container___init(val_t p0
, val_t p1
, int* init_table
);
235 typedef void (*standard___collection___abstract_collection___Container___init_t
)(val_t p0
, val_t p1
, int* init_table
);
236 val_t
NEW_Container_standard___collection___abstract_collection___Container___init(val_t p0
);
237 val_t
standard___collection___abstract_collection___Container___item(val_t p0
);
238 typedef val_t (*standard___collection___abstract_collection___Container___item_t
)(val_t p0
);
239 void standard___collection___abstract_collection___Container___item__eq(val_t p0
, val_t p1
);
240 typedef void (*standard___collection___abstract_collection___Container___item__eq_t
)(val_t p0
, val_t p1
);
241 val_t
standard___collection___abstract_collection___ContainerIterator___item(val_t p0
);
242 typedef val_t (*standard___collection___abstract_collection___ContainerIterator___item_t
)(val_t p0
);
243 void standard___collection___abstract_collection___ContainerIterator___next(val_t p0
);
244 typedef void (*standard___collection___abstract_collection___ContainerIterator___next_t
)(val_t p0
);
245 void standard___collection___abstract_collection___ContainerIterator___init(val_t p0
, val_t p1
, int* init_table
);
246 typedef void (*standard___collection___abstract_collection___ContainerIterator___init_t
)(val_t p0
, val_t p1
, int* init_table
);
247 val_t
NEW_ContainerIterator_standard___collection___abstract_collection___ContainerIterator___init(val_t p0
);
248 val_t
standard___collection___abstract_collection___ContainerIterator___is_ok(val_t p0
);
249 typedef val_t (*standard___collection___abstract_collection___ContainerIterator___is_ok_t
)(val_t p0
);
250 void standard___collection___abstract_collection___RemovableCollection___clear(val_t p0
);
251 typedef void (*standard___collection___abstract_collection___RemovableCollection___clear_t
)(val_t p0
);
252 void standard___collection___abstract_collection___RemovableCollection___remove(val_t p0
, val_t p1
);
253 typedef void (*standard___collection___abstract_collection___RemovableCollection___remove_t
)(val_t p0
, val_t p1
);
254 void standard___collection___abstract_collection___RemovableCollection___remove_all(val_t p0
, val_t p1
);
255 typedef void (*standard___collection___abstract_collection___RemovableCollection___remove_all_t
)(val_t p0
, val_t p1
);
256 void standard___collection___abstract_collection___SimpleCollection___add(val_t p0
, val_t p1
);
257 typedef void (*standard___collection___abstract_collection___SimpleCollection___add_t
)(val_t p0
, val_t p1
);
258 void standard___collection___abstract_collection___SimpleCollection___add_all(val_t p0
, val_t p1
);
259 typedef void (*standard___collection___abstract_collection___SimpleCollection___add_all_t
)(val_t p0
, val_t p1
);
260 typedef void (*CLOS_OC_standard___collection___abstract_collection___SimpleCollection___add_all_1_0
)(struct stack_frame_t
*);
261 void OC_standard___collection___abstract_collection___SimpleCollection___add_all_1(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
262 typedef void (*OC_standard___collection___abstract_collection___SimpleCollection___add_all_1_t
)(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
263 val_t
standard___collection___abstract_collection___Set___has_only(val_t p0
, val_t p1
);
264 typedef val_t (*standard___collection___abstract_collection___Set___has_only_t
)(val_t p0
, val_t p1
);
265 val_t
standard___collection___abstract_collection___Set___count(val_t p0
, val_t p1
);
266 typedef val_t (*standard___collection___abstract_collection___Set___count_t
)(val_t p0
, val_t p1
);
267 void standard___collection___abstract_collection___Set___remove_all(val_t p0
, val_t p1
);
268 typedef void (*standard___collection___abstract_collection___Set___remove_all_t
)(val_t p0
, val_t p1
);
269 val_t
standard___collection___abstract_collection___MapRead_____bra(val_t p0
, val_t p1
);
270 typedef val_t (*standard___collection___abstract_collection___MapRead_____bra_t
)(val_t p0
, val_t p1
);
271 val_t
standard___collection___abstract_collection___MapRead___get_or_default(val_t p0
, val_t p1
, val_t p2
);
272 typedef val_t (*standard___collection___abstract_collection___MapRead___get_or_default_t
)(val_t p0
, val_t p1
, val_t p2
);
273 val_t
standard___collection___abstract_collection___MapRead___has_key(val_t p0
, val_t p1
);
274 typedef val_t (*standard___collection___abstract_collection___MapRead___has_key_t
)(val_t p0
, val_t p1
);
275 val_t
standard___collection___abstract_collection___MapRead___iterator(val_t p0
);
276 typedef val_t (*standard___collection___abstract_collection___MapRead___iterator_t
)(val_t p0
);
277 typedef void (*CLOS_standard___collection___abstract_collection___MapRead___iterate_0
)(struct stack_frame_t
*, val_t
, val_t
);
278 void standard___collection___abstract_collection___MapRead___iterate(val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
279 typedef void (*standard___collection___abstract_collection___MapRead___iterate_t
)(val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
280 val_t
standard___collection___abstract_collection___MapRead___values(val_t p0
);
281 typedef val_t (*standard___collection___abstract_collection___MapRead___values_t
)(val_t p0
);
282 val_t
standard___collection___abstract_collection___MapRead___keys(val_t p0
);
283 typedef val_t (*standard___collection___abstract_collection___MapRead___keys_t
)(val_t p0
);
284 val_t
standard___collection___abstract_collection___MapRead___is_empty(val_t p0
);
285 typedef val_t (*standard___collection___abstract_collection___MapRead___is_empty_t
)(val_t p0
);
286 val_t
standard___collection___abstract_collection___MapRead___length(val_t p0
);
287 typedef val_t (*standard___collection___abstract_collection___MapRead___length_t
)(val_t p0
);
288 void standard___collection___abstract_collection___Map_____braeq(val_t p0
, val_t p1
, val_t p2
);
289 typedef void (*standard___collection___abstract_collection___Map_____braeq_t
)(val_t p0
, val_t p1
, val_t p2
);
290 void standard___collection___abstract_collection___Map___recover_with(val_t p0
, val_t p1
);
291 typedef void (*standard___collection___abstract_collection___Map___recover_with_t
)(val_t p0
, val_t p1
);
292 void standard___collection___abstract_collection___Map___clear(val_t p0
);
293 typedef void (*standard___collection___abstract_collection___Map___clear_t
)(val_t p0
);
294 val_t
standard___collection___abstract_collection___Map___values(val_t p0
);
295 typedef val_t (*standard___collection___abstract_collection___Map___values_t
)(val_t p0
);
296 val_t
standard___collection___abstract_collection___Map___keys(val_t p0
);
297 typedef val_t (*standard___collection___abstract_collection___Map___keys_t
)(val_t p0
);
298 val_t
standard___collection___abstract_collection___MapIterator___item(val_t p0
);
299 typedef val_t (*standard___collection___abstract_collection___MapIterator___item_t
)(val_t p0
);
300 val_t
standard___collection___abstract_collection___MapIterator___key(val_t p0
);
301 typedef val_t (*standard___collection___abstract_collection___MapIterator___key_t
)(val_t p0
);
302 void standard___collection___abstract_collection___MapIterator___next(val_t p0
);
303 typedef void (*standard___collection___abstract_collection___MapIterator___next_t
)(val_t p0
);
304 val_t
standard___collection___abstract_collection___MapIterator___is_ok(val_t p0
);
305 typedef val_t (*standard___collection___abstract_collection___MapIterator___is_ok_t
)(val_t p0
);
306 val_t
standard___collection___abstract_collection___MapKeysIterator___iterator(val_t p0
);
307 typedef val_t (*standard___collection___abstract_collection___MapKeysIterator___iterator_t
)(val_t p0
);
308 void standard___collection___abstract_collection___MapKeysIterator___iterator__eq(val_t p0
, val_t p1
);
309 typedef void (*standard___collection___abstract_collection___MapKeysIterator___iterator__eq_t
)(val_t p0
, val_t p1
);
310 val_t
standard___collection___abstract_collection___MapKeysIterator___is_ok(val_t p0
);
311 typedef val_t (*standard___collection___abstract_collection___MapKeysIterator___is_ok_t
)(val_t p0
);
312 void standard___collection___abstract_collection___MapKeysIterator___next(val_t p0
);
313 typedef void (*standard___collection___abstract_collection___MapKeysIterator___next_t
)(val_t p0
);
314 val_t
standard___collection___abstract_collection___MapKeysIterator___item(val_t p0
);
315 typedef val_t (*standard___collection___abstract_collection___MapKeysIterator___item_t
)(val_t p0
);
316 void standard___collection___abstract_collection___MapKeysIterator___init(val_t p0
, val_t p1
, int* init_table
);
317 typedef void (*standard___collection___abstract_collection___MapKeysIterator___init_t
)(val_t p0
, val_t p1
, int* init_table
);
318 val_t
NEW_MapKeysIterator_standard___collection___abstract_collection___MapKeysIterator___init(val_t p0
);
319 val_t
standard___collection___abstract_collection___MapValuesIterator___iterator(val_t p0
);
320 typedef val_t (*standard___collection___abstract_collection___MapValuesIterator___iterator_t
)(val_t p0
);
321 void standard___collection___abstract_collection___MapValuesIterator___iterator__eq(val_t p0
, val_t p1
);
322 typedef void (*standard___collection___abstract_collection___MapValuesIterator___iterator__eq_t
)(val_t p0
, val_t p1
);
323 val_t
standard___collection___abstract_collection___MapValuesIterator___is_ok(val_t p0
);
324 typedef val_t (*standard___collection___abstract_collection___MapValuesIterator___is_ok_t
)(val_t p0
);
325 void standard___collection___abstract_collection___MapValuesIterator___next(val_t p0
);
326 typedef void (*standard___collection___abstract_collection___MapValuesIterator___next_t
)(val_t p0
);
327 val_t
standard___collection___abstract_collection___MapValuesIterator___item(val_t p0
);
328 typedef val_t (*standard___collection___abstract_collection___MapValuesIterator___item_t
)(val_t p0
);
329 void standard___collection___abstract_collection___MapValuesIterator___init(val_t p0
, val_t p1
, int* init_table
);
330 typedef void (*standard___collection___abstract_collection___MapValuesIterator___init_t
)(val_t p0
, val_t p1
, int* init_table
);
331 val_t
NEW_MapValuesIterator_standard___collection___abstract_collection___MapValuesIterator___init(val_t p0
);
332 val_t
standard___collection___abstract_collection___SequenceRead___first(val_t p0
);
333 typedef val_t (*standard___collection___abstract_collection___SequenceRead___first_t
)(val_t p0
);
334 val_t
standard___collection___abstract_collection___SequenceRead_____bra(val_t p0
, val_t p1
);
335 typedef val_t (*standard___collection___abstract_collection___SequenceRead_____bra_t
)(val_t p0
, val_t p1
);
336 val_t
standard___collection___abstract_collection___SequenceRead___last(val_t p0
);
337 typedef val_t (*standard___collection___abstract_collection___SequenceRead___last_t
)(val_t p0
);
338 val_t
standard___collection___abstract_collection___SequenceRead___index_of(val_t p0
, val_t p1
);
339 typedef val_t (*standard___collection___abstract_collection___SequenceRead___index_of_t
)(val_t p0
, val_t p1
);
340 val_t
standard___collection___abstract_collection___SequenceRead___iterator(val_t p0
);
341 typedef val_t (*standard___collection___abstract_collection___SequenceRead___iterator_t
)(val_t p0
);
342 void standard___collection___abstract_collection___Sequence___first__eq(val_t p0
, val_t p1
);
343 typedef void (*standard___collection___abstract_collection___Sequence___first__eq_t
)(val_t p0
, val_t p1
);
344 void standard___collection___abstract_collection___Sequence___last__eq(val_t p0
, val_t p1
);
345 typedef void (*standard___collection___abstract_collection___Sequence___last__eq_t
)(val_t p0
, val_t p1
);
346 void standard___collection___abstract_collection___Sequence___add(val_t p0
, val_t p1
);
347 typedef void (*standard___collection___abstract_collection___Sequence___add_t
)(val_t p0
, val_t p1
);
348 void standard___collection___abstract_collection___Sequence___push(val_t p0
, val_t p1
);
349 typedef void (*standard___collection___abstract_collection___Sequence___push_t
)(val_t p0
, val_t p1
);
350 void standard___collection___abstract_collection___Sequence___append(val_t p0
, val_t p1
);
351 typedef void (*standard___collection___abstract_collection___Sequence___append_t
)(val_t p0
, val_t p1
);
352 typedef void (*CLOS_OC_standard___collection___abstract_collection___Sequence___append_1_0
)(struct stack_frame_t
*);
353 void OC_standard___collection___abstract_collection___Sequence___append_1(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
354 typedef void (*OC_standard___collection___abstract_collection___Sequence___append_1_t
)(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
355 val_t
standard___collection___abstract_collection___Sequence___pop(val_t p0
);
356 typedef val_t (*standard___collection___abstract_collection___Sequence___pop_t
)(val_t p0
);
357 void standard___collection___abstract_collection___Sequence___unshift(val_t p0
, val_t p1
);
358 typedef void (*standard___collection___abstract_collection___Sequence___unshift_t
)(val_t p0
, val_t p1
);
359 val_t
standard___collection___abstract_collection___Sequence___shift(val_t p0
);
360 typedef val_t (*standard___collection___abstract_collection___Sequence___shift_t
)(val_t p0
);
361 void standard___collection___abstract_collection___Sequence_____braeq(val_t p0
, val_t p1
, val_t p2
);
362 typedef void (*standard___collection___abstract_collection___Sequence_____braeq_t
)(val_t p0
, val_t p1
, val_t p2
);
363 void standard___collection___abstract_collection___Sequence___remove_at(val_t p0
, val_t p1
);
364 typedef void (*standard___collection___abstract_collection___Sequence___remove_at_t
)(val_t p0
, val_t p1
);
365 val_t
standard___collection___abstract_collection___IndexedIterator___index(val_t p0
);
366 typedef val_t (*standard___collection___abstract_collection___IndexedIterator___index_t
)(val_t p0
);
367 val_t
standard___collection___abstract_collection___CoupleMap___couple_at(val_t p0
, val_t p1
);
368 typedef val_t (*standard___collection___abstract_collection___CoupleMap___couple_at_t
)(val_t p0
, val_t p1
);
369 val_t
standard___collection___abstract_collection___CoupleMap_____bra(val_t p0
, val_t p1
);
370 typedef val_t (*standard___collection___abstract_collection___CoupleMap_____bra_t
)(val_t p0
, val_t p1
);
371 val_t
standard___collection___abstract_collection___CoupleMapIterator___item(val_t p0
);
372 typedef val_t (*standard___collection___abstract_collection___CoupleMapIterator___item_t
)(val_t p0
);
373 val_t
standard___collection___abstract_collection___CoupleMapIterator___key(val_t p0
);
374 typedef val_t (*standard___collection___abstract_collection___CoupleMapIterator___key_t
)(val_t p0
);
375 val_t
standard___collection___abstract_collection___CoupleMapIterator___is_ok(val_t p0
);
376 typedef val_t (*standard___collection___abstract_collection___CoupleMapIterator___is_ok_t
)(val_t p0
);
377 void standard___collection___abstract_collection___CoupleMapIterator___next(val_t p0
);
378 typedef void (*standard___collection___abstract_collection___CoupleMapIterator___next_t
)(val_t p0
);
379 void standard___collection___abstract_collection___CoupleMapIterator___init(val_t p0
, val_t p1
, int* init_table
);
380 typedef void (*standard___collection___abstract_collection___CoupleMapIterator___init_t
)(val_t p0
, val_t p1
, int* init_table
);
381 val_t
NEW_CoupleMapIterator_standard___collection___abstract_collection___CoupleMapIterator___init(val_t p0
);
382 val_t
standard___collection___abstract_collection___Couple___first(val_t p0
);
383 typedef val_t (*standard___collection___abstract_collection___Couple___first_t
)(val_t p0
);
384 void standard___collection___abstract_collection___Couple___first__eq(val_t p0
, val_t p1
);
385 typedef void (*standard___collection___abstract_collection___Couple___first__eq_t
)(val_t p0
, val_t p1
);
386 val_t
standard___collection___abstract_collection___Couple___second(val_t p0
);
387 typedef val_t (*standard___collection___abstract_collection___Couple___second_t
)(val_t p0
);
388 void standard___collection___abstract_collection___Couple___second__eq(val_t p0
, val_t p1
);
389 typedef void (*standard___collection___abstract_collection___Couple___second__eq_t
)(val_t p0
, val_t p1
);
390 void standard___collection___abstract_collection___Couple___init(val_t p0
, val_t p1
, val_t p2
, int* init_table
);
391 typedef void (*standard___collection___abstract_collection___Couple___init_t
)(val_t p0
, val_t p1
, val_t p2
, int* init_table
);
392 val_t
NEW_Couple_standard___collection___abstract_collection___Couple___init(val_t p0
, val_t p1
);