KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > armedbear > j > PendingOperations


1 /*
2  * PendingOperations.java
3  *
4  * Copyright (C) 2002 Peter Graves
5  * $Id: PendingOperations.java,v 1.1.1.1 2002/09/24 16:07:45 piso Exp $
6  *
7  * This program is free software; you can redistribute it and/or
8  * modify it under the terms of the GNU General Public License
9  * as published by the Free Software Foundation; either version 2
10  * of the License, or (at your option) any later version.
11  *
12  * This program is distributed in the hope that it will be useful,
13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15  * GNU General Public License for more details.
16  *
17  * You should have received a copy of the GNU General Public License
18  * along with this program; if not, write to the Free Software
19  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
20  */

21
22 package org.armedbear.j;
23
24 import java.util.ArrayList JavaDoc;
25
26 public final class PendingOperations implements Runnable JavaDoc
27 {
28     private ArrayList JavaDoc operations;
29
30     public PendingOperations()
31     {
32     }
33
34     public synchronized void add(Object JavaDoc object)
35     {
36         if (operations == null)
37             operations = new ArrayList JavaDoc();
38         operations.add(object);
39     }
40
41     public synchronized void remove(Object JavaDoc object)
42     {
43         operations.remove(object);
44         if (operations.size() == 0)
45             notify();
46     }
47
48     public synchronized void run()
49     {
50         if (operations != null && operations.size() > 0) {
51             Editor.currentEditor().status("Completing pending operations...");
52             while (operations.size() > 0) {
53                 try {
54                     wait();
55                 }
56                 catch (InterruptedException JavaDoc e) {
57                     Log.error(e);
58                 }
59             }
60         }
61     }
62 }
63
Popular Tags