diff options
| author | paltherr <paltherr@epfl.ch> | 2004-11-22 09:45:02 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2004-11-22 09:45:02 +0000 |
| commit | 0610ba492fae05dbc85bc9e007b3a3bc986ef7d8 (patch) | |
| tree | c9445c0c2f122772ebc3746240507e4fe2fc8047 /sources/scalac/util | |
| parent | 7108592b2bb4a5a694d41f38c9ad86a728650207 (diff) | |
| download | scala-0610ba492fae05dbc85bc9e007b3a3bc986ef7d8.tar.gz scala-0610ba492fae05dbc85bc9e007b3a3bc986ef7d8.tar.bz2 scala-0610ba492fae05dbc85bc9e007b3a3bc986ef7d8.zip | |
- Removed class UniqueID (symbols have already ...
- Removed class UniqueID (symbols have already an internal unique
identifier)
Diffstat (limited to 'sources/scalac/util')
| -rw-r--r-- | sources/scalac/util/Debug.java | 2 | ||||
| -rw-r--r-- | sources/scalac/util/UniqueID.java | 30 |
2 files changed, 1 insertions, 31 deletions
diff --git a/sources/scalac/util/Debug.java b/sources/scalac/util/Debug.java index 990489798d..f6b776a112 100644 --- a/sources/scalac/util/Debug.java +++ b/sources/scalac/util/Debug.java @@ -202,7 +202,7 @@ public class SymbolDebugger implements Debugger { buffer.append(symbol.name); if (Global.instance.uniqid) { buffer.append('#'); - buffer.append(Global.instance.uniqueID.id(symbol)); + buffer.append(symbol.id); } if (symbol.isConstructor()) { buffer.append('('); diff --git a/sources/scalac/util/UniqueID.java b/sources/scalac/util/UniqueID.java deleted file mode 100644 index 59e31a9de6..0000000000 --- a/sources/scalac/util/UniqueID.java +++ /dev/null @@ -1,30 +0,0 @@ -/* ____ ____ ____ ____ ______ *\ -** / __// __ \/ __// __ \/ ____/ SOcos COmpiles Scala ** -** __\_ \/ /_/ / /__/ /_/ /\_ \ (c) 2002, LAMP/EPFL ** -** /_____/\____/\___/\____/____/ ** -** ** -\* */ - -// $Id$ - -package scalac.util; - -import java.util.*; - -/** - * Class to assign unique and small numbers to objects, based on their - * identity. - * - * @author Michel Schinz - * @version 1.0 - */ - -public class UniqueID { - protected Map ids = new HashMap(); - - public int id(Object obj) { - if (! ids.containsKey(obj)) - ids.put(obj, new Integer(ids.size())); - return ((Integer)ids.get(obj)).intValue(); - } -} |