ClassOperationNumberList

AddClassOperationNumberAt AddClassOperationNumberLast ClassOperationNumberAt FindClassOperationNumber ReplaceClassOperationNumberAt

Attributes

InitialListWordFormat

Fields

instance ClassOperationNumberList tag;
end instance;

Define Class ClassOperationNumberList;
    inherits from FixedList;
    uses extra list: ClassOperationNumber;

    // getting
    operation ClassOperationNumberAt(index: Unsigned): ClassOperationNumber, noFail;
    
    // adding and removing
    operation ReplaceClassOperationNumberAt(index: Unsigned; number: ClassOperationNumber);
    operation AddClassOperationNumberAt(index: Unsigned; number: ClassOperationNumber);
    operation AddClassOperationNumberLast(number: ClassOperationNumber);

    // finding
    operation FindClassOperationNumber(number: ClassOperationNumber): Unsigned, noFail;

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