public final class SmcMap extends SmcElement
_lineNumber, _name| Constructor and Description |
|---|
SmcMap(java.lang.String name,
int lineNumber,
SmcFSM fsm) |
| Modifier and Type | Method and Description |
|---|---|
void |
accept(SmcVisitor visitor)
Accepts a new visitor which performs some action upon this
abstract syntax tree element.
|
void |
addState(SmcState state) |
boolean |
findState(SmcState state) |
SmcState |
getDefaultState() |
SmcFSM |
getFSM() |
static int |
getNextStateId() |
java.util.List<SmcState> |
getStates() |
java.util.List<SmcTransition> |
getTransitions() |
java.util.List<SmcTransition> |
getUndefinedDefaultTransitions() |
boolean |
hasDefaultState() |
boolean |
isKnownState(java.lang.String stateName) |
java.lang.String |
toString() |
getLineNumber, getNamepublic SmcMap(java.lang.String name,
int lineNumber,
SmcFSM fsm)
public SmcFSM getFSM()
public java.util.List<SmcState> getStates()
public void addState(SmcState state)
public boolean findState(SmcState state)
public boolean isKnownState(java.lang.String stateName)
public boolean hasDefaultState()
public SmcState getDefaultState()
public java.util.List<SmcTransition> getTransitions()
public java.util.List<SmcTransition> getUndefinedDefaultTransitions()
public java.lang.String toString()
toString in class java.lang.Objectpublic static int getNextStateId()
public void accept(SmcVisitor visitor)
SmcElementaccept in class SmcElementvisitor - a parser visitor.