array
If dst_offset
is set, the data is copied to the index dst_offset
,
otherwise, it is copied the beginning of self
.
Require: length >= array.length + dst_offset or else 0
# Fill with the content of `array`
#
# If `dst_offset` is set, the data is copied to the index `dst_offset`,
# otherwise, it is copied the beginning of `self`.
#
# Require: `length >= array.length + dst_offset or else 0`
fun fill_from(array: Array[Float], dst_offset: nullable Int)
do
dst_offset = dst_offset or else add_index
assert length >= array.length + dst_offset
for k in [0..array.length[ do
self[dst_offset+k] = array[k]
end
end
lib/glesv2/glesv2.nit:472,2--486,4