A data type defined under lra::datatypes::uml, an instance of which comprises a single primitive value. LRA primitive types are designed to map to programming language primitive types
Specializes
AnyDataType
Constraints
| Type | Name | Specification |
|---|---|---|
| Bound constraints are of type ValueSpaceConstraint | LRA Invariant | inv: constraintBinding->forAll(b: ConstraintBinding | b.constraint.oclIsTypeOf(ValueSpaceConstraint)) |