core :: Sequence :: insert_all
var a = [10, 20, 30, 40]
a.insert_all([100..102], 2)
assert a == [10, 20, 100, 101, 102, 30, 40]
REQUIRE index >= 0 and index <= length
ENSURE self[index] == coll.first
# Insert all elements at a given position, following elements are shifted.
#
# var a = [10, 20, 30, 40]
# a.insert_all([100..102], 2)
# assert a == [10, 20, 100, 101, 102, 30, 40]
#
# REQUIRE `index >= 0 and index <= length`
# ENSURE `self[index] == coll.first`
fun insert_all(coll: Collection[E], index: Int)
do
assert index >= 0 and index < length
if index == length then
add_all(coll)
end
for c in coll do
insert(c, index)
index += 1
end
end
lib/core/collection/abstract_collection.nit:1210,2--1228,4
redef fun insert_all(from, pos)
do
mutex.lock
real_collection
mutex.unlock
end
lib/pthreads/concurrent_collections.nit:319,2--324,4