core :: Sequence :: subarray
self
start
len
# Copy the content of `self` between `start` and `len` to a new Array. fun subarray(start, len: Int): Array[E] do var a = new Array[E].with_capacity(len) for i in [start .. start+len[ do a.add(self[i]) return a end
redef fun subarray(start, len) do mutex.lock var r = real_collection.subarray(start, len) mutex.unlock return r end