From 396a60a22c2724676071449d55aa9b29cd8c4322 Mon Sep 17 00:00:00 2001
From: schinz <schinz@epfl.ch>
Date: Fri, 15 Aug 2003 06:36:34 +0000
Subject: - removed StackedMap, which isn't used anymore

---
 config/list/lamplib.lst                   |  1 -
 sources/ch/epfl/lamp/util/StackedMap.java | 47 -------------------------------
 2 files changed, 48 deletions(-)
 delete mode 100644 sources/ch/epfl/lamp/util/StackedMap.java

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();
-    }
-}
-- 
cgit v1.2.3