StateInvariant
UMLFactory. createStateInvariant ()
T
UMLSwitch. caseStateInvariant ( StateInvariant object)
boolean
UMLValidator. validateStateInvariant ( StateInvariant stateInvariant, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)