Specification of a value set to constrain the value space of an instance of a primitive type (of type Boolean or kind Real
or kind String).
An value set with one member represents the imposition of a fixed value on the constrained instance.
Specializes
Attributes
| Name |
Data type |
Occurs |
Description |
|
value
|
Expression
|
0..1 |
The computable intension of this EnumerationSpecification.
|
Relationships
| Name |
Class |
Occurs |
Description |
| code |
EnumerationLiteral
|
0..* |
A literal value of this ValueSet. |
Constraints
| Type |
Name |
Specification |
| Enumeration type conforms to type of instance being constrained. |
Invariant |
inv: self.value.ancestorOrSelf()->intersection(constraint.contraintBinding.element.oclAsType(Instance).type.ancestorOrSelf())
|
| Specification is by value exclusively or by enumeration exclusively or by reference exclusively. |
Invariant |
inv:
if not self.value.oclIsUndefined() then
self.valueRef.oclIsUndefined() and self.enumeration.oclIsUndefined()
else if not self.valueRef.oclIsUndefined() then
self.value.oclIsUndefined() and self.enumeration.oclIsUndefined()
else
not self.valueRef.oclIsUndefined()
endif
|
Reference Model Type
