1 /* This C header file is generated by NIT to compile modules and programs that requires abstract_collection. */
2 #ifndef abstract_collection_sep
3 #define abstract_collection_sep
4 #include "kernel._sep.h"
5 #include <nit_common.h>
7 extern const classtable_elt_t VFT_Collection
[];
9 extern const classtable_elt_t VFT_NaiveCollection
[];
11 extern const classtable_elt_t VFT_Iterator
[];
13 extern const classtable_elt_t VFT_Container
[];
15 extern const classtable_elt_t VFT_ContainerIterator
[];
17 extern const classtable_elt_t VFT_RemovableCollection
[];
19 extern const classtable_elt_t VFT_SimpleCollection
[];
21 extern const classtable_elt_t VFT_Set
[];
23 extern const classtable_elt_t VFT_MapRead
[];
25 extern const classtable_elt_t VFT_Map
[];
27 extern const classtable_elt_t VFT_MapIterator
[];
29 extern const classtable_elt_t VFT_IndexedCollectionRead
[];
31 extern const classtable_elt_t VFT_IndexedCollection
[];
33 extern const classtable_elt_t VFT_IndexedIterator
[];
35 extern const classtable_elt_t VFT_CoupleMap
[];
37 extern const classtable_elt_t VFT_CoupleMapIterator
[];
39 extern const classtable_elt_t VFT_Couple
[];
40 extern const char *LOCATE_abstract_collection
;
41 extern const int SFT_abstract_collection
[];
42 #define ID_Collection (SFT_abstract_collection[0])
43 #define COLOR_Collection (SFT_abstract_collection[1])
44 #define INIT_TABLE_POS_Collection (SFT_abstract_collection[2] + 0)
45 #define CALL_abstract_collection___Collection___iterator(recv) ((abstract_collection___Collection___iterator_t)CALL((recv), (SFT_abstract_collection[2] + 1)))
46 #define CALL_abstract_collection___Collection___is_empty(recv) ((abstract_collection___Collection___is_empty_t)CALL((recv), (SFT_abstract_collection[2] + 2)))
47 #define CALL_abstract_collection___Collection___length(recv) ((abstract_collection___Collection___length_t)CALL((recv), (SFT_abstract_collection[2] + 3)))
48 #define CALL_abstract_collection___Collection___has(recv) ((abstract_collection___Collection___has_t)CALL((recv), (SFT_abstract_collection[2] + 4)))
49 #define CALL_abstract_collection___Collection___has_only(recv) ((abstract_collection___Collection___has_only_t)CALL((recv), (SFT_abstract_collection[2] + 5)))
50 #define CALL_abstract_collection___Collection___count(recv) ((abstract_collection___Collection___count_t)CALL((recv), (SFT_abstract_collection[2] + 6)))
51 #define CALL_abstract_collection___Collection___first(recv) ((abstract_collection___Collection___first_t)CALL((recv), (SFT_abstract_collection[2] + 7)))
52 #define ID_NaiveCollection (SFT_abstract_collection[3])
53 #define COLOR_NaiveCollection (SFT_abstract_collection[4])
54 #define INIT_TABLE_POS_NaiveCollection (SFT_abstract_collection[5] + 0)
55 #define ID_Iterator (SFT_abstract_collection[6])
56 #define COLOR_Iterator (SFT_abstract_collection[7])
57 #define INIT_TABLE_POS_Iterator (SFT_abstract_collection[8] + 0)
58 #define CALL_abstract_collection___Iterator___item(recv) ((abstract_collection___Iterator___item_t)CALL((recv), (SFT_abstract_collection[8] + 1)))
59 #define CALL_abstract_collection___Iterator___next(recv) ((abstract_collection___Iterator___next_t)CALL((recv), (SFT_abstract_collection[8] + 2)))
60 #define CALL_abstract_collection___Iterator___is_ok(recv) ((abstract_collection___Iterator___is_ok_t)CALL((recv), (SFT_abstract_collection[8] + 3)))
61 #define ID_Container (SFT_abstract_collection[9])
62 #define COLOR_Container (SFT_abstract_collection[10])
63 #define ATTR_abstract_collection___Container____item(recv) ATTR(recv, (SFT_abstract_collection[11] + 0))
64 #define INIT_TABLE_POS_Container (SFT_abstract_collection[12] + 0)
65 #define CALL_abstract_collection___Container___init(recv) ((abstract_collection___Container___init_t)CALL((recv), (SFT_abstract_collection[12] + 1)))
66 #define CALL_abstract_collection___Container___item(recv) ((abstract_collection___Container___item_t)CALL((recv), (SFT_abstract_collection[12] + 2)))
67 #define CALL_abstract_collection___Container___item__eq(recv) ((abstract_collection___Container___item__eq_t)CALL((recv), (SFT_abstract_collection[12] + 3)))
68 #define ID_ContainerIterator (SFT_abstract_collection[13])
69 #define COLOR_ContainerIterator (SFT_abstract_collection[14])
70 #define ATTR_abstract_collection___ContainerIterator____is_ok(recv) ATTR(recv, (SFT_abstract_collection[15] + 0))
71 #define ATTR_abstract_collection___ContainerIterator____container(recv) ATTR(recv, (SFT_abstract_collection[15] + 1))
72 #define INIT_TABLE_POS_ContainerIterator (SFT_abstract_collection[16] + 0)
73 #define CALL_abstract_collection___ContainerIterator___init(recv) ((abstract_collection___ContainerIterator___init_t)CALL((recv), (SFT_abstract_collection[16] + 1)))
74 #define ID_RemovableCollection (SFT_abstract_collection[17])
75 #define COLOR_RemovableCollection (SFT_abstract_collection[18])
76 #define INIT_TABLE_POS_RemovableCollection (SFT_abstract_collection[19] + 0)
77 #define CALL_abstract_collection___RemovableCollection___clear(recv) ((abstract_collection___RemovableCollection___clear_t)CALL((recv), (SFT_abstract_collection[19] + 1)))
78 #define CALL_abstract_collection___RemovableCollection___remove(recv) ((abstract_collection___RemovableCollection___remove_t)CALL((recv), (SFT_abstract_collection[19] + 2)))
79 #define CALL_abstract_collection___RemovableCollection___remove_all(recv) ((abstract_collection___RemovableCollection___remove_all_t)CALL((recv), (SFT_abstract_collection[19] + 3)))
80 #define ID_SimpleCollection (SFT_abstract_collection[20])
81 #define COLOR_SimpleCollection (SFT_abstract_collection[21])
82 #define INIT_TABLE_POS_SimpleCollection (SFT_abstract_collection[22] + 0)
83 #define CALL_abstract_collection___SimpleCollection___add(recv) ((abstract_collection___SimpleCollection___add_t)CALL((recv), (SFT_abstract_collection[22] + 1)))
84 #define CALL_abstract_collection___SimpleCollection___add_all(recv) ((abstract_collection___SimpleCollection___add_all_t)CALL((recv), (SFT_abstract_collection[22] + 2)))
85 #define ID_Set (SFT_abstract_collection[23])
86 #define COLOR_Set (SFT_abstract_collection[24])
87 #define INIT_TABLE_POS_Set (SFT_abstract_collection[25] + 0)
88 #define ID_MapRead (SFT_abstract_collection[26])
89 #define COLOR_MapRead (SFT_abstract_collection[27])
90 #define INIT_TABLE_POS_MapRead (SFT_abstract_collection[28] + 0)
91 #define CALL_abstract_collection___MapRead_____bra(recv) ((abstract_collection___MapRead_____bra_t)CALL((recv), (SFT_abstract_collection[28] + 1)))
92 #define CALL_abstract_collection___MapRead___has_key(recv) ((abstract_collection___MapRead___has_key_t)CALL((recv), (SFT_abstract_collection[28] + 2)))
93 #define ID_Map (SFT_abstract_collection[29])
94 #define COLOR_Map (SFT_abstract_collection[30])
95 #define INIT_TABLE_POS_Map (SFT_abstract_collection[31] + 0)
96 #define CALL_abstract_collection___Map_____braeq(recv) ((abstract_collection___Map_____braeq_t)CALL((recv), (SFT_abstract_collection[31] + 1)))
97 #define CALL_abstract_collection___Map___remove_at(recv) ((abstract_collection___Map___remove_at_t)CALL((recv), (SFT_abstract_collection[31] + 2)))
98 #define CALL_abstract_collection___Map___recover_with(recv) ((abstract_collection___Map___recover_with_t)CALL((recv), (SFT_abstract_collection[31] + 3)))
99 #define ID_MapIterator (SFT_abstract_collection[32])
100 #define COLOR_MapIterator (SFT_abstract_collection[33])
101 #define INIT_TABLE_POS_MapIterator (SFT_abstract_collection[34] + 0)
102 #define CALL_abstract_collection___MapIterator___key(recv) ((abstract_collection___MapIterator___key_t)CALL((recv), (SFT_abstract_collection[34] + 1)))
103 #define ID_IndexedCollectionRead (SFT_abstract_collection[35])
104 #define COLOR_IndexedCollectionRead (SFT_abstract_collection[36])
105 #define INIT_TABLE_POS_IndexedCollectionRead (SFT_abstract_collection[37] + 0)
106 #define CALL_abstract_collection___IndexedCollectionRead___last(recv) ((abstract_collection___IndexedCollectionRead___last_t)CALL((recv), (SFT_abstract_collection[37] + 1)))
107 #define CALL_abstract_collection___IndexedCollectionRead___index_of(recv) ((abstract_collection___IndexedCollectionRead___index_of_t)CALL((recv), (SFT_abstract_collection[37] + 2)))
108 #define ID_IndexedCollection (SFT_abstract_collection[38])
109 #define COLOR_IndexedCollection (SFT_abstract_collection[39])
110 #define INIT_TABLE_POS_IndexedCollection (SFT_abstract_collection[40] + 0)
111 #define CALL_abstract_collection___IndexedCollection___first__eq(recv) ((abstract_collection___IndexedCollection___first__eq_t)CALL((recv), (SFT_abstract_collection[40] + 1)))
112 #define CALL_abstract_collection___IndexedCollection___last__eq(recv) ((abstract_collection___IndexedCollection___last__eq_t)CALL((recv), (SFT_abstract_collection[40] + 2)))
113 #define CALL_abstract_collection___IndexedCollection___push(recv) ((abstract_collection___IndexedCollection___push_t)CALL((recv), (SFT_abstract_collection[40] + 3)))
114 #define CALL_abstract_collection___IndexedCollection___append(recv) ((abstract_collection___IndexedCollection___append_t)CALL((recv), (SFT_abstract_collection[40] + 4)))
115 #define CALL_abstract_collection___IndexedCollection___pop(recv) ((abstract_collection___IndexedCollection___pop_t)CALL((recv), (SFT_abstract_collection[40] + 5)))
116 #define CALL_abstract_collection___IndexedCollection___unshift(recv) ((abstract_collection___IndexedCollection___unshift_t)CALL((recv), (SFT_abstract_collection[40] + 6)))
117 #define CALL_abstract_collection___IndexedCollection___shift(recv) ((abstract_collection___IndexedCollection___shift_t)CALL((recv), (SFT_abstract_collection[40] + 7)))
118 #define ID_IndexedIterator (SFT_abstract_collection[41])
119 #define COLOR_IndexedIterator (SFT_abstract_collection[42])
120 #define INIT_TABLE_POS_IndexedIterator (SFT_abstract_collection[43] + 0)
121 #define CALL_abstract_collection___IndexedIterator___index(recv) ((abstract_collection___IndexedIterator___index_t)CALL((recv), (SFT_abstract_collection[43] + 1)))
122 #define ID_CoupleMap (SFT_abstract_collection[44])
123 #define COLOR_CoupleMap (SFT_abstract_collection[45])
124 #define INIT_TABLE_POS_CoupleMap (SFT_abstract_collection[46] + 0)
125 #define CALL_abstract_collection___CoupleMap___couple_at(recv) ((abstract_collection___CoupleMap___couple_at_t)CALL((recv), (SFT_abstract_collection[46] + 1)))
126 #define ID_CoupleMapIterator (SFT_abstract_collection[47])
127 #define COLOR_CoupleMapIterator (SFT_abstract_collection[48])
128 #define ATTR_abstract_collection___CoupleMapIterator____iter(recv) ATTR(recv, (SFT_abstract_collection[49] + 0))
129 #define INIT_TABLE_POS_CoupleMapIterator (SFT_abstract_collection[50] + 0)
130 #define CALL_abstract_collection___CoupleMapIterator___init(recv) ((abstract_collection___CoupleMapIterator___init_t)CALL((recv), (SFT_abstract_collection[50] + 1)))
131 #define ID_Couple (SFT_abstract_collection[51])
132 #define COLOR_Couple (SFT_abstract_collection[52])
133 #define ATTR_abstract_collection___Couple____first(recv) ATTR(recv, (SFT_abstract_collection[53] + 0))
134 #define ATTR_abstract_collection___Couple____second(recv) ATTR(recv, (SFT_abstract_collection[53] + 1))
135 #define INIT_TABLE_POS_Couple (SFT_abstract_collection[54] + 0)
136 #define CALL_abstract_collection___Couple___first(recv) ((abstract_collection___Couple___first_t)CALL((recv), (SFT_abstract_collection[54] + 1)))
137 #define CALL_abstract_collection___Couple___first__eq(recv) ((abstract_collection___Couple___first__eq_t)CALL((recv), (SFT_abstract_collection[54] + 2)))
138 #define CALL_abstract_collection___Couple___second(recv) ((abstract_collection___Couple___second_t)CALL((recv), (SFT_abstract_collection[54] + 3)))
139 #define CALL_abstract_collection___Couple___second__eq(recv) ((abstract_collection___Couple___second__eq_t)CALL((recv), (SFT_abstract_collection[54] + 4)))
140 #define CALL_abstract_collection___Couple___init(recv) ((abstract_collection___Couple___init_t)CALL((recv), (SFT_abstract_collection[54] + 5)))
141 typedef val_t (* abstract_collection___Collection___iterator_t
)(val_t self
);
142 val_t
abstract_collection___Collection___iterator(val_t self
);
143 #define LOCATE_abstract_collection___Collection___iterator "abstract_collection::Collection::iterator"
144 typedef val_t (* abstract_collection___Collection___is_empty_t
)(val_t self
);
145 val_t
abstract_collection___Collection___is_empty(val_t self
);
146 #define LOCATE_abstract_collection___Collection___is_empty "abstract_collection::Collection::is_empty"
147 typedef val_t (* abstract_collection___Collection___length_t
)(val_t self
);
148 val_t
abstract_collection___Collection___length(val_t self
);
149 #define LOCATE_abstract_collection___Collection___length "abstract_collection::Collection::length"
150 typedef val_t (* abstract_collection___Collection___has_t
)(val_t self
, val_t param0
);
151 val_t
abstract_collection___Collection___has(val_t self
, val_t param0
);
152 #define LOCATE_abstract_collection___Collection___has "abstract_collection::Collection::has"
153 typedef val_t (* abstract_collection___Collection___has_only_t
)(val_t self
, val_t param0
);
154 val_t
abstract_collection___Collection___has_only(val_t self
, val_t param0
);
155 #define LOCATE_abstract_collection___Collection___has_only "abstract_collection::Collection::has_only"
156 typedef val_t (* abstract_collection___Collection___count_t
)(val_t self
, val_t param0
);
157 val_t
abstract_collection___Collection___count(val_t self
, val_t param0
);
158 #define LOCATE_abstract_collection___Collection___count "abstract_collection::Collection::count"
159 typedef val_t (* abstract_collection___Collection___first_t
)(val_t self
);
160 val_t
abstract_collection___Collection___first(val_t self
);
161 #define LOCATE_abstract_collection___Collection___first "abstract_collection::Collection::first"
162 typedef val_t (* abstract_collection___NaiveCollection___is_empty_t
)(val_t self
);
163 val_t
abstract_collection___NaiveCollection___is_empty(val_t self
);
164 #define LOCATE_abstract_collection___NaiveCollection___is_empty "abstract_collection::NaiveCollection::(abstract_collection::Collection::is_empty)"
165 typedef val_t (* abstract_collection___NaiveCollection___length_t
)(val_t self
);
166 val_t
abstract_collection___NaiveCollection___length(val_t self
);
167 #define LOCATE_abstract_collection___NaiveCollection___length "abstract_collection::NaiveCollection::(abstract_collection::Collection::length)"
168 typedef val_t (* abstract_collection___NaiveCollection___has_t
)(val_t self
, val_t param0
);
169 val_t
abstract_collection___NaiveCollection___has(val_t self
, val_t param0
);
170 #define LOCATE_abstract_collection___NaiveCollection___has "abstract_collection::NaiveCollection::(abstract_collection::Collection::has)"
171 typedef val_t (* abstract_collection___NaiveCollection___has_only_t
)(val_t self
, val_t param0
);
172 val_t
abstract_collection___NaiveCollection___has_only(val_t self
, val_t param0
);
173 #define LOCATE_abstract_collection___NaiveCollection___has_only "abstract_collection::NaiveCollection::(abstract_collection::Collection::has_only)"
174 typedef val_t (* abstract_collection___NaiveCollection___count_t
)(val_t self
, val_t param0
);
175 val_t
abstract_collection___NaiveCollection___count(val_t self
, val_t param0
);
176 #define LOCATE_abstract_collection___NaiveCollection___count "abstract_collection::NaiveCollection::(abstract_collection::Collection::count)"
177 typedef val_t (* abstract_collection___NaiveCollection___first_t
)(val_t self
);
178 val_t
abstract_collection___NaiveCollection___first(val_t self
);
179 #define LOCATE_abstract_collection___NaiveCollection___first "abstract_collection::NaiveCollection::(abstract_collection::Collection::first)"
180 typedef val_t (* abstract_collection___Iterator___item_t
)(val_t self
);
181 val_t
abstract_collection___Iterator___item(val_t self
);
182 #define LOCATE_abstract_collection___Iterator___item "abstract_collection::Iterator::item"
183 typedef void (* abstract_collection___Iterator___next_t
)(val_t self
);
184 void abstract_collection___Iterator___next(val_t self
);
185 #define LOCATE_abstract_collection___Iterator___next "abstract_collection::Iterator::next"
186 typedef val_t (* abstract_collection___Iterator___is_ok_t
)(val_t self
);
187 val_t
abstract_collection___Iterator___is_ok(val_t self
);
188 #define LOCATE_abstract_collection___Iterator___is_ok "abstract_collection::Iterator::is_ok"
189 typedef val_t (* abstract_collection___Container___iterator_t
)(val_t self
);
190 val_t
abstract_collection___Container___iterator(val_t self
);
191 #define LOCATE_abstract_collection___Container___iterator "abstract_collection::Container::(abstract_collection::Collection::iterator)"
192 typedef val_t (* abstract_collection___Container___is_empty_t
)(val_t self
);
193 val_t
abstract_collection___Container___is_empty(val_t self
);
194 #define LOCATE_abstract_collection___Container___is_empty "abstract_collection::Container::(abstract_collection::Collection::is_empty)"
195 typedef val_t (* abstract_collection___Container___length_t
)(val_t self
);
196 val_t
abstract_collection___Container___length(val_t self
);
197 #define LOCATE_abstract_collection___Container___length "abstract_collection::Container::(abstract_collection::Collection::length)"
198 typedef val_t (* abstract_collection___Container___has_t
)(val_t self
, val_t param0
);
199 val_t
abstract_collection___Container___has(val_t self
, val_t param0
);
200 #define LOCATE_abstract_collection___Container___has "abstract_collection::Container::(abstract_collection::Collection::has)"
201 typedef val_t (* abstract_collection___Container___has_only_t
)(val_t self
, val_t param0
);
202 val_t
abstract_collection___Container___has_only(val_t self
, val_t param0
);
203 #define LOCATE_abstract_collection___Container___has_only "abstract_collection::Container::(abstract_collection::Collection::has_only)"
204 typedef val_t (* abstract_collection___Container___count_t
)(val_t self
, val_t param0
);
205 val_t
abstract_collection___Container___count(val_t self
, val_t param0
);
206 #define LOCATE_abstract_collection___Container___count "abstract_collection::Container::(abstract_collection::Collection::count)"
207 typedef val_t (* abstract_collection___Container___first_t
)(val_t self
);
208 val_t
abstract_collection___Container___first(val_t self
);
209 #define LOCATE_abstract_collection___Container___first "abstract_collection::Container::(abstract_collection::Collection::first)"
210 typedef void (* abstract_collection___Container___init_t
)(val_t self
, val_t param0
, int* init_table
);
211 void abstract_collection___Container___init(val_t self
, val_t param0
, int* init_table
);
212 #define LOCATE_abstract_collection___Container___init "abstract_collection::Container::init"
213 val_t
NEW_Container_abstract_collection___Container___init(val_t p0
);
214 typedef val_t (* abstract_collection___Container___item_t
)(val_t self
);
215 val_t
abstract_collection___Container___item(val_t self
);
216 #define LOCATE_abstract_collection___Container___item "abstract_collection::Container::item"
217 typedef void (* abstract_collection___Container___item__eq_t
)(val_t self
, val_t param0
);
218 void abstract_collection___Container___item__eq(val_t self
, val_t param0
);
219 #define LOCATE_abstract_collection___Container___item__eq "abstract_collection::Container::item="
220 typedef val_t (* abstract_collection___ContainerIterator___item_t
)(val_t self
);
221 val_t
abstract_collection___ContainerIterator___item(val_t self
);
222 #define LOCATE_abstract_collection___ContainerIterator___item "abstract_collection::ContainerIterator::(abstract_collection::Iterator::item)"
223 typedef void (* abstract_collection___ContainerIterator___next_t
)(val_t self
);
224 void abstract_collection___ContainerIterator___next(val_t self
);
225 #define LOCATE_abstract_collection___ContainerIterator___next "abstract_collection::ContainerIterator::(abstract_collection::Iterator::next)"
226 typedef val_t (* abstract_collection___ContainerIterator___is_ok_t
)(val_t self
);
227 val_t
abstract_collection___ContainerIterator___is_ok(val_t self
);
228 #define LOCATE_abstract_collection___ContainerIterator___is_ok "abstract_collection::ContainerIterator::(abstract_collection::Iterator::is_ok)"
229 typedef void (* abstract_collection___ContainerIterator___init_t
)(val_t self
, val_t param0
, int* init_table
);
230 void abstract_collection___ContainerIterator___init(val_t self
, val_t param0
, int* init_table
);
231 #define LOCATE_abstract_collection___ContainerIterator___init "abstract_collection::ContainerIterator::init"
232 val_t
NEW_ContainerIterator_abstract_collection___ContainerIterator___init(val_t p0
);
233 typedef void (* abstract_collection___RemovableCollection___clear_t
)(val_t self
);
234 void abstract_collection___RemovableCollection___clear(val_t self
);
235 #define LOCATE_abstract_collection___RemovableCollection___clear "abstract_collection::RemovableCollection::clear"
236 typedef void (* abstract_collection___RemovableCollection___remove_t
)(val_t self
, val_t param0
);
237 void abstract_collection___RemovableCollection___remove(val_t self
, val_t param0
);
238 #define LOCATE_abstract_collection___RemovableCollection___remove "abstract_collection::RemovableCollection::remove"
239 typedef void (* abstract_collection___RemovableCollection___remove_all_t
)(val_t self
, val_t param0
);
240 void abstract_collection___RemovableCollection___remove_all(val_t self
, val_t param0
);
241 #define LOCATE_abstract_collection___RemovableCollection___remove_all "abstract_collection::RemovableCollection::remove_all"
242 typedef void (* abstract_collection___SimpleCollection___add_t
)(val_t self
, val_t param0
);
243 void abstract_collection___SimpleCollection___add(val_t self
, val_t param0
);
244 #define LOCATE_abstract_collection___SimpleCollection___add "abstract_collection::SimpleCollection::add"
245 typedef void (* abstract_collection___SimpleCollection___add_all_t
)(val_t self
, val_t param0
);
246 void abstract_collection___SimpleCollection___add_all(val_t self
, val_t param0
);
247 #define LOCATE_abstract_collection___SimpleCollection___add_all "abstract_collection::SimpleCollection::add_all"
248 typedef val_t (* abstract_collection___Set___has_only_t
)(val_t self
, val_t param0
);
249 val_t
abstract_collection___Set___has_only(val_t self
, val_t param0
);
250 #define LOCATE_abstract_collection___Set___has_only "abstract_collection::Set::(abstract_collection::Collection::has_only)"
251 typedef val_t (* abstract_collection___Set___count_t
)(val_t self
, val_t param0
);
252 val_t
abstract_collection___Set___count(val_t self
, val_t param0
);
253 #define LOCATE_abstract_collection___Set___count "abstract_collection::Set::(abstract_collection::Collection::count)"
254 typedef void (* abstract_collection___Set___remove_all_t
)(val_t self
, val_t param0
);
255 void abstract_collection___Set___remove_all(val_t self
, val_t param0
);
256 #define LOCATE_abstract_collection___Set___remove_all "abstract_collection::Set::(abstract_collection::RemovableCollection::remove_all)"
257 typedef val_t (* abstract_collection___MapRead___iterator_t
)(val_t self
);
258 val_t
abstract_collection___MapRead___iterator(val_t self
);
259 #define LOCATE_abstract_collection___MapRead___iterator "abstract_collection::MapRead::(abstract_collection::Collection::iterator)"
260 typedef val_t (* abstract_collection___MapRead_____bra_t
)(val_t self
, val_t param0
);
261 val_t
abstract_collection___MapRead_____bra(val_t self
, val_t param0
);
262 #define LOCATE_abstract_collection___MapRead_____bra "abstract_collection::MapRead::[]"
263 typedef val_t (* abstract_collection___MapRead___has_key_t
)(val_t self
, val_t param0
);
264 val_t
abstract_collection___MapRead___has_key(val_t self
, val_t param0
);
265 #define LOCATE_abstract_collection___MapRead___has_key "abstract_collection::MapRead::has_key"
266 typedef void (* abstract_collection___Map_____braeq_t
)(val_t self
, val_t param0
, val_t param1
);
267 void abstract_collection___Map_____braeq(val_t self
, val_t param0
, val_t param1
);
268 #define LOCATE_abstract_collection___Map_____braeq "abstract_collection::Map::[]="
269 typedef void (* abstract_collection___Map___remove_at_t
)(val_t self
, val_t param0
);
270 void abstract_collection___Map___remove_at(val_t self
, val_t param0
);
271 #define LOCATE_abstract_collection___Map___remove_at "abstract_collection::Map::remove_at"
272 typedef void (* abstract_collection___Map___recover_with_t
)(val_t self
, val_t param0
);
273 void abstract_collection___Map___recover_with(val_t self
, val_t param0
);
274 #define LOCATE_abstract_collection___Map___recover_with "abstract_collection::Map::recover_with"
275 typedef val_t (* abstract_collection___MapIterator___key_t
)(val_t self
);
276 val_t
abstract_collection___MapIterator___key(val_t self
);
277 #define LOCATE_abstract_collection___MapIterator___key "abstract_collection::MapIterator::key"
278 typedef val_t (* abstract_collection___IndexedCollectionRead___iterator_t
)(val_t self
);
279 val_t
abstract_collection___IndexedCollectionRead___iterator(val_t self
);
280 #define LOCATE_abstract_collection___IndexedCollectionRead___iterator "abstract_collection::IndexedCollectionRead::(abstract_collection::Collection::iterator)"
281 typedef val_t (* abstract_collection___IndexedCollectionRead___first_t
)(val_t self
);
282 val_t
abstract_collection___IndexedCollectionRead___first(val_t self
);
283 #define LOCATE_abstract_collection___IndexedCollectionRead___first "abstract_collection::IndexedCollectionRead::(abstract_collection::Collection::first)"
284 typedef val_t (* abstract_collection___IndexedCollectionRead___last_t
)(val_t self
);
285 val_t
abstract_collection___IndexedCollectionRead___last(val_t self
);
286 #define LOCATE_abstract_collection___IndexedCollectionRead___last "abstract_collection::IndexedCollectionRead::last"
287 typedef val_t (* abstract_collection___IndexedCollectionRead___index_of_t
)(val_t self
, val_t param0
);
288 val_t
abstract_collection___IndexedCollectionRead___index_of(val_t self
, val_t param0
);
289 #define LOCATE_abstract_collection___IndexedCollectionRead___index_of "abstract_collection::IndexedCollectionRead::index_of"
290 typedef void (* abstract_collection___IndexedCollection___add_t
)(val_t self
, val_t param0
);
291 void abstract_collection___IndexedCollection___add(val_t self
, val_t param0
);
292 #define LOCATE_abstract_collection___IndexedCollection___add "abstract_collection::IndexedCollection::(abstract_collection::SimpleCollection::add)"
293 typedef void (* abstract_collection___IndexedCollection___first__eq_t
)(val_t self
, val_t param0
);
294 void abstract_collection___IndexedCollection___first__eq(val_t self
, val_t param0
);
295 #define LOCATE_abstract_collection___IndexedCollection___first__eq "abstract_collection::IndexedCollection::first="
296 typedef void (* abstract_collection___IndexedCollection___last__eq_t
)(val_t self
, val_t param0
);
297 void abstract_collection___IndexedCollection___last__eq(val_t self
, val_t param0
);
298 #define LOCATE_abstract_collection___IndexedCollection___last__eq "abstract_collection::IndexedCollection::last="
299 typedef void (* abstract_collection___IndexedCollection___push_t
)(val_t self
, val_t param0
);
300 void abstract_collection___IndexedCollection___push(val_t self
, val_t param0
);
301 #define LOCATE_abstract_collection___IndexedCollection___push "abstract_collection::IndexedCollection::push"
302 typedef void (* abstract_collection___IndexedCollection___append_t
)(val_t self
, val_t param0
);
303 void abstract_collection___IndexedCollection___append(val_t self
, val_t param0
);
304 #define LOCATE_abstract_collection___IndexedCollection___append "abstract_collection::IndexedCollection::append"
305 typedef val_t (* abstract_collection___IndexedCollection___pop_t
)(val_t self
);
306 val_t
abstract_collection___IndexedCollection___pop(val_t self
);
307 #define LOCATE_abstract_collection___IndexedCollection___pop "abstract_collection::IndexedCollection::pop"
308 typedef void (* abstract_collection___IndexedCollection___unshift_t
)(val_t self
, val_t param0
);
309 void abstract_collection___IndexedCollection___unshift(val_t self
, val_t param0
);
310 #define LOCATE_abstract_collection___IndexedCollection___unshift "abstract_collection::IndexedCollection::unshift"
311 typedef val_t (* abstract_collection___IndexedCollection___shift_t
)(val_t self
);
312 val_t
abstract_collection___IndexedCollection___shift(val_t self
);
313 #define LOCATE_abstract_collection___IndexedCollection___shift "abstract_collection::IndexedCollection::shift"
314 typedef val_t (* abstract_collection___IndexedIterator___key_t
)(val_t self
);
315 val_t
abstract_collection___IndexedIterator___key(val_t self
);
316 #define LOCATE_abstract_collection___IndexedIterator___key "abstract_collection::IndexedIterator::(abstract_collection::MapIterator::key)"
317 typedef val_t (* abstract_collection___IndexedIterator___index_t
)(val_t self
);
318 val_t
abstract_collection___IndexedIterator___index(val_t self
);
319 #define LOCATE_abstract_collection___IndexedIterator___index "abstract_collection::IndexedIterator::index"
320 typedef val_t (* abstract_collection___CoupleMap_____bra_t
)(val_t self
, val_t param0
);
321 val_t
abstract_collection___CoupleMap_____bra(val_t self
, val_t param0
);
322 #define LOCATE_abstract_collection___CoupleMap_____bra "abstract_collection::CoupleMap::(abstract_collection::MapRead::[])"
323 typedef val_t (* abstract_collection___CoupleMap___has_key_t
)(val_t self
, val_t param0
);
324 val_t
abstract_collection___CoupleMap___has_key(val_t self
, val_t param0
);
325 #define LOCATE_abstract_collection___CoupleMap___has_key "abstract_collection::CoupleMap::(abstract_collection::MapRead::has_key)"
326 typedef val_t (* abstract_collection___CoupleMap___couple_at_t
)(val_t self
, val_t param0
);
327 val_t
abstract_collection___CoupleMap___couple_at(val_t self
, val_t param0
);
328 #define LOCATE_abstract_collection___CoupleMap___couple_at "abstract_collection::CoupleMap::couple_at"
329 typedef val_t (* abstract_collection___CoupleMapIterator___item_t
)(val_t self
);
330 val_t
abstract_collection___CoupleMapIterator___item(val_t self
);
331 #define LOCATE_abstract_collection___CoupleMapIterator___item "abstract_collection::CoupleMapIterator::(abstract_collection::Iterator::item)"
332 typedef void (* abstract_collection___CoupleMapIterator___next_t
)(val_t self
);
333 void abstract_collection___CoupleMapIterator___next(val_t self
);
334 #define LOCATE_abstract_collection___CoupleMapIterator___next "abstract_collection::CoupleMapIterator::(abstract_collection::Iterator::next)"
335 typedef val_t (* abstract_collection___CoupleMapIterator___is_ok_t
)(val_t self
);
336 val_t
abstract_collection___CoupleMapIterator___is_ok(val_t self
);
337 #define LOCATE_abstract_collection___CoupleMapIterator___is_ok "abstract_collection::CoupleMapIterator::(abstract_collection::Iterator::is_ok)"
338 typedef val_t (* abstract_collection___CoupleMapIterator___key_t
)(val_t self
);
339 val_t
abstract_collection___CoupleMapIterator___key(val_t self
);
340 #define LOCATE_abstract_collection___CoupleMapIterator___key "abstract_collection::CoupleMapIterator::(abstract_collection::MapIterator::key)"
341 typedef void (* abstract_collection___CoupleMapIterator___init_t
)(val_t self
, val_t param0
, int* init_table
);
342 void abstract_collection___CoupleMapIterator___init(val_t self
, val_t param0
, int* init_table
);
343 #define LOCATE_abstract_collection___CoupleMapIterator___init "abstract_collection::CoupleMapIterator::init"
344 val_t
NEW_CoupleMapIterator_abstract_collection___CoupleMapIterator___init(val_t p0
);
345 typedef val_t (* abstract_collection___Couple___first_t
)(val_t self
);
346 val_t
abstract_collection___Couple___first(val_t self
);
347 #define LOCATE_abstract_collection___Couple___first "abstract_collection::Couple::first"
348 typedef void (* abstract_collection___Couple___first__eq_t
)(val_t self
, val_t param0
);
349 void abstract_collection___Couple___first__eq(val_t self
, val_t param0
);
350 #define LOCATE_abstract_collection___Couple___first__eq "abstract_collection::Couple::first="
351 typedef val_t (* abstract_collection___Couple___second_t
)(val_t self
);
352 val_t
abstract_collection___Couple___second(val_t self
);
353 #define LOCATE_abstract_collection___Couple___second "abstract_collection::Couple::second"
354 typedef void (* abstract_collection___Couple___second__eq_t
)(val_t self
, val_t param0
);
355 void abstract_collection___Couple___second__eq(val_t self
, val_t param0
);
356 #define LOCATE_abstract_collection___Couple___second__eq "abstract_collection::Couple::second="
357 typedef void (* abstract_collection___Couple___init_t
)(val_t self
, val_t param0
, val_t param1
, int* init_table
);
358 void abstract_collection___Couple___init(val_t self
, val_t param0
, val_t param1
, int* init_table
);
359 #define LOCATE_abstract_collection___Couple___init "abstract_collection::Couple::init"
360 val_t
NEW_Couple_abstract_collection___Couple___init(val_t p0
, val_t p1
);