The operation belongsToPSM () checks if the region belongs to a protocol state machine
result = if not stateMachine->isEmpty() then
oclIsTypeOf(ProtocolStateMachine)
else if not state->isEmpty() then
state.container.belongsToPSM ()
else false
BODY_ANNOTATION -
Static variable in class org.eclipse.uml2.uml.util.
UMLUtil.Ecore2UMLConverter
The diagnostic code for cases where body annotations are encountered.
BOOLEAN -
Static variable in interface org.eclipse.uml2.uml.
UMLPackage