public interface TaskManager
The base TaskManager interface.
Provides common methods for scheduling tasks for execution and stopping task execution.
| Modifier and Type | Method and Description |
|---|---|
void |
addTask(TaskState taskState,
TaskConfiguration configuration)
Schedule a
BackgroundTask for execution. |
void |
close() |
void |
stopTask(ai.grakn.engine.TaskId id)
Stop a Scheduled, Paused or Running task.
|
TaskStateStorage |
storage()
Return the StateStorage instance that is used by this class.
|
void addTask(TaskState taskState, TaskConfiguration configuration)
BackgroundTask for execution.taskState - Task to executevoid stopTask(ai.grakn.engine.TaskId id)
id - ID of task to stop.TaskStateStorage storage()
void close()
Copyright © 2017 Grakn Labs Ltd. All rights reserved.