This is implemented as described in ISO 21090.
Specializes
INT
Attributes
| Name | Data type | Occurs | Description |
|---|---|---|---|
| value | Integer | 0..1 | This is implemented as described in ISO 21090. |
Constraints
| Type | Name | Specification |
|---|---|---|
| not negative | Invariant | inv: isNotNull implies value >= 0 |