The Fortress Language Specification - CiteSeerX

updatenat k(j: IntegerStatick, v: T): LinearSequenceT, n where { k < n }
updatenat m(r:RangeOfStaticSizeIndexInt, m, v: LinearSequenceT, m):
LinearSequenceT, n
throws { IndexOutOfBoundsException } where { m ≤ n }
updateint a,nat m,int c(r:StaticRangea, m, c, v:LinearSequenceT, m):
LinearSequenceT, n
where { 0 ≤ a < n, 0 ≤ a + m · c < n }
opr ‖ nat m(self,other: LinearSequenceT, m):LinearSequenceT, n + m
getter reverse():LinearSequenceT, n
getter littleEndiannat b():BinaryLinearEndianSequenceb, n,false
where { T extends BinaryWordb }
getter bigEndiannat b():BinaryLinearEndianSequenceb, n,true
where { T extends BinaryWordb }
getter littleEndiannat b,bool bigEndianBytes,bool bigEndianBits():
BinaryEndianLinearEndianSequenceb,bigEndianBytes,bigEndianBits, n,false
where { T extends BinaryEndianWordb,bigEndianBytes,bigEndianBits }
getter bigEndiannat b,bool bigEndianBytes,bool bigEndianBits():
BinaryEndianLinearEndianSequenceb,bigEndianBytes,bigEndianBits, n,true
where { T extends BinaryEndianWordb,bigEndianBytes,bigEndianBits }
end
40.1.1 coercion nat b,bool bigEndianSequence
(x:BinaryLinearEndianSequenceb, n,bigEndianSequence)
where { T extends BinaryWordb }
40.1.2 coercion nat b,bool bigEndianBytes,bool bigEndianBits,bool bigEndianSequence
(x:BinaryEndianLinearEndianSequenceb,bigEndianBytes,bigEndianBits,
n,bigEndianSequence)
where { T extends BinaryEndianWordb,bigEndianBytes,bigEndianBits }
Any binary linear endian sequence may be coerced to an ordinary binary linear sequence of corresponding element
type. The bit values remain the same; all that is lost is the endianness information of the sequence in the static type.
40.1.3 coercion nat b,bool bigEndianBytes,bool bigEndianBits,bool bigEndianSequence
(x:BinaryEndianLinearEndianSequenceb,bigEndianBytes,bigEndianBits,
n,bigEndianSequence)
where { T extends BinaryWordb }
A binary linear endian sequence of binary endian words may be coerced to an ordinary binary linear sequence of
ordinary binary words. The bit values remain the same; all that is lost is the endianness information of both the
sequence and the elements.
273