/**
* Changes the FSM state to the specified state.
*
* @param name name of the state to change to.
*/
protected void setNextState(Object name) {
if (fsm != null) fsm.setNextState(name);
}
/** Terminates the FSM by setting the next state to be FINAL. */
public void terminate() {
setNextState(FINAL);
}
