diff options
author | schinz <schinz@epfl.ch> | 2003-08-15 06:36:34 +0000 |
---|---|---|
committer | schinz <schinz@epfl.ch> | 2003-08-15 06:36:34 +0000 |
commit | 396a60a22c2724676071449d55aa9b29cd8c4322 (patch) | |
tree | 0751af62a6b15fb4b6afa4fa72deacc0064b2b4d | |
parent | fb39bdf496902c7ea8548987bb28d03013e01c4c (diff) | |
download | scala-396a60a22c2724676071449d55aa9b29cd8c4322.tar.gz scala-396a60a22c2724676071449d55aa9b29cd8c4322.tar.bz2 scala-396a60a22c2724676071449d55aa9b29cd8c4322.zip |
- removed StackedMap, which isn't used anymore
-rw-r--r-- | config/list/lamplib.lst | 1 | ||||
-rw-r--r-- | sources/ch/epfl/lamp/util/StackedMap.java | 47 |
2 files changed, 0 insertions, 48 deletions
diff --git a/config/list/lamplib.lst b/config/list/lamplib.lst index a381d65a1e..d8054d35ab 100644 --- a/config/list/lamplib.lst +++ b/config/list/lamplib.lst @@ -8,6 +8,5 @@ util/ForwardingMap.java util/Pair.java util/Position.java util/SourceFile.java -util/StackedMap.java ############################################################################## diff --git a/sources/ch/epfl/lamp/util/StackedMap.java b/sources/ch/epfl/lamp/util/StackedMap.java deleted file mode 100644 index 171976d7a0..0000000000 --- a/sources/ch/epfl/lamp/util/StackedMap.java +++ /dev/null @@ -1,47 +0,0 @@ -package ch.epfl.lamp.util; - -import java.util.*; - -/** - * A stack of hash maps. - * - * @author Michel Schinz - * @version 1.0 - */ - -public class StackedHashMap extends AbstractMap implements Map { - protected LinkedList/*<HashMap>*/ maps = new LinkedList(); - protected HashMap topmostMap = new HashMap(); - - public void push() { - maps.addFirst(topmostMap); - topmostMap = new HashMap(topmostMap); - } - - public void push(Map map) { - push(); - topmostMap.putAll(map); - } - - public void pop() { - topmostMap = (HashMap)maps.removeFirst(); - } - - public Object put(Object key, Object value) { - return topmostMap.put(key, value); - } - - public void putAll(Object[] keys, Object[] values) { - assert keys.length == values.length; - for (int i = 0; i < keys.length; ++i) - topmostMap.put(keys[i], values[i]); - } - - public Object get(Object key) { - return topmostMap.get(key); - } - - public Set entrySet() { - return topmostMap.entrySet(); - } -} |