A computable constraint that restricts the extension of one or more UML primitive types (specified under the lra::datatype::uml package).
Specializes
Constraint
Constraints
| Type | Name | Specification |
|---|---|---|
| Constraint binds to an element of kind Instance | LRA Invariant | inv: contraintBinding.element.oclIsKindOf(Instance) |
| Specification is of kind ValueSpaceSpecification | LRA Invariant | inv: specification.oclIsKindOf(ValueSpaceSpecification) |