LiteralUnlimitedNatural

A literal unlimited natural is a specification of an unlimited natural number.

Description

A literal unlimited natural contains a UnlimitedNatural-valued attribute.

Attributes

value: UnlimitedNatural      The specified UnlimitedNatural value.

Associations

No additional associations.

Constraints

No additional constraints.

Additional Operations

  1. The query isComputable() is redefined to be true.

    LiteralString::isComputable(): Boolean; isComputable = true

  2. The query unlimitedValue() gives the value.

    LiteralUnlimitedNatural::unlimitedValue() : [UnlimitedNatural]; unlimitedValue = value

Semantics

A LiteralUnlimitedNatural specifies a constant UnlimitedNatural value.

Notation

A LiteralUnlimitedNatural is shown either as a sequence of digits or as an asterisk (*), where the asterisk denotes unlimited (and not infinity).