Related content
Previous snippet
object_nodes
ControlFlows may not have ObjectNodes at either end, except for ObjectNodes with control type.
inv: (source.oclIsKindOf(ObjectNode) implies source.oclAsType(ObjectNode).isControlType) and
(target.oclIsKindOf(ObjectNode) implies target.oclAsType(ObjectNode).isControlType)