Documentation of OCL-Schemata
AttributeHasKeyProp
Invariant
selectedClass.allInstances->forAll( c1, c2 |
c1.attr = c2.attr implies c1 = c2 )
AttributeLowerBound
Invariant
self.attrib lowerOperator lowerBound
AttributeUpperBound
Invariant
self.attrib upperOperator upperBound