KickJava   Java API By Example, From Geeks To Geeks.

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


1 /*
2  * EditorList.java
3  *
4  * Copyright (C) 2002 Peter Graves
5  * $Id: EditorList.java,v 1.1.1.1 2002/09/24 16:09:33 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 import java.util.Iterator JavaDoc;
26
27 public final class EditorList
28 {
29     private final ArrayList JavaDoc list = new ArrayList JavaDoc();
30
31     public synchronized int size()
32     {
33         return list.size();
34     }
35
36     public synchronized Editor get(int i)
37     {
38         if (i >= 0 && i < list.size())
39             return (Editor) list.get(i);
40         else
41             return null;
42     }
43
44     public synchronized void add(Editor editor)
45     {
46         if (list.contains(editor)) {
47             Debug.bug();
48             return;
49         }
50         list.add(editor);
51     }
52
53     public synchronized boolean remove(Editor editor)
54     {
55         return list.remove(editor);
56     }
57
58     public synchronized boolean contains(Editor editor)
59     {
60     return list.contains(editor);
61     }
62
63     public synchronized Iterator JavaDoc iterator()
64     {
65         return list.iterator();
66     }
67 }
68
Popular Tags