misc: update Changelog and NOTICE; remove BUGS and TODO
[nit.git] / c_src / abstract_collection._sep.h
index dd00e95..13f096c 100644 (file)
@@ -20,10 +20,14 @@ extern const classtable_elt_t VFT_SimpleCollection[];
 
 extern const classtable_elt_t VFT_Set[];
 
+extern const classtable_elt_t VFT_MapRead[];
+
 extern const classtable_elt_t VFT_Map[];
 
 extern const classtable_elt_t VFT_MapIterator[];
 
+extern const classtable_elt_t VFT_IndexedCollectionRead[];
+
 extern const classtable_elt_t VFT_IndexedCollection[];
 
 extern const classtable_elt_t VFT_IndexedIterator[];
@@ -35,100 +39,105 @@ extern const classtable_elt_t VFT_CoupleMapIterator[];
 extern const classtable_elt_t VFT_Couple[];
 extern const char *LOCATE_abstract_collection;
 extern const int SFT_abstract_collection[];
-#define ID_Collection SFT_abstract_collection[0]
-#define COLOR_Collection SFT_abstract_collection[1]
-#define INIT_TABLE_POS_Collection SFT_abstract_collection[2]
-#define COLOR_abstract_collection___Collection___iterator SFT_abstract_collection[3]
-#define COLOR_abstract_collection___Collection___is_empty SFT_abstract_collection[4]
-#define COLOR_abstract_collection___Collection___length SFT_abstract_collection[5]
-#define COLOR_abstract_collection___Collection___has SFT_abstract_collection[6]
-#define COLOR_abstract_collection___Collection___has_only SFT_abstract_collection[7]
-#define COLOR_abstract_collection___Collection___count SFT_abstract_collection[8]
-#define COLOR_abstract_collection___Collection___first SFT_abstract_collection[9]
-#define ID_NaiveCollection SFT_abstract_collection[10]
-#define COLOR_NaiveCollection SFT_abstract_collection[11]
-#define INIT_TABLE_POS_NaiveCollection SFT_abstract_collection[12]
-#define ID_Iterator SFT_abstract_collection[13]
-#define COLOR_Iterator SFT_abstract_collection[14]
-#define INIT_TABLE_POS_Iterator SFT_abstract_collection[15]
-#define COLOR_abstract_collection___Iterator___item SFT_abstract_collection[16]
-#define COLOR_abstract_collection___Iterator___next SFT_abstract_collection[17]
-#define COLOR_abstract_collection___Iterator___is_ok SFT_abstract_collection[18]
-#define ID_Container SFT_abstract_collection[19]
-#define COLOR_Container SFT_abstract_collection[20]
-#define COLOR_abstract_collection___Container____item SFT_abstract_collection[21]
-#define INIT_TABLE_POS_Container SFT_abstract_collection[22]
-#define COLOR_abstract_collection___Container___init SFT_abstract_collection[23]
-#define COLOR_abstract_collection___Container___item SFT_abstract_collection[24]
-#define COLOR_abstract_collection___Container___item__eq SFT_abstract_collection[25]
-#define ID_ContainerIterator SFT_abstract_collection[26]
-#define COLOR_ContainerIterator SFT_abstract_collection[27]
-#define COLOR_abstract_collection___ContainerIterator____is_ok SFT_abstract_collection[28]
-#define COLOR_abstract_collection___ContainerIterator____container SFT_abstract_collection[29]
-#define INIT_TABLE_POS_ContainerIterator SFT_abstract_collection[30]
-#define COLOR_abstract_collection___ContainerIterator___init SFT_abstract_collection[31]
-#define ID_RemovableCollection SFT_abstract_collection[32]
-#define COLOR_RemovableCollection SFT_abstract_collection[33]
-#define INIT_TABLE_POS_RemovableCollection SFT_abstract_collection[34]
-#define COLOR_abstract_collection___RemovableCollection___clear SFT_abstract_collection[35]
-#define COLOR_abstract_collection___RemovableCollection___remove SFT_abstract_collection[36]
-#define COLOR_abstract_collection___RemovableCollection___remove_all SFT_abstract_collection[37]
-#define ID_SimpleCollection SFT_abstract_collection[38]
-#define COLOR_SimpleCollection SFT_abstract_collection[39]
-#define INIT_TABLE_POS_SimpleCollection SFT_abstract_collection[40]
-#define COLOR_abstract_collection___SimpleCollection___add SFT_abstract_collection[41]
-#define COLOR_abstract_collection___SimpleCollection___add_all SFT_abstract_collection[42]
-#define ID_Set SFT_abstract_collection[43]
-#define COLOR_Set SFT_abstract_collection[44]
-#define INIT_TABLE_POS_Set SFT_abstract_collection[45]
-#define ID_Map SFT_abstract_collection[46]
-#define COLOR_Map SFT_abstract_collection[47]
-#define INIT_TABLE_POS_Map SFT_abstract_collection[48]
-#define COLOR_abstract_collection___Map_____bra SFT_abstract_collection[49]
-#define COLOR_abstract_collection___Map_____braeq SFT_abstract_collection[50]
-#define COLOR_abstract_collection___Map___has_key SFT_abstract_collection[51]
-#define COLOR_abstract_collection___Map___remove_at SFT_abstract_collection[52]
-#define COLOR_abstract_collection___Map___recover_with SFT_abstract_collection[53]
-#define ID_MapIterator SFT_abstract_collection[54]
-#define COLOR_MapIterator SFT_abstract_collection[55]
-#define INIT_TABLE_POS_MapIterator SFT_abstract_collection[56]
-#define COLOR_abstract_collection___MapIterator___key SFT_abstract_collection[57]
-#define COLOR_abstract_collection___MapIterator___item__eq SFT_abstract_collection[58]
-#define ID_IndexedCollection SFT_abstract_collection[59]
-#define COLOR_IndexedCollection SFT_abstract_collection[60]
-#define INIT_TABLE_POS_IndexedCollection SFT_abstract_collection[61]
-#define COLOR_abstract_collection___IndexedCollection___first__eq SFT_abstract_collection[62]
-#define COLOR_abstract_collection___IndexedCollection___last SFT_abstract_collection[63]
-#define COLOR_abstract_collection___IndexedCollection___last__eq SFT_abstract_collection[64]
-#define COLOR_abstract_collection___IndexedCollection___push SFT_abstract_collection[65]
-#define COLOR_abstract_collection___IndexedCollection___append SFT_abstract_collection[66]
-#define COLOR_abstract_collection___IndexedCollection___pop SFT_abstract_collection[67]
-#define COLOR_abstract_collection___IndexedCollection___unshift SFT_abstract_collection[68]
-#define COLOR_abstract_collection___IndexedCollection___shift SFT_abstract_collection[69]
-#define COLOR_abstract_collection___IndexedCollection___index_of SFT_abstract_collection[70]
-#define ID_IndexedIterator SFT_abstract_collection[71]
-#define COLOR_IndexedIterator SFT_abstract_collection[72]
-#define INIT_TABLE_POS_IndexedIterator SFT_abstract_collection[73]
-#define COLOR_abstract_collection___IndexedIterator___index SFT_abstract_collection[74]
-#define ID_CoupleMap SFT_abstract_collection[75]
-#define COLOR_CoupleMap SFT_abstract_collection[76]
-#define INIT_TABLE_POS_CoupleMap SFT_abstract_collection[77]
-#define COLOR_abstract_collection___CoupleMap___couple_at SFT_abstract_collection[78]
-#define ID_CoupleMapIterator SFT_abstract_collection[79]
-#define COLOR_CoupleMapIterator SFT_abstract_collection[80]
-#define COLOR_abstract_collection___CoupleMapIterator____iter SFT_abstract_collection[81]
-#define INIT_TABLE_POS_CoupleMapIterator SFT_abstract_collection[82]
-#define COLOR_abstract_collection___CoupleMapIterator___init SFT_abstract_collection[83]
-#define ID_Couple SFT_abstract_collection[84]
-#define COLOR_Couple SFT_abstract_collection[85]
-#define COLOR_abstract_collection___Couple____first SFT_abstract_collection[86]
-#define COLOR_abstract_collection___Couple____second SFT_abstract_collection[87]
-#define INIT_TABLE_POS_Couple SFT_abstract_collection[88]
-#define COLOR_abstract_collection___Couple___first SFT_abstract_collection[89]
-#define COLOR_abstract_collection___Couple___first__eq SFT_abstract_collection[90]
-#define COLOR_abstract_collection___Couple___second SFT_abstract_collection[91]
-#define COLOR_abstract_collection___Couple___second__eq SFT_abstract_collection[92]
-#define COLOR_abstract_collection___Couple___init SFT_abstract_collection[93]
+#define ID_Collection (SFT_abstract_collection[0])
+#define COLOR_Collection (SFT_abstract_collection[1])
+#define INIT_TABLE_POS_Collection (SFT_abstract_collection[2] + 0)
+#define CALL_abstract_collection___Collection___iterator(recv) ((abstract_collection___Collection___iterator_t)CALL((recv), (SFT_abstract_collection[2] + 1)))
+#define CALL_abstract_collection___Collection___is_empty(recv) ((abstract_collection___Collection___is_empty_t)CALL((recv), (SFT_abstract_collection[2] + 2)))
+#define CALL_abstract_collection___Collection___length(recv) ((abstract_collection___Collection___length_t)CALL((recv), (SFT_abstract_collection[2] + 3)))
+#define CALL_abstract_collection___Collection___has(recv) ((abstract_collection___Collection___has_t)CALL((recv), (SFT_abstract_collection[2] + 4)))
+#define CALL_abstract_collection___Collection___has_only(recv) ((abstract_collection___Collection___has_only_t)CALL((recv), (SFT_abstract_collection[2] + 5)))
+#define CALL_abstract_collection___Collection___count(recv) ((abstract_collection___Collection___count_t)CALL((recv), (SFT_abstract_collection[2] + 6)))
+#define CALL_abstract_collection___Collection___first(recv) ((abstract_collection___Collection___first_t)CALL((recv), (SFT_abstract_collection[2] + 7)))
+#define ID_NaiveCollection (SFT_abstract_collection[3])
+#define COLOR_NaiveCollection (SFT_abstract_collection[4])
+#define INIT_TABLE_POS_NaiveCollection (SFT_abstract_collection[5] + 0)
+#define ID_Iterator (SFT_abstract_collection[6])
+#define COLOR_Iterator (SFT_abstract_collection[7])
+#define INIT_TABLE_POS_Iterator (SFT_abstract_collection[8] + 0)
+#define CALL_abstract_collection___Iterator___item(recv) ((abstract_collection___Iterator___item_t)CALL((recv), (SFT_abstract_collection[8] + 1)))
+#define CALL_abstract_collection___Iterator___next(recv) ((abstract_collection___Iterator___next_t)CALL((recv), (SFT_abstract_collection[8] + 2)))
+#define CALL_abstract_collection___Iterator___is_ok(recv) ((abstract_collection___Iterator___is_ok_t)CALL((recv), (SFT_abstract_collection[8] + 3)))
+#define ID_Container (SFT_abstract_collection[9])
+#define COLOR_Container (SFT_abstract_collection[10])
+#define ATTR_abstract_collection___Container____item(recv) ATTR(recv, (SFT_abstract_collection[11] + 0))
+#define INIT_TABLE_POS_Container (SFT_abstract_collection[12] + 0)
+#define CALL_abstract_collection___Container___init(recv) ((abstract_collection___Container___init_t)CALL((recv), (SFT_abstract_collection[12] + 1)))
+#define CALL_abstract_collection___Container___item(recv) ((abstract_collection___Container___item_t)CALL((recv), (SFT_abstract_collection[12] + 2)))
+#define CALL_abstract_collection___Container___item__eq(recv) ((abstract_collection___Container___item__eq_t)CALL((recv), (SFT_abstract_collection[12] + 3)))
+#define ID_ContainerIterator (SFT_abstract_collection[13])
+#define COLOR_ContainerIterator (SFT_abstract_collection[14])
+#define ATTR_abstract_collection___ContainerIterator____is_ok(recv) ATTR(recv, (SFT_abstract_collection[15] + 0))
+#define ATTR_abstract_collection___ContainerIterator____container(recv) ATTR(recv, (SFT_abstract_collection[15] + 1))
+#define INIT_TABLE_POS_ContainerIterator (SFT_abstract_collection[16] + 0)
+#define CALL_abstract_collection___ContainerIterator___init(recv) ((abstract_collection___ContainerIterator___init_t)CALL((recv), (SFT_abstract_collection[16] + 1)))
+#define ID_RemovableCollection (SFT_abstract_collection[17])
+#define COLOR_RemovableCollection (SFT_abstract_collection[18])
+#define INIT_TABLE_POS_RemovableCollection (SFT_abstract_collection[19] + 0)
+#define CALL_abstract_collection___RemovableCollection___clear(recv) ((abstract_collection___RemovableCollection___clear_t)CALL((recv), (SFT_abstract_collection[19] + 1)))
+#define CALL_abstract_collection___RemovableCollection___remove(recv) ((abstract_collection___RemovableCollection___remove_t)CALL((recv), (SFT_abstract_collection[19] + 2)))
+#define CALL_abstract_collection___RemovableCollection___remove_all(recv) ((abstract_collection___RemovableCollection___remove_all_t)CALL((recv), (SFT_abstract_collection[19] + 3)))
+#define ID_SimpleCollection (SFT_abstract_collection[20])
+#define COLOR_SimpleCollection (SFT_abstract_collection[21])
+#define INIT_TABLE_POS_SimpleCollection (SFT_abstract_collection[22] + 0)
+#define CALL_abstract_collection___SimpleCollection___add(recv) ((abstract_collection___SimpleCollection___add_t)CALL((recv), (SFT_abstract_collection[22] + 1)))
+#define CALL_abstract_collection___SimpleCollection___add_all(recv) ((abstract_collection___SimpleCollection___add_all_t)CALL((recv), (SFT_abstract_collection[22] + 2)))
+#define ID_Set (SFT_abstract_collection[23])
+#define COLOR_Set (SFT_abstract_collection[24])
+#define INIT_TABLE_POS_Set (SFT_abstract_collection[25] + 0)
+#define ID_MapRead (SFT_abstract_collection[26])
+#define COLOR_MapRead (SFT_abstract_collection[27])
+#define INIT_TABLE_POS_MapRead (SFT_abstract_collection[28] + 0)
+#define CALL_abstract_collection___MapRead_____bra(recv) ((abstract_collection___MapRead_____bra_t)CALL((recv), (SFT_abstract_collection[28] + 1)))
+#define CALL_abstract_collection___MapRead___has_key(recv) ((abstract_collection___MapRead___has_key_t)CALL((recv), (SFT_abstract_collection[28] + 2)))
+#define ID_Map (SFT_abstract_collection[29])
+#define COLOR_Map (SFT_abstract_collection[30])
+#define INIT_TABLE_POS_Map (SFT_abstract_collection[31] + 0)
+#define CALL_abstract_collection___Map_____braeq(recv) ((abstract_collection___Map_____braeq_t)CALL((recv), (SFT_abstract_collection[31] + 1)))
+#define CALL_abstract_collection___Map___remove_at(recv) ((abstract_collection___Map___remove_at_t)CALL((recv), (SFT_abstract_collection[31] + 2)))
+#define CALL_abstract_collection___Map___recover_with(recv) ((abstract_collection___Map___recover_with_t)CALL((recv), (SFT_abstract_collection[31] + 3)))
+#define ID_MapIterator (SFT_abstract_collection[32])
+#define COLOR_MapIterator (SFT_abstract_collection[33])
+#define INIT_TABLE_POS_MapIterator (SFT_abstract_collection[34] + 0)
+#define CALL_abstract_collection___MapIterator___key(recv) ((abstract_collection___MapIterator___key_t)CALL((recv), (SFT_abstract_collection[34] + 1)))
+#define ID_IndexedCollectionRead (SFT_abstract_collection[35])
+#define COLOR_IndexedCollectionRead (SFT_abstract_collection[36])
+#define INIT_TABLE_POS_IndexedCollectionRead (SFT_abstract_collection[37] + 0)
+#define CALL_abstract_collection___IndexedCollectionRead___last(recv) ((abstract_collection___IndexedCollectionRead___last_t)CALL((recv), (SFT_abstract_collection[37] + 1)))
+#define CALL_abstract_collection___IndexedCollectionRead___index_of(recv) ((abstract_collection___IndexedCollectionRead___index_of_t)CALL((recv), (SFT_abstract_collection[37] + 2)))
+#define ID_IndexedCollection (SFT_abstract_collection[38])
+#define COLOR_IndexedCollection (SFT_abstract_collection[39])
+#define INIT_TABLE_POS_IndexedCollection (SFT_abstract_collection[40] + 0)
+#define CALL_abstract_collection___IndexedCollection___first__eq(recv) ((abstract_collection___IndexedCollection___first__eq_t)CALL((recv), (SFT_abstract_collection[40] + 1)))
+#define CALL_abstract_collection___IndexedCollection___last__eq(recv) ((abstract_collection___IndexedCollection___last__eq_t)CALL((recv), (SFT_abstract_collection[40] + 2)))
+#define CALL_abstract_collection___IndexedCollection___push(recv) ((abstract_collection___IndexedCollection___push_t)CALL((recv), (SFT_abstract_collection[40] + 3)))
+#define CALL_abstract_collection___IndexedCollection___append(recv) ((abstract_collection___IndexedCollection___append_t)CALL((recv), (SFT_abstract_collection[40] + 4)))
+#define CALL_abstract_collection___IndexedCollection___pop(recv) ((abstract_collection___IndexedCollection___pop_t)CALL((recv), (SFT_abstract_collection[40] + 5)))
+#define CALL_abstract_collection___IndexedCollection___unshift(recv) ((abstract_collection___IndexedCollection___unshift_t)CALL((recv), (SFT_abstract_collection[40] + 6)))
+#define CALL_abstract_collection___IndexedCollection___shift(recv) ((abstract_collection___IndexedCollection___shift_t)CALL((recv), (SFT_abstract_collection[40] + 7)))
+#define ID_IndexedIterator (SFT_abstract_collection[41])
+#define COLOR_IndexedIterator (SFT_abstract_collection[42])
+#define INIT_TABLE_POS_IndexedIterator (SFT_abstract_collection[43] + 0)
+#define CALL_abstract_collection___IndexedIterator___index(recv) ((abstract_collection___IndexedIterator___index_t)CALL((recv), (SFT_abstract_collection[43] + 1)))
+#define ID_CoupleMap (SFT_abstract_collection[44])
+#define COLOR_CoupleMap (SFT_abstract_collection[45])
+#define INIT_TABLE_POS_CoupleMap (SFT_abstract_collection[46] + 0)
+#define CALL_abstract_collection___CoupleMap___couple_at(recv) ((abstract_collection___CoupleMap___couple_at_t)CALL((recv), (SFT_abstract_collection[46] + 1)))
+#define ID_CoupleMapIterator (SFT_abstract_collection[47])
+#define COLOR_CoupleMapIterator (SFT_abstract_collection[48])
+#define ATTR_abstract_collection___CoupleMapIterator____iter(recv) ATTR(recv, (SFT_abstract_collection[49] + 0))
+#define INIT_TABLE_POS_CoupleMapIterator (SFT_abstract_collection[50] + 0)
+#define CALL_abstract_collection___CoupleMapIterator___init(recv) ((abstract_collection___CoupleMapIterator___init_t)CALL((recv), (SFT_abstract_collection[50] + 1)))
+#define ID_Couple (SFT_abstract_collection[51])
+#define COLOR_Couple (SFT_abstract_collection[52])
+#define ATTR_abstract_collection___Couple____first(recv) ATTR(recv, (SFT_abstract_collection[53] + 0))
+#define ATTR_abstract_collection___Couple____second(recv) ATTR(recv, (SFT_abstract_collection[53] + 1))
+#define INIT_TABLE_POS_Couple (SFT_abstract_collection[54] + 0)
+#define CALL_abstract_collection___Couple___first(recv) ((abstract_collection___Couple___first_t)CALL((recv), (SFT_abstract_collection[54] + 1)))
+#define CALL_abstract_collection___Couple___first__eq(recv) ((abstract_collection___Couple___first__eq_t)CALL((recv), (SFT_abstract_collection[54] + 2)))
+#define CALL_abstract_collection___Couple___second(recv) ((abstract_collection___Couple___second_t)CALL((recv), (SFT_abstract_collection[54] + 3)))
+#define CALL_abstract_collection___Couple___second__eq(recv) ((abstract_collection___Couple___second__eq_t)CALL((recv), (SFT_abstract_collection[54] + 4)))
+#define CALL_abstract_collection___Couple___init(recv) ((abstract_collection___Couple___init_t)CALL((recv), (SFT_abstract_collection[54] + 5)))
 typedef val_t (* abstract_collection___Collection___iterator_t)(val_t  self);
 val_t abstract_collection___Collection___iterator(val_t  self);
 #define LOCATE_abstract_collection___Collection___iterator "abstract_collection::Collection::iterator"
@@ -202,7 +211,6 @@ typedef void (* abstract_collection___Container___init_t)(val_t  self, val_t  pa
 void abstract_collection___Container___init(val_t  self, val_t  param0, int* init_table);
 #define LOCATE_abstract_collection___Container___init "abstract_collection::Container::init"
 val_t NEW_Container_abstract_collection___Container___init(val_t p0);
-#define ATTR_abstract_collection___Container____item(recv) ATTR(recv, COLOR_abstract_collection___Container____item)
 typedef val_t (* abstract_collection___Container___item_t)(val_t  self);
 val_t abstract_collection___Container___item(val_t  self);
 #define LOCATE_abstract_collection___Container___item "abstract_collection::Container::item"
@@ -222,8 +230,6 @@ typedef void (* abstract_collection___ContainerIterator___init_t)(val_t  self, v
 void abstract_collection___ContainerIterator___init(val_t  self, val_t  param0, int* init_table);
 #define LOCATE_abstract_collection___ContainerIterator___init "abstract_collection::ContainerIterator::init"
 val_t NEW_ContainerIterator_abstract_collection___ContainerIterator___init(val_t p0);
-#define ATTR_abstract_collection___ContainerIterator____is_ok(recv) ATTR(recv, COLOR_abstract_collection___ContainerIterator____is_ok)
-#define ATTR_abstract_collection___ContainerIterator____container(recv) ATTR(recv, COLOR_abstract_collection___ContainerIterator____container)
 typedef void (* abstract_collection___RemovableCollection___clear_t)(val_t  self);
 void abstract_collection___RemovableCollection___clear(val_t  self);
 #define LOCATE_abstract_collection___RemovableCollection___clear "abstract_collection::RemovableCollection::clear"
@@ -248,18 +254,18 @@ val_t abstract_collection___Set___count(val_t  self, val_t  param0);
 typedef void (* abstract_collection___Set___remove_all_t)(val_t  self, val_t  param0);
 void abstract_collection___Set___remove_all(val_t  self, val_t  param0);
 #define LOCATE_abstract_collection___Set___remove_all "abstract_collection::Set::(abstract_collection::RemovableCollection::remove_all)"
-typedef val_t (* abstract_collection___Map___iterator_t)(val_t  self);
-val_t abstract_collection___Map___iterator(val_t  self);
-#define LOCATE_abstract_collection___Map___iterator "abstract_collection::Map::(abstract_collection::Collection::iterator)"
-typedef val_t (* abstract_collection___Map_____bra_t)(val_t  self, val_t  param0);
-val_t abstract_collection___Map_____bra(val_t  self, val_t  param0);
-#define LOCATE_abstract_collection___Map_____bra "abstract_collection::Map::[]"
+typedef val_t (* abstract_collection___MapRead___iterator_t)(val_t  self);
+val_t abstract_collection___MapRead___iterator(val_t  self);
+#define LOCATE_abstract_collection___MapRead___iterator "abstract_collection::MapRead::(abstract_collection::Collection::iterator)"
+typedef val_t (* abstract_collection___MapRead_____bra_t)(val_t  self, val_t  param0);
+val_t abstract_collection___MapRead_____bra(val_t  self, val_t  param0);
+#define LOCATE_abstract_collection___MapRead_____bra "abstract_collection::MapRead::[]"
+typedef val_t (* abstract_collection___MapRead___has_key_t)(val_t  self, val_t  param0);
+val_t abstract_collection___MapRead___has_key(val_t  self, val_t  param0);
+#define LOCATE_abstract_collection___MapRead___has_key "abstract_collection::MapRead::has_key"
 typedef void (* abstract_collection___Map_____braeq_t)(val_t  self, val_t  param0, val_t  param1);
 void abstract_collection___Map_____braeq(val_t  self, val_t  param0, val_t  param1);
 #define LOCATE_abstract_collection___Map_____braeq "abstract_collection::Map::[]="
-typedef val_t (* abstract_collection___Map___has_key_t)(val_t  self, val_t  param0);
-val_t abstract_collection___Map___has_key(val_t  self, val_t  param0);
-#define LOCATE_abstract_collection___Map___has_key "abstract_collection::Map::has_key"
 typedef void (* abstract_collection___Map___remove_at_t)(val_t  self, val_t  param0);
 void abstract_collection___Map___remove_at(val_t  self, val_t  param0);
 #define LOCATE_abstract_collection___Map___remove_at "abstract_collection::Map::remove_at"
@@ -269,24 +275,24 @@ void abstract_collection___Map___recover_with(val_t  self, val_t  param0);
 typedef val_t (* abstract_collection___MapIterator___key_t)(val_t  self);
 val_t abstract_collection___MapIterator___key(val_t  self);
 #define LOCATE_abstract_collection___MapIterator___key "abstract_collection::MapIterator::key"
-typedef void (* abstract_collection___MapIterator___item__eq_t)(val_t  self, val_t  param0);
-void abstract_collection___MapIterator___item__eq(val_t  self, val_t  param0);
-#define LOCATE_abstract_collection___MapIterator___item__eq "abstract_collection::MapIterator::item="
-typedef val_t (* abstract_collection___IndexedCollection___iterator_t)(val_t  self);
-val_t abstract_collection___IndexedCollection___iterator(val_t  self);
-#define LOCATE_abstract_collection___IndexedCollection___iterator "abstract_collection::IndexedCollection::(abstract_collection::Collection::iterator)"
-typedef val_t (* abstract_collection___IndexedCollection___first_t)(val_t  self);
-val_t abstract_collection___IndexedCollection___first(val_t  self);
-#define LOCATE_abstract_collection___IndexedCollection___first "abstract_collection::IndexedCollection::(abstract_collection::Collection::first)"
+typedef val_t (* abstract_collection___IndexedCollectionRead___iterator_t)(val_t  self);
+val_t abstract_collection___IndexedCollectionRead___iterator(val_t  self);
+#define LOCATE_abstract_collection___IndexedCollectionRead___iterator "abstract_collection::IndexedCollectionRead::(abstract_collection::Collection::iterator)"
+typedef val_t (* abstract_collection___IndexedCollectionRead___first_t)(val_t  self);
+val_t abstract_collection___IndexedCollectionRead___first(val_t  self);
+#define LOCATE_abstract_collection___IndexedCollectionRead___first "abstract_collection::IndexedCollectionRead::(abstract_collection::Collection::first)"
+typedef val_t (* abstract_collection___IndexedCollectionRead___last_t)(val_t  self);
+val_t abstract_collection___IndexedCollectionRead___last(val_t  self);
+#define LOCATE_abstract_collection___IndexedCollectionRead___last "abstract_collection::IndexedCollectionRead::last"
+typedef val_t (* abstract_collection___IndexedCollectionRead___index_of_t)(val_t  self, val_t  param0);
+val_t abstract_collection___IndexedCollectionRead___index_of(val_t  self, val_t  param0);
+#define LOCATE_abstract_collection___IndexedCollectionRead___index_of "abstract_collection::IndexedCollectionRead::index_of"
 typedef void (* abstract_collection___IndexedCollection___add_t)(val_t  self, val_t  param0);
 void abstract_collection___IndexedCollection___add(val_t  self, val_t  param0);
 #define LOCATE_abstract_collection___IndexedCollection___add "abstract_collection::IndexedCollection::(abstract_collection::SimpleCollection::add)"
 typedef void (* abstract_collection___IndexedCollection___first__eq_t)(val_t  self, val_t  param0);
 void abstract_collection___IndexedCollection___first__eq(val_t  self, val_t  param0);
 #define LOCATE_abstract_collection___IndexedCollection___first__eq "abstract_collection::IndexedCollection::first="
-typedef val_t (* abstract_collection___IndexedCollection___last_t)(val_t  self);
-val_t abstract_collection___IndexedCollection___last(val_t  self);
-#define LOCATE_abstract_collection___IndexedCollection___last "abstract_collection::IndexedCollection::last"
 typedef void (* abstract_collection___IndexedCollection___last__eq_t)(val_t  self, val_t  param0);
 void abstract_collection___IndexedCollection___last__eq(val_t  self, val_t  param0);
 #define LOCATE_abstract_collection___IndexedCollection___last__eq "abstract_collection::IndexedCollection::last="
@@ -305,9 +311,6 @@ void abstract_collection___IndexedCollection___unshift(val_t  self, val_t  param
 typedef val_t (* abstract_collection___IndexedCollection___shift_t)(val_t  self);
 val_t abstract_collection___IndexedCollection___shift(val_t  self);
 #define LOCATE_abstract_collection___IndexedCollection___shift "abstract_collection::IndexedCollection::shift"
-typedef val_t (* abstract_collection___IndexedCollection___index_of_t)(val_t  self, val_t  param0);
-val_t abstract_collection___IndexedCollection___index_of(val_t  self, val_t  param0);
-#define LOCATE_abstract_collection___IndexedCollection___index_of "abstract_collection::IndexedCollection::index_of"
 typedef val_t (* abstract_collection___IndexedIterator___key_t)(val_t  self);
 val_t abstract_collection___IndexedIterator___key(val_t  self);
 #define LOCATE_abstract_collection___IndexedIterator___key "abstract_collection::IndexedIterator::(abstract_collection::MapIterator::key)"
@@ -316,10 +319,10 @@ val_t abstract_collection___IndexedIterator___index(val_t  self);
 #define LOCATE_abstract_collection___IndexedIterator___index "abstract_collection::IndexedIterator::index"
 typedef val_t (* abstract_collection___CoupleMap_____bra_t)(val_t  self, val_t  param0);
 val_t abstract_collection___CoupleMap_____bra(val_t  self, val_t  param0);
-#define LOCATE_abstract_collection___CoupleMap_____bra "abstract_collection::CoupleMap::(abstract_collection::Map::[])"
+#define LOCATE_abstract_collection___CoupleMap_____bra "abstract_collection::CoupleMap::(abstract_collection::MapRead::[])"
 typedef val_t (* abstract_collection___CoupleMap___has_key_t)(val_t  self, val_t  param0);
 val_t abstract_collection___CoupleMap___has_key(val_t  self, val_t  param0);
-#define LOCATE_abstract_collection___CoupleMap___has_key "abstract_collection::CoupleMap::(abstract_collection::Map::has_key)"
+#define LOCATE_abstract_collection___CoupleMap___has_key "abstract_collection::CoupleMap::(abstract_collection::MapRead::has_key)"
 typedef val_t (* abstract_collection___CoupleMap___couple_at_t)(val_t  self, val_t  param0);
 val_t abstract_collection___CoupleMap___couple_at(val_t  self, val_t  param0);
 #define LOCATE_abstract_collection___CoupleMap___couple_at "abstract_collection::CoupleMap::couple_at"
@@ -335,22 +338,16 @@ val_t abstract_collection___CoupleMapIterator___is_ok(val_t  self);
 typedef val_t (* abstract_collection___CoupleMapIterator___key_t)(val_t  self);
 val_t abstract_collection___CoupleMapIterator___key(val_t  self);
 #define LOCATE_abstract_collection___CoupleMapIterator___key "abstract_collection::CoupleMapIterator::(abstract_collection::MapIterator::key)"
-typedef void (* abstract_collection___CoupleMapIterator___item__eq_t)(val_t  self, val_t  param0);
-void abstract_collection___CoupleMapIterator___item__eq(val_t  self, val_t  param0);
-#define LOCATE_abstract_collection___CoupleMapIterator___item__eq "abstract_collection::CoupleMapIterator::(abstract_collection::MapIterator::item=)"
-#define ATTR_abstract_collection___CoupleMapIterator____iter(recv) ATTR(recv, COLOR_abstract_collection___CoupleMapIterator____iter)
 typedef void (* abstract_collection___CoupleMapIterator___init_t)(val_t  self, val_t  param0, int* init_table);
 void abstract_collection___CoupleMapIterator___init(val_t  self, val_t  param0, int* init_table);
 #define LOCATE_abstract_collection___CoupleMapIterator___init "abstract_collection::CoupleMapIterator::init"
 val_t NEW_CoupleMapIterator_abstract_collection___CoupleMapIterator___init(val_t p0);
-#define ATTR_abstract_collection___Couple____first(recv) ATTR(recv, COLOR_abstract_collection___Couple____first)
 typedef val_t (* abstract_collection___Couple___first_t)(val_t  self);
 val_t abstract_collection___Couple___first(val_t  self);
 #define LOCATE_abstract_collection___Couple___first "abstract_collection::Couple::first"
 typedef void (* abstract_collection___Couple___first__eq_t)(val_t  self, val_t  param0);
 void abstract_collection___Couple___first__eq(val_t  self, val_t  param0);
 #define LOCATE_abstract_collection___Couple___first__eq "abstract_collection::Couple::first="
-#define ATTR_abstract_collection___Couple____second(recv) ATTR(recv, COLOR_abstract_collection___Couple____second)
 typedef val_t (* abstract_collection___Couple___second_t)(val_t  self);
 val_t abstract_collection___Couple___second(val_t  self);
 #define LOCATE_abstract_collection___Couple___second "abstract_collection::Couple::second"