9.11.6 LiteralUnlimitedNatural

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

   Description

   A literal unlimited natural contains an UnlimitedNatural-valued attribute.

   Generalizations

   • “LiteralSpecification? on page 61

   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.

   LiteralUnlimitedNatural::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).