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
The query isComputable() is redefined to be true.
LiteralString::isComputable(): Boolean; isComputable = true
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).