A value of an enumeration.
Specializes
ValueSpaceSpecification
Attributes
| Name | Data type | Occurs | Description |
|---|---|---|---|
| value | String | 0..1 | The literal value of this enumeration literal. |
Constraints
| Type | Name | Specification |
|---|---|---|
| Specification is exclusively by value or by reference | LRA Invariant | inv: if not self.value.oclIsUndefined() then self.valueRef.oclIsUndefined() else self.value.oclIsUndefined() and not self.valueRef.oclIsUndefined() endif |