ideal • runtime • elements • base_immutable

extends base readonly list[element type]

implements immutable list[element type]

import ideal • machine • elements • array

protected overload base immutable list(list state[element type] state)

super(state)

state • writable = false

public overload base immutable list(array[element type] state)

super(list state[element type] • new(state))

Returns an immutable copy of this list.

implement immutable list[element type] frozen copy()

return this

Returns an immutable list with the order of the elements reversed.

implement immutable list[element type] reverse()

if size <= 1

return this

reversed : list state[element type] • new(size)

for var nonnegative i : 0; i < size; i += 1

new index : size - 1 - i

assert new index is nonnegative

reversed • the elements[new index] = state • the elements[i]

reversed • size = size

return base immutable list[element type] • new(reversed)