2 * Copyright (C) 2001-2006 The Mir-coders group
4 * This file is part of Mir.
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.
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.
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
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.
30 import java.util.ArrayList;
31 import java.util.Iterator;
32 import java.util.List;
34 public class CachingRewindableIterator implements RewindableIterator {
35 private Iterator master;
36 private List cachedItems;
37 private int iterationPosition;
39 public CachingRewindableIterator(Iterator anIterator) {
41 cachedItems = new ArrayList();
42 iterationPosition = 0;
45 public boolean hasNext() {
46 return iterationPosition<cachedItems.size() || master.hasNext();
49 public Object next() {
52 if (iterationPosition>=cachedItems.size()) {
53 cachedItems.add(master.next());
56 result = cachedItems.get(iterationPosition);
62 public void remove() {
63 throw new UnsupportedOperationException();
66 public void rewind() {