The Fortress Language Specification - CiteSeerX

40.3.2 opr nat m[r:RangeOfStaticSizeIndexInt, m]:LinearSequenceT, m
throws { IndexOutOfBoundsException }
Subscripting by a range returns the indicated subsequence of this heap sequence. The range must be a range of static
size, and the result is returned as a linear sequence (not a heap sequence), so no heap allocation is performed. Indexing
is zero-origin; an IndexOutOfBoundsException is thrown unless r ⊆ (0 :n − 1) , where n is the length of the heap
sequence. Element k of the result linear sequence is the same as element r.lowerBound + k × r.stride of this heap
sequence, for all 0 ≤ k < m .
40.3.3 opr [j : IndexInt] := (v:T): () throws { IndexOutOfBoundsException }
After subscripted assignment, element j of this heap sequence is the same as the given value v , and all other elements
are the same as before. Indexing is zero-origin; an IndexOutOfBoundsException is thrown unless 0 ≤ j < n ,
where n is the length of the heap sequence.
40.3.4 opr nat m[r:RangeOfStaticSizeIndexInt, m] := (v:LinearSequenceT, m):()
throws { IndexOutOfBoundsException }
After subscripted assignment using a range as a subscript, elements of the subscripted variable selected by r are
the same as corresponding elements of v , and all other elements are the same as before; specifically, element
r.lowerBound + k × r.stride of the updated variable is the same as element k of v , for all 0 ≤ k < m . The range
must be a range of static size, and the values to be assigned must be passed as linear sequence of the same size. Indexing
is zero-origin; an IndexOutOfBoundsException is thrown unless r ⊆ (0 :n − 1) , where n is the length of the
heap sequence.
40.3.5 reverse(selfStart: IndexInt,length: IndexInt):() throws { IndexOutOfBoundsException }
Elements selfStart through selfStart + length − 1 , inclusive, are reversed in order, that is, rearranged so that the
value originally stored at element selfStart + j becomes element selfStart + length − 1 − j , for all 0 ≤ j < length .
Other elements of this heap sequence are unaffected.
40.3.6 opr |self| : IndexInt
The length of this heap sequence is returned. Note that the size of a heap sequence is specified at run time when the
heap sequence is created; once a heap sequence has been created, its length does not change.
277