|
|||||||||
| 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.Exceptionvoid deactivateTransition(TransitionTimerPort port)
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||