Module jEdit
Package org.gjt.sp.util

Class TaskManager

java.lang.Object
org.gjt.sp.util.TaskManager
public class TaskManager extends Object
The TaskManager manage Tasks in the Threadpool, it knows all of them, and sends events to TaskListeners.
Author:
Matthieu Casanova

  • Field Details

    • instance

      public static final TaskManager instance
      A singleton instance of TaskManager

  • Method Details

    • countTasks

      public int countTasks()
      Return the number of tasks in queue.
      Returns:
      the number of tasks in queue
      Since:
      jEdit 4.5pre1

    • countIoTasks

      public int countIoTasks()
      Return the number of IO tasks in queue.
      Returns:
      the number of IO tasks in queue
      Since:
      jEdit 5.1pre1

    • addTaskListener

      public void addTaskListener(TaskListener listener)

    • removeTaskListener

      public void removeTaskListener(TaskListener listener)

    • visit

      public void visit(TaskManager.TaskVisitor visitor)
      Visit all tasks. While doing this the task list is locked
      Parameters:
      visitor - the visitor

    • waitForIoTasks

      public void waitForIoTasks()
      Wait for all IO tasks to finish
      Since:
      jEdit 5.1pre1

    • cancelTasksByClass

      public void cancelTasksByClass(Class<? extends Task> clazz)
      cancel a task by its class
      Since:
      jEdit 5.1pre1