KickJava   Java API By Example, From Geeks To Geeks.

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


1 /*
2  * EditorIterator.java
3  *
4  * Copyright (C) 2002 Peter Graves
5  * $Id: EditorIterator.java,v 1.1.1.1 2002/09/24 16:09:27 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.Iterator JavaDoc;
25 import java.util.NoSuchElementException JavaDoc;
26
27 public final class EditorIterator implements Iterator JavaDoc
28 {
29     private Iterator JavaDoc it;
30
31     public EditorIterator()
32     {
33         this(Editor.getEditorList().iterator());
34     }
35
36     public EditorIterator(Iterator JavaDoc it)
37     {
38         Debug.assertTrue(it != null);
39         Debug.assertFalse(it instanceof EditorIterator);
40         this.it = it;
41     }
42
43     public boolean hasNext()
44     {
45         return it.hasNext();
46     }
47
48     public Object JavaDoc next()
49     {
50         return it.next();
51     }
52
53     public Editor nextEditor()
54     {
55         return (Editor) it.next();
56     }
57
58     public void remove()
59     {
60         throw new UnsupportedOperationException JavaDoc();
61     }
62 }
63
Popular Tags