ExecuteJava
, ExecuteWatchdog
public interface TimeoutObserver
Watchdog
Modifier and Type | Method | Description |
---|---|---|
void |
timeoutOccured(Watchdog w) |
Called when the watchdog times out.
|
void timeoutOccured(Watchdog w)
w
- the watchdog that timed out.