|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.fhg.igd.jhsm.AbstractComponent
de.fhg.igd.jhsm.HSMState
de.fhg.igd.jhsm.HSM
examples.jumpagent.JumpAgentBehavior
The hsm that defines the behavior of the JumpAgent.
Nested Class Summary | |
private class |
JumpAgentBehavior.JumpingAction
Set the ticket accoring to user's choice. |
private class |
JumpAgentBehavior.ShowGUIAction
|
private class |
JumpAgentBehavior.ShowGUIExit
|
Field Summary |
Fields inherited from class de.fhg.igd.jhsm.HSM |
|
Fields inherited from class de.fhg.igd.jhsm.HSMState |
|
Fields inherited from class de.fhg.igd.jhsm.AbstractComponent |
|
Constructor Summary | |
JumpAgentBehavior()
|
Methods inherited from class de.fhg.igd.jhsm.HSM |
action, addState, contains, entry, exit, getInitialState, getStates, removeState, setInitialState |
Methods inherited from class de.fhg.igd.jhsm.HSMState |
action, addDeferred, addTransition, defers, getDeferred, getTransitions, removeDeferred, removeTransition, setEntry, setExit |
Methods inherited from class de.fhg.igd.jhsm.AbstractComponent |
getAction, getName, getParent, setAction, setName, setParent, toString |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface de.fhg.igd.jhsm.State |
addDeferred, addTransition, defers, getDeferred, getTransitions, removeDeferred, removeTransition, setEntry, setExit |
Methods inherited from interface de.fhg.igd.jhsm.Component |
action, getAction, getName, getParent, setAction, setName, setParent |
Constructor Detail |
public JumpAgentBehavior()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |