net.sf.smc
Class SmcMap

java.lang.Object
  extended by net.sf.smc.SmcElement
      extended by net.sf.smc.SmcMap

public final class SmcMap
extends SmcElement


Field Summary
 
Fields inherited from class net.sf.smc.SmcElement
_lineNumber, _name
 
Constructor Summary
SmcMap(java.lang.String name, int lineNumber, SmcFSM fsm)
           
 
Method Summary
 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()
           
 
Methods inherited from class net.sf.smc.SmcElement
getLineNumber, getName
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

SmcMap

public SmcMap(java.lang.String name,
              int lineNumber,
              SmcFSM fsm)
Method Detail

getFSM

public SmcFSM getFSM()

getStates

public java.util.List<SmcState> getStates()

addState

public void addState(SmcState state)

findState

public boolean findState(SmcState state)

isKnownState

public boolean isKnownState(java.lang.String stateName)

hasDefaultState

public boolean hasDefaultState()

getDefaultState

public SmcState getDefaultState()

getTransitions

public java.util.List<SmcTransition> getTransitions()

getUndefinedDefaultTransitions

public java.util.List<SmcTransition> getUndefinedDefaultTransitions()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

getNextStateId

public static int getNextStateId()

accept

public void accept(SmcVisitor visitor)
Description copied from class: SmcElement
Accepts a new visitor which performs some action upon this abstract syntax tree element.

Specified by:
accept in class SmcElement
Parameters:
visitor - a parser visitor.