public class RequestsTimer
extends java.lang.Object
Constructor and Description |
---|
RequestsTimer(TOMLayer tomLayer,
ServerCommunicationSystem communication,
ServerViewController controller)
Creates a new instance of RequestsTimer
|
Modifier and Type | Method and Description |
---|---|
void |
clearAll()
Cancels all timers for all messages
|
void |
Enabled(boolean phase) |
long |
getTimeout() |
boolean |
isEnabled() |
void |
run_lc_protocol() |
void |
setShortTimeout(long shortTimeout) |
void |
setTimeout(long timeout) |
void |
startTimer() |
void |
stopTimer() |
void |
unwatch(TOMMessage request)
Cancels a timer for a given request
|
void |
watch(TOMMessage request)
Creates a timer for the given request
|
public RequestsTimer(TOMLayer tomLayer, ServerCommunicationSystem communication, ServerViewController controller)
tomLayer
- TOM layerpublic void setShortTimeout(long shortTimeout)
public void setTimeout(long timeout)
public long getTimeout()
public void startTimer()
public void stopTimer()
public void Enabled(boolean phase)
public boolean isEnabled()
public void watch(TOMMessage request)
request
- Request to which the timer is being createf forpublic void unwatch(TOMMessage request)
request
- Request whose timer is to be canceledpublic void clearAll()
public void run_lc_protocol()