/* * CCVisu is a tool for visual graph clustering * and general force-directed graph layout. * This file is part of CCVisu. * * Copyright (C) 2005-2012 Dirk Beyer * * CCVisu is free software; you can redistribute it and/or * modify it under the terms of the GNU Lesser General Public License * as published by the Free Software Foundation; either * version 2.1 of the License, or (at your option) any later version. * * CCVisu 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 * Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License * along with CCVisu; if not, write to the Free Software * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA * * Please find the GNU Lesser General Public License in file * license_lgpl.txt or http://www.gnu.org/licenses/lgpl.txt * * Dirk Beyer (firstname.lastname@uni-passau.de) * University of Passau, Bavaria, Germany */ package org.sosy_lab.util; import java.util.Collection; import java.util.LinkedList; import java.util.concurrent.ExecutorService; import java.util.concurrent.Executors; import java.util.concurrent.TimeUnit; import org.sosy_lab.util.interfaces.ProgressReceiver; import org.sosy_lab.util.interfaces.Progressing; import org.sosy_lab.util.interfaces.WorkerManager; public class CCVisuWorkerManager implements WorkerManager { private ExecutorService executorService = null; private Collection<ProgressReceiver> receivers = new LinkedList<ProgressReceiver>(); @Override public void cancelActiveWorkerThreads() { synchronized (this) { if (executorService != null) { executorService.shutdownNow(); try { executorService.awaitTermination(5, TimeUnit.SECONDS); } catch (InterruptedException e) { } executorService = null; } } for (ProgressReceiver receiver : receivers) { receiver.processChange(this, 0, 0, ""); } } /** * Add a task that can provide progress information * to the executor service. */ @Override public <T extends Runnable & Progressing> void addAndRunTask(T task, String name) { for (ProgressReceiver receiver : receivers) { task.addProgressReceiver(receiver); } synchronized (this) { if (executorService == null) { executorService = Executors.newFixedThreadPool(1); } executorService.execute(task); } } @Override public void addReceiver(ProgressReceiver receiver) { assert receiver != null; receivers.add(receiver); } }