products/sources/formale sprachen/Isabelle/Tools/jEdit/dist/jEdit/org/gjt/sp/util image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: TaskManager.java   Sprache: JAVA

Original von: Isabelle©

/*
 * jEdit - Programmer's Text Editor
 * :tabSize=4:indentSize=4:noTabs=false:
 * :folding=explicit:collapseFolds=1:
 *
 * Copyright (C) 2010 jEdit contributors
 *
 * This program is free software; you can redistribute it and/or
 * modify it under the terms of the GNU General Public License
 * as published by the Free Software Foundation; either version 2
 * of the License, or any later version.
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program; if not, write to the Free Software
 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
 */

package org.gjt.sp.util;

import java.util.ArrayList;
import java.util.Collections;
import java.util.List;
import java.util.concurrent.CopyOnWriteArrayList;

import org.gjt.sp.jedit.bufferio.IoTask;

/**
 * The TaskManager manage Tasks in the Threadpool, it knows all of them, and
 * sends events to TaskListeners.
 *
 * @author Matthieu Casanova
 */

public class TaskManager
{
 /** A singleton instance of TaskManager */
 public static final TaskManager instance = new TaskManager();

 private final List<TaskListener> listeners;

 private final List<Task> tasks;
 private final Object ioWaitLock;

 private TaskManager()
 {
  listeners = new CopyOnWriteArrayList<>();
  tasks = Collections.synchronizedList(new ArrayList<>());
  ioWaitLock = new Object();
 }

 /**
 * Return the number of tasks in queue.
 *
 * @return the number of tasks in queue
 * @since jEdit 4.5pre1
 */

 public int countTasks()
 {
  return tasks.size();
 }

 /**
 * Return the number of IO tasks in queue.
 *
 * @return the number of IO tasks in queue
 * @since jEdit 5.1pre1
 */

 public int countIoTasks()
 {
  int size = 0;
  synchronized (tasks) {
   for(Task task : tasks)
    if(task instanceof IoTask)
     size++;
  }
  return size;
 }

 public void addTaskListener(TaskListener listener)
 {
  if (!listeners.contains(listener))
  {
   listeners.add(listener);
  }
 }

 public void removeTaskListener(TaskListener listener)
 {
  listeners.remove(listener);
 }

 void fireWaiting(Task task)
 {
  tasks.add(task);

  List<TaskListener> listeners = this.listeners;
  for (TaskListener listener : listeners)
  {
   listener.waiting(task);
  }
 }

 void fireRunning(Task task)
 {
  List<TaskListener> listeners = this.listeners;
  for (TaskListener listener : listeners)
  {
   listener.running(task);
  }
 }

 void fireDone(Task task)
 {
  tasks.remove(task);

  List<TaskListener> listeners = this.listeners;
  for (TaskListener listener : listeners)
  {
   listener.done(task);
  }

  if(task instanceof IoTask)
  {
   AwtRunnableQueue.INSTANCE.queueAWTRunner(false);

   synchronized (ioWaitLock)
   {
    ioWaitLock.notifyAll();
   }
  }
 }

 void fireStatusUpdated(Task task)
 {
  List<TaskListener> listeners = this.listeners;
  listeners.forEach(listener -> listener.statusUpdated(task));
 }

 void fireValueUpdated(Task task)
 {
  List<TaskListener> listeners = this.listeners;
  listeners.forEach(listener -> listener.valueUpdated(task));
 }

 void fireMaximumUpdated(Task task)
 {
  List<TaskListener> listeners = this.listeners;
  listeners.forEach(listener -> listener.maximumUpdated(task));
 }

 /**
 * Visit all tasks.
 * While doing this the task list is locked
 *
 * @param visitor the visitor
 */

 public void visit(TaskVisitor visitor)
 {
  synchronized (tasks)
  {
   tasks.forEach(visitor::visit);
  }
 }

 /** Wait for all IO tasks to finish
 * @since jEdit 5.1pre1
 */

 public void waitForIoTasks()
 {
  synchronized (ioWaitLock)
  {
   while(countIoTasks() > 0)
   {
    try
    {
     ioWaitLock.wait();
    }
    catch (InterruptedException e)
    {
     Log.log(Log.ERROR,this,e);
    }
   }
  }

  AwtRunnableQueue.INSTANCE.queueAWTRunner(true);
 }

 /** cancel a task by its class
 * @since jEdit 5.1pre1
 */

 public void cancelTasksByClass(Class<? extends Task> clazz)
 {
  synchronized (tasks)
  {
   tasks.stream()
    .filter(task -> task.getClass().equals(clazz))
    .forEach(Task::cancel);
  }
 }

 /**
 * Encapsulate a runnable into a task.
 * It is done by the Threadpool when receiving a simple Runnable
 *
 * @param runnable the runnable to encapsulate
 * @return a Task
 */

 static Task decorate(Runnable runnable)
 {
  return new MyTask(runnable);
 }

 @FunctionalInterface
 public interface TaskVisitor
 {
  void visit(Task task);
 }

 private static class MyTask extends Task
 {
  private final Runnable runnable;

  private MyTask(Runnable runnable)
  {
   this.runnable = runnable;
  }

  @Override
  public String getStatus()
  {
   return runnable.toString();
  }

  public String toString()
  {
   return runnable.toString(); 
  }

  @Override
  public void _run()
  {
   runnable.run();
  }
 }
}

¤ Dauer der Verarbeitung: 0.16 Sekunden  (vorverarbeitet)  ¤





Download des
Quellennavigators
Download des
sprechenden Kalenders

in der Quellcodebibliothek suchen




Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.


Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff