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, getName
public 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.Object
public static int getNextStateId()
public void accept(SmcVisitor visitor)
SmcElement
accept
in class SmcElement
visitor
- a parser visitor.