IntrinsicNumberList

AddIntrinsicNumberAt AddIntrinsicNumberLast FindIntrinsicNumber IntrinsicNumberAt ReplaceIntrinsicNumberAt

Attributes

InitialListWordFormat

Fields

instance IntrinsicNumberList tag;
end instance;

Define Class IntrinsicNumberList;
    inherits from FixedList;
    uses extra list: IntrinsicNumber;

    // getting
    operation IntrinsicNumberAt(index: Unsigned): IntrinsicNumber, noFail;

    // adding and removing
    operation ReplaceIntrinsicNumberAt(index: Unsigned; number: IntrinsicNumber);
    operation AddIntrinsicNumberAt(index: Unsigned; number: IntrinsicNumber);
    operation AddIntrinsicNumberLast(number: IntrinsicNumber);

    // finding
    operation FindIntrinsicNumber(number: IntrinsicNumber): Unsigned, noFail;
        // returns the index of the number if found, zero if not

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