ClassNumberList

AddClassNumberAt AddClassNumberLast ClassNumberAt FindClassNumber MakeValid ReplaceClassNumberAt

Attributes

InitialListWordFormat

Fields

instance ClassNumberList tag;
end instance;

Define Class ClassNumberList;
    inherits from FixedList;
    uses extra list: ClassNumber;

    // getting
    operation ClassNumberAt(index: Unsigned): ClassNumber, noFail;

    // adding and removing
    operation ReplaceClassNumberAt(index: Unsigned; number: ClassNumber);
    operation AddClassNumberAt(index: Unsigned; number: ClassNumber);
    operation AddClassNumberLast(number: ClassNumber);

    // finding
    operation FindClassNumber(number: ClassNumber): Unsigned, noFail;
        // returns the index of the class number if found, zero if not

    overrides InitialListWordFormat;
        // returns classNumberWord to express the fact that class number lists
        // hold class numbers
    overrides MakeValid;
end class;