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_SequenceRead
[];
31 extern const classtable_elt_t VFT_Sequence
[];
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___iterate(recv) ((abstract_collection___Collection___iterate_t)CALL((recv), (SFT_abstract_collection[2] + 2)))
47 #define CALL_abstract_collection___Collection___is_empty(recv) ((abstract_collection___Collection___is_empty_t)CALL((recv), (SFT_abstract_collection[2] + 3)))
48 #define CALL_abstract_collection___Collection___length(recv) ((abstract_collection___Collection___length_t)CALL((recv), (SFT_abstract_collection[2] + 4)))
49 #define CALL_abstract_collection___Collection___has(recv) ((abstract_collection___Collection___has_t)CALL((recv), (SFT_abstract_collection[2] + 5)))
50 #define CALL_abstract_collection___Collection___has_only(recv) ((abstract_collection___Collection___has_only_t)CALL((recv), (SFT_abstract_collection[2] + 6)))
51 #define CALL_abstract_collection___Collection___count(recv) ((abstract_collection___Collection___count_t)CALL((recv), (SFT_abstract_collection[2] + 7)))
52 #define CALL_abstract_collection___Collection___first(recv) ((abstract_collection___Collection___first_t)CALL((recv), (SFT_abstract_collection[2] + 8)))
53 #define ID_NaiveCollection (SFT_abstract_collection[3])
54 #define COLOR_NaiveCollection (SFT_abstract_collection[4])
55 #define INIT_TABLE_POS_NaiveCollection (SFT_abstract_collection[5] + 0)
56 #define ID_Iterator (SFT_abstract_collection[6])
57 #define COLOR_Iterator (SFT_abstract_collection[7])
58 #define INIT_TABLE_POS_Iterator (SFT_abstract_collection[8] + 0)
59 #define CALL_abstract_collection___Iterator___item(recv) ((abstract_collection___Iterator___item_t)CALL((recv), (SFT_abstract_collection[8] + 1)))
60 #define CALL_abstract_collection___Iterator___next(recv) ((abstract_collection___Iterator___next_t)CALL((recv), (SFT_abstract_collection[8] + 2)))
61 #define CALL_abstract_collection___Iterator___is_ok(recv) ((abstract_collection___Iterator___is_ok_t)CALL((recv), (SFT_abstract_collection[8] + 3)))
62 #define ID_Container (SFT_abstract_collection[9])
63 #define COLOR_Container (SFT_abstract_collection[10])
64 #define ATTR_abstract_collection___Container____item(recv) ATTR(recv, (SFT_abstract_collection[11] + 0))
65 #define INIT_TABLE_POS_Container (SFT_abstract_collection[12] + 0)
66 #define CALL_abstract_collection___Container___init(recv) ((abstract_collection___Container___init_t)CALL((recv), (SFT_abstract_collection[12] + 1)))
67 #define CALL_abstract_collection___Container___item(recv) ((abstract_collection___Container___item_t)CALL((recv), (SFT_abstract_collection[12] + 2)))
68 #define CALL_abstract_collection___Container___item__eq(recv) ((abstract_collection___Container___item__eq_t)CALL((recv), (SFT_abstract_collection[12] + 3)))
69 #define ID_ContainerIterator (SFT_abstract_collection[13])
70 #define COLOR_ContainerIterator (SFT_abstract_collection[14])
71 #define ATTR_abstract_collection___ContainerIterator____is_ok(recv) ATTR(recv, (SFT_abstract_collection[15] + 0))
72 #define ATTR_abstract_collection___ContainerIterator____container(recv) ATTR(recv, (SFT_abstract_collection[15] + 1))
73 #define INIT_TABLE_POS_ContainerIterator (SFT_abstract_collection[16] + 0)
74 #define CALL_abstract_collection___ContainerIterator___init(recv) ((abstract_collection___ContainerIterator___init_t)CALL((recv), (SFT_abstract_collection[16] + 1)))
75 #define ID_RemovableCollection (SFT_abstract_collection[17])
76 #define COLOR_RemovableCollection (SFT_abstract_collection[18])
77 #define INIT_TABLE_POS_RemovableCollection (SFT_abstract_collection[19] + 0)
78 #define CALL_abstract_collection___RemovableCollection___clear(recv) ((abstract_collection___RemovableCollection___clear_t)CALL((recv), (SFT_abstract_collection[19] + 1)))
79 #define CALL_abstract_collection___RemovableCollection___remove(recv) ((abstract_collection___RemovableCollection___remove_t)CALL((recv), (SFT_abstract_collection[19] + 2)))
80 #define CALL_abstract_collection___RemovableCollection___remove_all(recv) ((abstract_collection___RemovableCollection___remove_all_t)CALL((recv), (SFT_abstract_collection[19] + 3)))
81 #define ID_SimpleCollection (SFT_abstract_collection[20])
82 #define COLOR_SimpleCollection (SFT_abstract_collection[21])
83 #define INIT_TABLE_POS_SimpleCollection (SFT_abstract_collection[22] + 0)
84 #define CALL_abstract_collection___SimpleCollection___add(recv) ((abstract_collection___SimpleCollection___add_t)CALL((recv), (SFT_abstract_collection[22] + 1)))
85 #define CALL_abstract_collection___SimpleCollection___add_all(recv) ((abstract_collection___SimpleCollection___add_all_t)CALL((recv), (SFT_abstract_collection[22] + 2)))
86 #define ID_Set (SFT_abstract_collection[23])
87 #define COLOR_Set (SFT_abstract_collection[24])
88 #define INIT_TABLE_POS_Set (SFT_abstract_collection[25] + 0)
89 #define ID_MapRead (SFT_abstract_collection[26])
90 #define COLOR_MapRead (SFT_abstract_collection[27])
91 #define INIT_TABLE_POS_MapRead (SFT_abstract_collection[28] + 0)
92 #define CALL_abstract_collection___MapRead_____bra(recv) ((abstract_collection___MapRead_____bra_t)CALL((recv), (SFT_abstract_collection[28] + 1)))
93 #define CALL_abstract_collection___MapRead___has_key(recv) ((abstract_collection___MapRead___has_key_t)CALL((recv), (SFT_abstract_collection[28] + 2)))
94 #define ID_Map (SFT_abstract_collection[29])
95 #define COLOR_Map (SFT_abstract_collection[30])
96 #define INIT_TABLE_POS_Map (SFT_abstract_collection[31] + 0)
97 #define CALL_abstract_collection___Map_____braeq(recv) ((abstract_collection___Map_____braeq_t)CALL((recv), (SFT_abstract_collection[31] + 1)))
98 #define CALL_abstract_collection___Map___remove_at(recv) ((abstract_collection___Map___remove_at_t)CALL((recv), (SFT_abstract_collection[31] + 2)))
99 #define CALL_abstract_collection___Map___recover_with(recv) ((abstract_collection___Map___recover_with_t)CALL((recv), (SFT_abstract_collection[31] + 3)))
100 #define ID_MapIterator (SFT_abstract_collection[32])
101 #define COLOR_MapIterator (SFT_abstract_collection[33])
102 #define INIT_TABLE_POS_MapIterator (SFT_abstract_collection[34] + 0)
103 #define CALL_abstract_collection___MapIterator___key(recv) ((abstract_collection___MapIterator___key_t)CALL((recv), (SFT_abstract_collection[34] + 1)))
104 #define ID_SequenceRead (SFT_abstract_collection[35])
105 #define COLOR_SequenceRead (SFT_abstract_collection[36])
106 #define INIT_TABLE_POS_SequenceRead (SFT_abstract_collection[37] + 0)
107 #define CALL_abstract_collection___SequenceRead___last(recv) ((abstract_collection___SequenceRead___last_t)CALL((recv), (SFT_abstract_collection[37] + 1)))
108 #define CALL_abstract_collection___SequenceRead___index_of(recv) ((abstract_collection___SequenceRead___index_of_t)CALL((recv), (SFT_abstract_collection[37] + 2)))
109 #define ID_Sequence (SFT_abstract_collection[38])
110 #define COLOR_Sequence (SFT_abstract_collection[39])
111 #define INIT_TABLE_POS_Sequence (SFT_abstract_collection[40] + 0)
112 #define CALL_abstract_collection___Sequence___first__eq(recv) ((abstract_collection___Sequence___first__eq_t)CALL((recv), (SFT_abstract_collection[40] + 1)))
113 #define CALL_abstract_collection___Sequence___last__eq(recv) ((abstract_collection___Sequence___last__eq_t)CALL((recv), (SFT_abstract_collection[40] + 2)))
114 #define CALL_abstract_collection___Sequence___push(recv) ((abstract_collection___Sequence___push_t)CALL((recv), (SFT_abstract_collection[40] + 3)))
115 #define CALL_abstract_collection___Sequence___append(recv) ((abstract_collection___Sequence___append_t)CALL((recv), (SFT_abstract_collection[40] + 4)))
116 #define CALL_abstract_collection___Sequence___pop(recv) ((abstract_collection___Sequence___pop_t)CALL((recv), (SFT_abstract_collection[40] + 5)))
117 #define CALL_abstract_collection___Sequence___unshift(recv) ((abstract_collection___Sequence___unshift_t)CALL((recv), (SFT_abstract_collection[40] + 6)))
118 #define CALL_abstract_collection___Sequence___shift(recv) ((abstract_collection___Sequence___shift_t)CALL((recv), (SFT_abstract_collection[40] + 7)))
119 #define ID_IndexedIterator (SFT_abstract_collection[41])
120 #define COLOR_IndexedIterator (SFT_abstract_collection[42])
121 #define INIT_TABLE_POS_IndexedIterator (SFT_abstract_collection[43] + 0)
122 #define CALL_abstract_collection___IndexedIterator___index(recv) ((abstract_collection___IndexedIterator___index_t)CALL((recv), (SFT_abstract_collection[43] + 1)))
123 #define ID_CoupleMap (SFT_abstract_collection[44])
124 #define COLOR_CoupleMap (SFT_abstract_collection[45])
125 #define INIT_TABLE_POS_CoupleMap (SFT_abstract_collection[46] + 0)
126 #define CALL_abstract_collection___CoupleMap___couple_at(recv) ((abstract_collection___CoupleMap___couple_at_t)CALL((recv), (SFT_abstract_collection[46] + 1)))
127 #define ID_CoupleMapIterator (SFT_abstract_collection[47])
128 #define COLOR_CoupleMapIterator (SFT_abstract_collection[48])
129 #define ATTR_abstract_collection___CoupleMapIterator____iter(recv) ATTR(recv, (SFT_abstract_collection[49] + 0))
130 #define INIT_TABLE_POS_CoupleMapIterator (SFT_abstract_collection[50] + 0)
131 #define CALL_abstract_collection___CoupleMapIterator___init(recv) ((abstract_collection___CoupleMapIterator___init_t)CALL((recv), (SFT_abstract_collection[50] + 1)))
132 #define ID_Couple (SFT_abstract_collection[51])
133 #define COLOR_Couple (SFT_abstract_collection[52])
134 #define ATTR_abstract_collection___Couple____first(recv) ATTR(recv, (SFT_abstract_collection[53] + 0))
135 #define ATTR_abstract_collection___Couple____second(recv) ATTR(recv, (SFT_abstract_collection[53] + 1))
136 #define INIT_TABLE_POS_Couple (SFT_abstract_collection[54] + 0)
137 #define CALL_abstract_collection___Couple___first(recv) ((abstract_collection___Couple___first_t)CALL((recv), (SFT_abstract_collection[54] + 1)))
138 #define CALL_abstract_collection___Couple___first__eq(recv) ((abstract_collection___Couple___first__eq_t)CALL((recv), (SFT_abstract_collection[54] + 2)))
139 #define CALL_abstract_collection___Couple___second(recv) ((abstract_collection___Couple___second_t)CALL((recv), (SFT_abstract_collection[54] + 3)))
140 #define CALL_abstract_collection___Couple___second__eq(recv) ((abstract_collection___Couple___second__eq_t)CALL((recv), (SFT_abstract_collection[54] + 4)))
141 #define CALL_abstract_collection___Couple___init(recv) ((abstract_collection___Couple___init_t)CALL((recv), (SFT_abstract_collection[54] + 5)))
142 static const char * const LOCATE_abstract_collection___Collection___iterator
= "abstract_collection::Collection::iterator";
143 val_t
abstract_collection___Collection___iterator(val_t p0
);
144 typedef val_t (*abstract_collection___Collection___iterator_t
)(val_t p0
);
145 typedef void (*CLOS_abstract_collection___Collection___iterate_0
)(struct stack_frame_t
*, val_t
);
146 static const char * const LOCATE_abstract_collection___Collection___iterate
= "abstract_collection::Collection::iterate";
147 void abstract_collection___Collection___iterate(val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
148 typedef void (*abstract_collection___Collection___iterate_t
)(val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
149 static const char * const LOCATE_abstract_collection___Collection___is_empty
= "abstract_collection::Collection::is_empty";
150 val_t
abstract_collection___Collection___is_empty(val_t p0
);
151 typedef val_t (*abstract_collection___Collection___is_empty_t
)(val_t p0
);
152 static const char * const LOCATE_abstract_collection___Collection___length
= "abstract_collection::Collection::length";
153 val_t
abstract_collection___Collection___length(val_t p0
);
154 typedef val_t (*abstract_collection___Collection___length_t
)(val_t p0
);
155 static const char * const LOCATE_abstract_collection___Collection___has
= "abstract_collection::Collection::has";
156 val_t
abstract_collection___Collection___has(val_t p0
, val_t p1
);
157 typedef val_t (*abstract_collection___Collection___has_t
)(val_t p0
, val_t p1
);
158 static const char * const LOCATE_abstract_collection___Collection___has_only
= "abstract_collection::Collection::has_only";
159 val_t
abstract_collection___Collection___has_only(val_t p0
, val_t p1
);
160 typedef val_t (*abstract_collection___Collection___has_only_t
)(val_t p0
, val_t p1
);
161 static const char * const LOCATE_abstract_collection___Collection___count
= "abstract_collection::Collection::count";
162 val_t
abstract_collection___Collection___count(val_t p0
, val_t p1
);
163 typedef val_t (*abstract_collection___Collection___count_t
)(val_t p0
, val_t p1
);
164 static const char * const LOCATE_abstract_collection___Collection___first
= "abstract_collection::Collection::first";
165 val_t
abstract_collection___Collection___first(val_t p0
);
166 typedef val_t (*abstract_collection___Collection___first_t
)(val_t p0
);
167 static const char * const LOCATE_abstract_collection___NaiveCollection___is_empty
= "abstract_collection::NaiveCollection::(abstract_collection::Collection::is_empty)";
168 val_t
abstract_collection___NaiveCollection___is_empty(val_t p0
);
169 typedef val_t (*abstract_collection___NaiveCollection___is_empty_t
)(val_t p0
);
170 static const char * const LOCATE_abstract_collection___NaiveCollection___length
= "abstract_collection::NaiveCollection::(abstract_collection::Collection::length)";
171 val_t
abstract_collection___NaiveCollection___length(val_t p0
);
172 typedef val_t (*abstract_collection___NaiveCollection___length_t
)(val_t p0
);
173 typedef void (*CLOS_OC_abstract_collection___NaiveCollection___length_1_0
)(struct stack_frame_t
*);
174 void OC_abstract_collection___NaiveCollection___length_1(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
175 typedef void (*OC_abstract_collection___NaiveCollection___length_1_t
)(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
176 static const char * const LOCATE_abstract_collection___NaiveCollection___has
= "abstract_collection::NaiveCollection::(abstract_collection::Collection::has)";
177 val_t
abstract_collection___NaiveCollection___has(val_t p0
, val_t p1
);
178 typedef val_t (*abstract_collection___NaiveCollection___has_t
)(val_t p0
, val_t p1
);
179 typedef void (*CLOS_OC_abstract_collection___NaiveCollection___has_1_0
)(struct stack_frame_t
*);
180 void OC_abstract_collection___NaiveCollection___has_1(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
181 typedef void (*OC_abstract_collection___NaiveCollection___has_1_t
)(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
182 static const char * const LOCATE_abstract_collection___NaiveCollection___has_only
= "abstract_collection::NaiveCollection::(abstract_collection::Collection::has_only)";
183 val_t
abstract_collection___NaiveCollection___has_only(val_t p0
, val_t p1
);
184 typedef val_t (*abstract_collection___NaiveCollection___has_only_t
)(val_t p0
, val_t p1
);
185 typedef void (*CLOS_OC_abstract_collection___NaiveCollection___has_only_1_0
)(struct stack_frame_t
*);
186 void OC_abstract_collection___NaiveCollection___has_only_1(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
187 typedef void (*OC_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
);
188 static const char * const LOCATE_abstract_collection___NaiveCollection___count
= "abstract_collection::NaiveCollection::(abstract_collection::Collection::count)";
189 val_t
abstract_collection___NaiveCollection___count(val_t p0
, val_t p1
);
190 typedef val_t (*abstract_collection___NaiveCollection___count_t
)(val_t p0
, val_t p1
);
191 typedef void (*CLOS_OC_abstract_collection___NaiveCollection___count_1_0
)(struct stack_frame_t
*);
192 void OC_abstract_collection___NaiveCollection___count_1(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
193 typedef void (*OC_abstract_collection___NaiveCollection___count_1_t
)(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
194 static const char * const LOCATE_abstract_collection___NaiveCollection___first
= "abstract_collection::NaiveCollection::(abstract_collection::Collection::first)";
195 val_t
abstract_collection___NaiveCollection___first(val_t p0
);
196 typedef val_t (*abstract_collection___NaiveCollection___first_t
)(val_t p0
);
197 static const char * const LOCATE_abstract_collection___Iterator___item
= "abstract_collection::Iterator::item";
198 val_t
abstract_collection___Iterator___item(val_t p0
);
199 typedef val_t (*abstract_collection___Iterator___item_t
)(val_t p0
);
200 static const char * const LOCATE_abstract_collection___Iterator___next
= "abstract_collection::Iterator::next";
201 void abstract_collection___Iterator___next(val_t p0
);
202 typedef void (*abstract_collection___Iterator___next_t
)(val_t p0
);
203 static const char * const LOCATE_abstract_collection___Iterator___is_ok
= "abstract_collection::Iterator::is_ok";
204 val_t
abstract_collection___Iterator___is_ok(val_t p0
);
205 typedef val_t (*abstract_collection___Iterator___is_ok_t
)(val_t p0
);
206 static const char * const LOCATE_abstract_collection___Container___first
= "abstract_collection::Container::(abstract_collection::Collection::first)";
207 val_t
abstract_collection___Container___first(val_t p0
);
208 typedef val_t (*abstract_collection___Container___first_t
)(val_t p0
);
209 static const char * const LOCATE_abstract_collection___Container___is_empty
= "abstract_collection::Container::(abstract_collection::Collection::is_empty)";
210 val_t
abstract_collection___Container___is_empty(val_t p0
);
211 typedef val_t (*abstract_collection___Container___is_empty_t
)(val_t p0
);
212 static const char * const LOCATE_abstract_collection___Container___length
= "abstract_collection::Container::(abstract_collection::Collection::length)";
213 val_t
abstract_collection___Container___length(val_t p0
);
214 typedef val_t (*abstract_collection___Container___length_t
)(val_t p0
);
215 static const char * const LOCATE_abstract_collection___Container___has
= "abstract_collection::Container::(abstract_collection::Collection::has)";
216 val_t
abstract_collection___Container___has(val_t p0
, val_t p1
);
217 typedef val_t (*abstract_collection___Container___has_t
)(val_t p0
, val_t p1
);
218 static const char * const LOCATE_abstract_collection___Container___has_only
= "abstract_collection::Container::(abstract_collection::Collection::has_only)";
219 val_t
abstract_collection___Container___has_only(val_t p0
, val_t p1
);
220 typedef val_t (*abstract_collection___Container___has_only_t
)(val_t p0
, val_t p1
);
221 static const char * const LOCATE_abstract_collection___Container___count
= "abstract_collection::Container::(abstract_collection::Collection::count)";
222 val_t
abstract_collection___Container___count(val_t p0
, val_t p1
);
223 typedef val_t (*abstract_collection___Container___count_t
)(val_t p0
, val_t p1
);
224 static const char * const LOCATE_abstract_collection___Container___iterator
= "abstract_collection::Container::(abstract_collection::Collection::iterator)";
225 val_t
abstract_collection___Container___iterator(val_t p0
);
226 typedef val_t (*abstract_collection___Container___iterator_t
)(val_t p0
);
227 static const char * const LOCATE_abstract_collection___Container___init
= "abstract_collection::Container::init";
228 void abstract_collection___Container___init(val_t p0
, val_t p1
, int* init_table
);
229 typedef void (*abstract_collection___Container___init_t
)(val_t p0
, val_t p1
, int* init_table
);
230 val_t
NEW_Container_abstract_collection___Container___init(val_t p0
);
231 static const char * const LOCATE_abstract_collection___Container___item
= "abstract_collection::Container::item";
232 val_t
abstract_collection___Container___item(val_t p0
);
233 typedef val_t (*abstract_collection___Container___item_t
)(val_t p0
);
234 static const char * const LOCATE_abstract_collection___Container___item__eq
= "abstract_collection::Container::item=";
235 void abstract_collection___Container___item__eq(val_t p0
, val_t p1
);
236 typedef void (*abstract_collection___Container___item__eq_t
)(val_t p0
, val_t p1
);
237 static const char * const LOCATE_abstract_collection___ContainerIterator___item
= "abstract_collection::ContainerIterator::(abstract_collection::Iterator::item)";
238 val_t
abstract_collection___ContainerIterator___item(val_t p0
);
239 typedef val_t (*abstract_collection___ContainerIterator___item_t
)(val_t p0
);
240 static const char * const LOCATE_abstract_collection___ContainerIterator___next
= "abstract_collection::ContainerIterator::(abstract_collection::Iterator::next)";
241 void abstract_collection___ContainerIterator___next(val_t p0
);
242 typedef void (*abstract_collection___ContainerIterator___next_t
)(val_t p0
);
243 static const char * const LOCATE_abstract_collection___ContainerIterator___init
= "abstract_collection::ContainerIterator::init";
244 void abstract_collection___ContainerIterator___init(val_t p0
, val_t p1
, int* init_table
);
245 typedef void (*abstract_collection___ContainerIterator___init_t
)(val_t p0
, val_t p1
, int* init_table
);
246 val_t
NEW_ContainerIterator_abstract_collection___ContainerIterator___init(val_t p0
);
247 static const char * const LOCATE_abstract_collection___ContainerIterator___is_ok
= "abstract_collection::ContainerIterator::(abstract_collection::Iterator::is_ok)";
248 val_t
abstract_collection___ContainerIterator___is_ok(val_t p0
);
249 typedef val_t (*abstract_collection___ContainerIterator___is_ok_t
)(val_t p0
);
250 static const char * const LOCATE_abstract_collection___RemovableCollection___clear
= "abstract_collection::RemovableCollection::clear";
251 void abstract_collection___RemovableCollection___clear(val_t p0
);
252 typedef void (*abstract_collection___RemovableCollection___clear_t
)(val_t p0
);
253 static const char * const LOCATE_abstract_collection___RemovableCollection___remove
= "abstract_collection::RemovableCollection::remove";
254 void abstract_collection___RemovableCollection___remove(val_t p0
, val_t p1
);
255 typedef void (*abstract_collection___RemovableCollection___remove_t
)(val_t p0
, val_t p1
);
256 static const char * const LOCATE_abstract_collection___RemovableCollection___remove_all
= "abstract_collection::RemovableCollection::remove_all";
257 void abstract_collection___RemovableCollection___remove_all(val_t p0
, val_t p1
);
258 typedef void (*abstract_collection___RemovableCollection___remove_all_t
)(val_t p0
, val_t p1
);
259 static const char * const LOCATE_abstract_collection___SimpleCollection___add
= "abstract_collection::SimpleCollection::add";
260 void abstract_collection___SimpleCollection___add(val_t p0
, val_t p1
);
261 typedef void (*abstract_collection___SimpleCollection___add_t
)(val_t p0
, val_t p1
);
262 static const char * const LOCATE_abstract_collection___SimpleCollection___add_all
= "abstract_collection::SimpleCollection::add_all";
263 void abstract_collection___SimpleCollection___add_all(val_t p0
, val_t p1
);
264 typedef void (*abstract_collection___SimpleCollection___add_all_t
)(val_t p0
, val_t p1
);
265 typedef void (*CLOS_OC_abstract_collection___SimpleCollection___add_all_1_0
)(struct stack_frame_t
*);
266 void OC_abstract_collection___SimpleCollection___add_all_1(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
267 typedef void (*OC_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
);
268 static const char * const LOCATE_abstract_collection___Set___has_only
= "abstract_collection::Set::(abstract_collection::Collection::has_only)";
269 val_t
abstract_collection___Set___has_only(val_t p0
, val_t p1
);
270 typedef val_t (*abstract_collection___Set___has_only_t
)(val_t p0
, val_t p1
);
271 static const char * const LOCATE_abstract_collection___Set___count
= "abstract_collection::Set::(abstract_collection::Collection::count)";
272 val_t
abstract_collection___Set___count(val_t p0
, val_t p1
);
273 typedef val_t (*abstract_collection___Set___count_t
)(val_t p0
, val_t p1
);
274 static const char * const LOCATE_abstract_collection___Set___remove_all
= "abstract_collection::Set::(abstract_collection::RemovableCollection::remove_all)";
275 void abstract_collection___Set___remove_all(val_t p0
, val_t p1
);
276 typedef void (*abstract_collection___Set___remove_all_t
)(val_t p0
, val_t p1
);
277 static const char * const LOCATE_abstract_collection___MapRead_____bra
= "abstract_collection::MapRead::[]";
278 val_t
abstract_collection___MapRead_____bra(val_t p0
, val_t p1
);
279 typedef val_t (*abstract_collection___MapRead_____bra_t
)(val_t p0
, val_t p1
);
280 static const char * const LOCATE_abstract_collection___MapRead___has_key
= "abstract_collection::MapRead::has_key";
281 val_t
abstract_collection___MapRead___has_key(val_t p0
, val_t p1
);
282 typedef val_t (*abstract_collection___MapRead___has_key_t
)(val_t p0
, val_t p1
);
283 static const char * const LOCATE_abstract_collection___MapRead___iterator
= "abstract_collection::MapRead::(abstract_collection::Collection::iterator)";
284 val_t
abstract_collection___MapRead___iterator(val_t p0
);
285 typedef val_t (*abstract_collection___MapRead___iterator_t
)(val_t p0
);
286 static const char * const LOCATE_abstract_collection___Map_____braeq
= "abstract_collection::Map::[]=";
287 void abstract_collection___Map_____braeq(val_t p0
, val_t p1
, val_t p2
);
288 typedef void (*abstract_collection___Map_____braeq_t
)(val_t p0
, val_t p1
, val_t p2
);
289 static const char * const LOCATE_abstract_collection___Map___remove_at
= "abstract_collection::Map::remove_at";
290 void abstract_collection___Map___remove_at(val_t p0
, val_t p1
);
291 typedef void (*abstract_collection___Map___remove_at_t
)(val_t p0
, val_t p1
);
292 static const char * const LOCATE_abstract_collection___Map___recover_with
= "abstract_collection::Map::recover_with";
293 void abstract_collection___Map___recover_with(val_t p0
, val_t p1
);
294 typedef void (*abstract_collection___Map___recover_with_t
)(val_t p0
, val_t p1
);
295 static const char * const LOCATE_abstract_collection___MapIterator___key
= "abstract_collection::MapIterator::key";
296 val_t
abstract_collection___MapIterator___key(val_t p0
);
297 typedef val_t (*abstract_collection___MapIterator___key_t
)(val_t p0
);
298 static const char * const LOCATE_abstract_collection___SequenceRead___first
= "abstract_collection::SequenceRead::(abstract_collection::Collection::first)";
299 val_t
abstract_collection___SequenceRead___first(val_t p0
);
300 typedef val_t (*abstract_collection___SequenceRead___first_t
)(val_t p0
);
301 static const char * const LOCATE_abstract_collection___SequenceRead___last
= "abstract_collection::SequenceRead::last";
302 val_t
abstract_collection___SequenceRead___last(val_t p0
);
303 typedef val_t (*abstract_collection___SequenceRead___last_t
)(val_t p0
);
304 static const char * const LOCATE_abstract_collection___SequenceRead___index_of
= "abstract_collection::SequenceRead::index_of";
305 val_t
abstract_collection___SequenceRead___index_of(val_t p0
, val_t p1
);
306 typedef val_t (*abstract_collection___SequenceRead___index_of_t
)(val_t p0
, val_t p1
);
307 static const char * const LOCATE_abstract_collection___SequenceRead___iterator
= "abstract_collection::SequenceRead::(abstract_collection::Collection::iterator)";
308 val_t
abstract_collection___SequenceRead___iterator(val_t p0
);
309 typedef val_t (*abstract_collection___SequenceRead___iterator_t
)(val_t p0
);
310 static const char * const LOCATE_abstract_collection___Sequence___first__eq
= "abstract_collection::Sequence::first=";
311 void abstract_collection___Sequence___first__eq(val_t p0
, val_t p1
);
312 typedef void (*abstract_collection___Sequence___first__eq_t
)(val_t p0
, val_t p1
);
313 static const char * const LOCATE_abstract_collection___Sequence___last__eq
= "abstract_collection::Sequence::last=";
314 void abstract_collection___Sequence___last__eq(val_t p0
, val_t p1
);
315 typedef void (*abstract_collection___Sequence___last__eq_t
)(val_t p0
, val_t p1
);
316 static const char * const LOCATE_abstract_collection___Sequence___add
= "abstract_collection::Sequence::(abstract_collection::SimpleCollection::add)";
317 void abstract_collection___Sequence___add(val_t p0
, val_t p1
);
318 typedef void (*abstract_collection___Sequence___add_t
)(val_t p0
, val_t p1
);
319 static const char * const LOCATE_abstract_collection___Sequence___push
= "abstract_collection::Sequence::push";
320 void abstract_collection___Sequence___push(val_t p0
, val_t p1
);
321 typedef void (*abstract_collection___Sequence___push_t
)(val_t p0
, val_t p1
);
322 static const char * const LOCATE_abstract_collection___Sequence___append
= "abstract_collection::Sequence::append";
323 void abstract_collection___Sequence___append(val_t p0
, val_t p1
);
324 typedef void (*abstract_collection___Sequence___append_t
)(val_t p0
, val_t p1
);
325 typedef void (*CLOS_OC_abstract_collection___Sequence___append_1_0
)(struct stack_frame_t
*);
326 void OC_abstract_collection___Sequence___append_1(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
327 typedef void (*OC_abstract_collection___Sequence___append_1_t
)(struct stack_frame_t
*closctx
, val_t p0
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
);
328 static const char * const LOCATE_abstract_collection___Sequence___pop
= "abstract_collection::Sequence::pop";
329 val_t
abstract_collection___Sequence___pop(val_t p0
);
330 typedef val_t (*abstract_collection___Sequence___pop_t
)(val_t p0
);
331 static const char * const LOCATE_abstract_collection___Sequence___unshift
= "abstract_collection::Sequence::unshift";
332 void abstract_collection___Sequence___unshift(val_t p0
, val_t p1
);
333 typedef void (*abstract_collection___Sequence___unshift_t
)(val_t p0
, val_t p1
);
334 static const char * const LOCATE_abstract_collection___Sequence___shift
= "abstract_collection::Sequence::shift";
335 val_t
abstract_collection___Sequence___shift(val_t p0
);
336 typedef val_t (*abstract_collection___Sequence___shift_t
)(val_t p0
);
337 static const char * const LOCATE_abstract_collection___IndexedIterator___index
= "abstract_collection::IndexedIterator::index";
338 val_t
abstract_collection___IndexedIterator___index(val_t p0
);
339 typedef val_t (*abstract_collection___IndexedIterator___index_t
)(val_t p0
);
340 static const char * const LOCATE_abstract_collection___IndexedIterator___key
= "abstract_collection::IndexedIterator::(abstract_collection::MapIterator::key)";
341 val_t
abstract_collection___IndexedIterator___key(val_t p0
);
342 typedef val_t (*abstract_collection___IndexedIterator___key_t
)(val_t p0
);
343 static const char * const LOCATE_abstract_collection___CoupleMap___couple_at
= "abstract_collection::CoupleMap::couple_at";
344 val_t
abstract_collection___CoupleMap___couple_at(val_t p0
, val_t p1
);
345 typedef val_t (*abstract_collection___CoupleMap___couple_at_t
)(val_t p0
, val_t p1
);
346 static const char * const LOCATE_abstract_collection___CoupleMap_____bra
= "abstract_collection::CoupleMap::(abstract_collection::MapRead::[])";
347 val_t
abstract_collection___CoupleMap_____bra(val_t p0
, val_t p1
);
348 typedef val_t (*abstract_collection___CoupleMap_____bra_t
)(val_t p0
, val_t p1
);
349 static const char * const LOCATE_abstract_collection___CoupleMap___has_key
= "abstract_collection::CoupleMap::(abstract_collection::MapRead::has_key)";
350 val_t
abstract_collection___CoupleMap___has_key(val_t p0
, val_t p1
);
351 typedef val_t (*abstract_collection___CoupleMap___has_key_t
)(val_t p0
, val_t p1
);
352 static const char * const LOCATE_abstract_collection___CoupleMapIterator___item
= "abstract_collection::CoupleMapIterator::(abstract_collection::Iterator::item)";
353 val_t
abstract_collection___CoupleMapIterator___item(val_t p0
);
354 typedef val_t (*abstract_collection___CoupleMapIterator___item_t
)(val_t p0
);
355 static const char * const LOCATE_abstract_collection___CoupleMapIterator___key
= "abstract_collection::CoupleMapIterator::(abstract_collection::MapIterator::key)";
356 val_t
abstract_collection___CoupleMapIterator___key(val_t p0
);
357 typedef val_t (*abstract_collection___CoupleMapIterator___key_t
)(val_t p0
);
358 static const char * const LOCATE_abstract_collection___CoupleMapIterator___is_ok
= "abstract_collection::CoupleMapIterator::(abstract_collection::Iterator::is_ok)";
359 val_t
abstract_collection___CoupleMapIterator___is_ok(val_t p0
);
360 typedef val_t (*abstract_collection___CoupleMapIterator___is_ok_t
)(val_t p0
);
361 static const char * const LOCATE_abstract_collection___CoupleMapIterator___next
= "abstract_collection::CoupleMapIterator::(abstract_collection::Iterator::next)";
362 void abstract_collection___CoupleMapIterator___next(val_t p0
);
363 typedef void (*abstract_collection___CoupleMapIterator___next_t
)(val_t p0
);
364 static const char * const LOCATE_abstract_collection___CoupleMapIterator___init
= "abstract_collection::CoupleMapIterator::init";
365 void abstract_collection___CoupleMapIterator___init(val_t p0
, val_t p1
, int* init_table
);
366 typedef void (*abstract_collection___CoupleMapIterator___init_t
)(val_t p0
, val_t p1
, int* init_table
);
367 val_t
NEW_CoupleMapIterator_abstract_collection___CoupleMapIterator___init(val_t p0
);
368 static const char * const LOCATE_abstract_collection___Couple___first
= "abstract_collection::Couple::first";
369 val_t
abstract_collection___Couple___first(val_t p0
);
370 typedef val_t (*abstract_collection___Couple___first_t
)(val_t p0
);
371 static const char * const LOCATE_abstract_collection___Couple___first__eq
= "abstract_collection::Couple::first=";
372 void abstract_collection___Couple___first__eq(val_t p0
, val_t p1
);
373 typedef void (*abstract_collection___Couple___first__eq_t
)(val_t p0
, val_t p1
);
374 static const char * const LOCATE_abstract_collection___Couple___second
= "abstract_collection::Couple::second";
375 val_t
abstract_collection___Couple___second(val_t p0
);
376 typedef val_t (*abstract_collection___Couple___second_t
)(val_t p0
);
377 static const char * const LOCATE_abstract_collection___Couple___second__eq
= "abstract_collection::Couple::second=";
378 void abstract_collection___Couple___second__eq(val_t p0
, val_t p1
);
379 typedef void (*abstract_collection___Couple___second__eq_t
)(val_t p0
, val_t p1
);
380 static const char * const LOCATE_abstract_collection___Couple___init
= "abstract_collection::Couple::init";
381 void abstract_collection___Couple___init(val_t p0
, val_t p1
, val_t p2
, int* init_table
);
382 typedef void (*abstract_collection___Couple___init_t
)(val_t p0
, val_t p1
, val_t p2
, int* init_table
);
383 val_t
NEW_Couple_abstract_collection___Couple___init(val_t p0
, val_t p1
);