The Fortress Language Specification - CiteSeerX

littleEndian():BinaryEndianLinearEndianSequenceb,false,false, n,bigEndianSequence
bigEndian():BinaryEndianLinearEndianSequenceb,true,true, n,bigEndianSequence
littleEndianBits():BinaryEndianLinearEndianSequenceb,bigEndianBytes,false,
n,bigEndianSequence
bigEndianBits():BinaryEndianLinearEndianSequenceb,bigEndianBytes,true,
n,bigEndianSequence
littleEndianSequence():BinaryLinearEndianSequenceb, n,false
bigEndianSequence():BinaryLinearEndianSequenceb, n,true
splitnat b ′ ():BinaryLinearEndianSequenceb ′ , n · 2 b−b′ ,bigEndianSequence
where { b ′ ≤ b }
end
40.9.1 coercion nat b ′ ,bool bigEndianBytes,bool bigEndianBits
(x:BinaryEndianWordb ′ ,bigEndianBytes,bigEndianBits)
where {bigEndianBytes = bigEndianSequence, 2 b′ = n · 2 b }
[Description to be supplied.]
40.9.2 coercion nat m,nat radix,nat q,nat k,nat v(x: NaturalNumeralm,radix, v)
where {radix = 2 q , q · m = n · 2 bk }
[Description to be supplied.]
40.9.3 opr [j: IndexInt] : BinaryWordb
throws { IndexOutOfBoundsException }
40.9.4 opr nat k[j: IntegerStatick] : BinaryWordb where { k < n }
[Description to be supplied.]
40.9.5 opr nat m[r:RangeOfStaticSizeIndexInt, m] :
BinaryLinearEndianSequenceb, m,bigEndianSequence
throws { IndexOutOfBoundsException } where { m ≤ n }
40.9.6 opr int a,nat m,int c[r: StaticRangea, m, c] :
BinaryLinearEndianSequenceb, m,bigEndianSequence
where { 0 ≤ a < n, 0 ≤ a + m · c < n }
[Description to be supplied.]
295