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, setNamegetContext, getReferenceTarget, isInheritedjava.util.Collection<? extends InheritableVertex<? extends org.eclipse.uml2.uml.Vertex>> getAllSubvertices()
java.util.Collection<? extends TransitionRedefinition> getAllTransitions()