summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorschinz <schinz@epfl.ch>2003-08-15 06:36:34 +0000
committerschinz <schinz@epfl.ch>2003-08-15 06:36:34 +0000
commit396a60a22c2724676071449d55aa9b29cd8c4322 (patch)
tree0751af62a6b15fb4b6afa4fa72deacc0064b2b4d
parentfb39bdf496902c7ea8548987bb28d03013e01c4c (diff)
downloadscala-396a60a22c2724676071449d55aa9b29cd8c4322.tar.gz
scala-396a60a22c2724676071449d55aa9b29cd8c4322.tar.bz2
scala-396a60a22c2724676071449d55aa9b29cd8c4322.zip
- removed StackedMap, which isn't used anymore
-rw-r--r--config/list/lamplib.lst1
-rw-r--r--sources/ch/epfl/lamp/util/StackedMap.java47
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();
- }
-}