01: /*
02: * EditorList.java
03: *
04: * Copyright (C) 2002 Peter Graves
05: * $Id: EditorList.java,v 1.1.1.1 2002/09/24 16:09:33 piso Exp $
06: *
07: * This program is free software; you can redistribute it and/or
08: * modify it under the terms of the GNU General Public License
09: * 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;
25: import java.util.Iterator;
26:
27: public final class EditorList {
28: private final ArrayList list = new ArrayList();
29:
30: public synchronized int size() {
31: return list.size();
32: }
33:
34: public synchronized Editor get(int i) {
35: if (i >= 0 && i < list.size())
36: return (Editor) list.get(i);
37: else
38: return null;
39: }
40:
41: public synchronized void add(Editor editor) {
42: if (list.contains(editor)) {
43: Debug.bug();
44: return;
45: }
46: list.add(editor);
47: }
48:
49: public synchronized boolean remove(Editor editor) {
50: return list.remove(editor);
51: }
52:
53: public synchronized boolean contains(Editor editor) {
54: return list.contains(editor);
55: }
56:
57: public synchronized Iterator iterator() {
58: return list.iterator();
59: }
60: }
|