A specification of the minimum number of characters allowable in an instance of a string-based type or the minimum number
of octets allowable in an instance of a binary type.
Specializes
Attributes
| Name |
Data type |
Occurs |
Description |
|
value
|
Integer
|
0..1 |
The minimum number of characters of an instance of a string-based type or the minimum number of octets of an instance of a
binary type, specified by this MinLengthSpecification.
|
Constraints
| Type |
Name |
Specification |
| Instance is specification for constraint that binds to a PrimitiveType instance of kind String |
LRA Invariant |
inv: constraint.contraintBinding.instance.type->forAll(c: Class | c.oclIsType(Primitive) and ((c.qualifiedName = "lra::datatypes::uml::kernel::String")
or (c.ancestor()->exists(s: Class | s.qualifiedName = ("lra::datatypes::uml::kernel::String")))))
|
| 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
|
Reference Model Type
