Uses of Interface
de.upb.hni.vmagic.highlevel.StateMachine.State

Packages that use StateMachine.State
de.upb.hni.vmagic.highlevel Contains high level meta classes. 
 

Uses of StateMachine.State in de.upb.hni.vmagic.highlevel
 

Methods in de.upb.hni.vmagic.highlevel that return StateMachine.State
 StateMachine.State StateMachine.createOthersState()
          Creates a new others state and adds it to this state machine.
 StateMachine.State StateMachine.createState(java.lang.String identifier)
          Creates a new state and adds it to this state machine.
 StateMachine.State StateMachine.getStartState()
          Returns the start state of this state machine.
 

Methods in de.upb.hni.vmagic.highlevel that return types with arguments of type StateMachine.State
 java.util.List<StateMachine.State> StateMachine.getStates()
          Returns a list of states.
 

Methods in de.upb.hni.vmagic.highlevel with parameters of type StateMachine.State
 void StateMachine.setStartState(StateMachine.State startState)
          Sets the start state.