OclModelElement
An OclModelElement is an enumeration. For each element in a UML model there
is a corresponding enumeration literal.
OclModelElement is itself an instance of the metatype Enumeration (from
UML Core).
OclType
An OclType is an enumeration. For each Classifier in a UML model there
is a corresponding enumeration literal. OclType is itself an instance of
the metatype Enumeration (from UML Core).
OclState
An OclState is an enumeration. For each State in a UML model there is a
corresponding enumeration literal. OclState is itself an instance of the
metatype Enumeration (from UML Core).
Operations and well-formedness rules
This section contains thye operatiins and well-formedness rules of the
model element types.
OclModelElement
= (object : OclType) : Boolean
True if self is the same object as object.
<> (object : OclType) : Boolean
True if self is a different object from object.
post: result = not (self
= object)
OclType
= (object : OclType) : Boolean
True if self is the same object as object.
<> (object : OclType) : Boolean
True if self is a different object from object.
post: result = not (self
= object)
OclState
= (object : OclState) : Boolean
True if self is the same object as object.
<> (object : OclState) : Boolean
True if self is a different object from object.
post: result = not (self
= object)