diff options
author | schinz <schinz@epfl.ch> | 2003-06-27 09:04:30 +0000 |
---|---|---|
committer | schinz <schinz@epfl.ch> | 2003-06-27 09:04:30 +0000 |
commit | f1a6676465fb972b1d1eca10e95c7fc46acc32db (patch) | |
tree | 64cd12e49498d5a3aa879d29c242f1b0911a7db9 | |
parent | b80391a8055694e70c8efeebd47d8b4f8421d4e3 (diff) | |
download | scala-f1a6676465fb972b1d1eca10e95c7fc46acc32db.tar.gz scala-f1a6676465fb972b1d1eca10e95c7fc46acc32db.tar.bz2 scala-f1a6676465fb972b1d1eca10e95c7fc46acc32db.zip |
- made SubstThisMap constructor public, and add...
- made SubstThisMap constructor public, and added a second constructor
taking two symbols, instead of one symbol and one type
-rw-r--r-- | sources/scalac/symtab/Type.java | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/sources/scalac/symtab/Type.java b/sources/scalac/symtab/Type.java index 4ffdeb496d..471c206b9c 100644 --- a/sources/scalac/symtab/Type.java +++ b/sources/scalac/symtab/Type.java @@ -1156,10 +1156,13 @@ public class Type implements Modifiers, Kinds, TypeTags { public static class SubstThisMap extends Map { Symbol from; Type to; - protected SubstThisMap(Symbol from, Type to) { + public SubstThisMap(Symbol from, Type to) { this.from = from; this.to = to; } + public SubstThisMap(Symbol oldSym, Symbol newSym) { + this(oldSym, newSym.thisType()); + } public Type apply(Type t) { switch (t) { case ThisType(Symbol sym): |