ByteList

AddByteAt AddByteLast ByteAt FindByte ReplaceByteAt

Attributes

Stride

Fields

instance ByteList tag;
end instance;

 
Define Class ByteList;
    inherits from FixedList;
    uses extra list: SignedByte;

    // getting
    operation ByteAt(index: Unsigned): UnsignedByte, noFail;
    
    // adding and removing
    operation ReplaceByteAt(index: Unsigned; byte: UnsignedByte);
    operation AddByteAt(index: Unsigned; byte: UnsignedByte);
    operation AddByteLast(byte: UnsignedByte);
    
    // finding
    operation FindByte(byte: UnsignedByte): Unsigned, noFail;
    
    overrides Stride;
        // overridden to return 1
end class;