public interface RegionRedefinition extends ElementRedefinition<org.eclipse.uml2.uml.Region,org.eclipse.uml2.uml.StateMachine>
Modifier and Type | Method and Description |
---|---|
java.util.Collection<? extends InheritableVertex<? extends org.eclipse.uml2.uml.Vertex>> |
getAllSubvertices() |
java.util.Collection<? extends TransitionRedefinition> |
getAllTransitions() |
getLocalRedefinition, getName, getRedefinitionChainHead, getRedefinitionChainTail, getStereotypeValue, redefine, setName
getContext, getReferenceTarget, isInherited
java.util.Collection<? extends InheritableVertex<? extends org.eclipse.uml2.uml.Vertex>> getAllSubvertices()
java.util.Collection<? extends TransitionRedefinition> getAllTransitions()