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)