reintroduced StringUtil.regexpReplace
[mir.git] / source / mir / util / CachingRewindableIterator.java
1 /*
2  * Copyright (C) 2001-2006 The Mir-coders group
3  *
4  * This file is part of Mir.
5  *
6  * Mir is free software; you can redistribute it and/or modify
7  * it under the terms of the GNU General Public License as published by
8  * the Free Software Foundation; either version 2 of the License, or
9  * (at your option) any later version.
10  *
11  * Mir is distributed in the hope that it will be useful,
12  * but WITHOUT ANY WARRANTY; without even the implied warranty of
13  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14  * GNU General Public License for more details.
15  *
16  * You should have received a copy of the GNU General Public License
17  * along with Mir; if not, write to the Free Software
18  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
19  *
20  * In addition, as a special exception, The Mir-coders gives permission to link
21  * the code of this program with  any library licensed under the Apache Software License,
22  * and distribute linked combinations including the two.  You must obey the
23  * GNU General Public License in all respects for all of the code used other than
24  * the above mentioned libraries.  If you modify this file, you may extend this
25  * exception to your version of the file, but you are not obligated to do so.
26  * If you do not wish to do so, delete this exception statement from your version.
27  */
28 package mir.util;
29
30 import java.util.ArrayList;
31 import java.util.Iterator;
32 import java.util.List;
33
34 public class CachingRewindableIterator implements RewindableIterator {
35   private Iterator master;
36   private List cachedItems;
37   private int iterationPosition;
38
39   public CachingRewindableIterator(Iterator anIterator) {
40     master = anIterator;
41     cachedItems = new ArrayList();
42     iterationPosition = 0;
43   }
44
45   public boolean hasNext() {
46     return iterationPosition<cachedItems.size() || master.hasNext();
47   }
48
49   public Object next() {
50     Object result;
51
52     if (iterationPosition>=cachedItems.size()) {
53       cachedItems.add(master.next());
54     }
55
56     result = cachedItems.get(iterationPosition);
57     iterationPosition++;
58
59     return result;
60   }
61
62   public void remove() {
63     throw new UnsupportedOperationException();
64   }
65
66   public void rewind() {
67     iterationPosition=0;
68   }
69 }