# A set implemented with an Array.
class ArraySet[E]
super Set[E]
- super Cloneable
# The stored elements.
private var array: Array[E] is noinit
redef fun clone
do
var res = new ArrayMap[K,E]
- res.recover_with self
+ res.add_all self
return res
end
end
res.add(item)
next
end
+ finish
return res
end
end
fun copy_to(dest: NativeArray[E], length: Int) is intern
# Copy `length` items to `dest` starting from `dest`.
- fun memmove(start: Int, length: Int, dest: NativeArray[E], dest_start: Int) do
- # TODO native one
+ fun memmove(start: Int, length: Int, dest: NativeArray[E], dest_start: Int) is intern do
if start < dest_start then
var i = length
while i > 0 do