Script - Тип скрипта (файл/строка)public interface ExecuteMonitor<Script>
| Modifier and Type | Method and Description |
|---|---|
void |
cancel()
Отмена выполнения.
|
Throwable |
getError()
Ошибка выполнения
|
Date |
getFinished()
Дата завершения выполнения скрипта
|
Object |
getResult()
Результат выполнения
|
Script |
getScript()
Возвращает выполняемый/выполненый скрипт
|
Date |
getStarted()
Дата начала выполнения скрипта
|
boolean |
isRunning()
Проверяет состояние выполнения
|
void |
join()
Ждет завершения скрипта
|
void |
join(long millis)
Ждет завершения скрипта, указанное время
|
Closeable |
onFinished(Reciver<ExecuteResult<Script>> consumer)
При завершении выполнения вызывает указанного "подписчика"
|
Closeable |
onFinished(Reciver<ExecuteResult<Script>> consumer,
boolean weakListener)
При завершении выполнения вызывает указанного "подписчика"
|
void |
start()
Выполняет скрипт
|
void |
startCancel(Reciver<ExecuteResult<Script>> consumer)
Отмена выполнения асинхронно.
|
void start()
void join()
void join(long millis)
millis - время в милисек.Script getScript()
Object getResult()
Throwable getError()
boolean isRunning()
Date getStarted()
Date getFinished()
Closeable onFinished(Reciver<ExecuteResult<Script>> consumer, boolean weakListener)
consumer - подписчик на сообщения завершения работыweakListener - добавить подписчика как weak ссылкуCloseable onFinished(Reciver<ExecuteResult<Script>> consumer)
consumer - подписчик на сообщения завершения работыvoid cancel()
void startCancel(Reciver<ExecuteResult<Script>> consumer)
consumer - - будет вызван по завершению операции отменыCopyright © 2018. All rights reserved.