public interface ISCState extends ITreeNode<ISCState>
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getId() |
java.util.Set<ISCTransition> |
getInvolvedTransitions() |
java.lang.String |
getLabel() |
ISCRegion |
getParentRegion() |
java.util.Set<ISCState> |
getPostset() |
java.util.Set<ISCState> |
getPreset() |
SCStateType |
getStateType() |
boolean |
isEndState() |
boolean |
isInitialState() |
boolean |
isPseudoState() |
void |
recordTransition(ISCTransition transition) |
void |
unrecordTransition(ISCTransition transition) |
getChildren, getParent, iteratePostOrder, iteratePreOrder, visitDepthFirstOrder
java.lang.String getId()
java.lang.String getLabel()
boolean isPseudoState()
SCStateType getStateType()
ISCRegion getParentRegion()
void recordTransition(ISCTransition transition)
void unrecordTransition(ISCTransition transition)
java.util.Set<ISCTransition> getInvolvedTransitions()
java.util.Set<ISCState> getPostset()
java.util.Set<ISCState> getPreset()
boolean isInitialState()
boolean isEndState()