|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface TransitionTimerManager
Interface implemented by global default transition timer instance. A TransitionTimer implementation is responsible for activating and reactivating TransitionTimerPort instances associated with timed transitions.
Field Summary | |
---|---|
static java.lang.String |
rcsid
|
Method Summary | |
---|---|
void |
activateTransition(TransitionTimerPort port)
If port not currently activated then activate it, otherwise ignore the port. |
void |
deactivateTransition(TransitionTimerPort port)
Deactivate transition with specified port if port currently activated, otherwise does nothing. |
void |
reactivateTransition(TransitionTimerPort port)
If port currently activated then deactivate it, and then activate it. |
Field Detail |
---|
static final java.lang.String rcsid
Method Detail |
---|
void activateTransition(TransitionTimerPort port) throws java.lang.Exception
java.lang.Exception
void reactivateTransition(TransitionTimerPort port) throws java.lang.Exception
java.lang.Exception
void deactivateTransition(TransitionTimerPort port)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |