Specification of a slot value of type String.
Specializes
Attributes
| Name |
Data type |
Occurs |
Description |
|
value
|
String
|
0..1 |
The default value of an instance of type String or any of its specialisations, specified by this StringDefaultValueSpecification.
|
Constraints
| Type |
Name |
Specification |
| If defined, specification is exclusively by value or by reference |
LRA Invariant |
inv: not self.value.oclIsUndefined() implies self.valueRef.oclIsUndefined() and not self.valueRef.oclIsUndefined() implies
self.value.oclIsUndefined()
|
Reference Model Type