diff options
author | schinz <schinz@epfl.ch> | 2005-01-17 14:43:28 +0000 |
---|---|---|
committer | schinz <schinz@epfl.ch> | 2005-01-17 14:43:28 +0000 |
commit | 4fd6b0098ed0ae704946fc97e97b7f97dee1026e (patch) | |
tree | 116f744de53d0ebd4cd490208405040e62633969 /sources/scalac/util | |
parent | 096ab28f3cfcecc1e7746a97161387dd5ee22a8f (diff) | |
download | scala-4fd6b0098ed0ae704946fc97e97b7f97dee1026e.tar.gz scala-4fd6b0098ed0ae704946fc97e97b7f97dee1026e.tar.bz2 scala-4fd6b0098ed0ae704946fc97e97b7f97dee1026e.zip |
- added a few methods and fields related to run...
- added a few methods and fields related to run time types
Diffstat (limited to 'sources/scalac/util')
-rw-r--r-- | sources/scalac/util/Names.java | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/sources/scalac/util/Names.java b/sources/scalac/util/Names.java index 1017950ba8..ed4810d98d 100644 --- a/sources/scalac/util/Names.java +++ b/sources/scalac/util/Names.java @@ -74,12 +74,16 @@ public class Names { return Name.fromString(TYPE_PREFIX + sym.name); } - public static Name INSTANTIATE(Symbol sym) { - return Name.fromString(INSTANTIATE_PREFIX + sym.name); + public static Name INSTANTIATE(Symbol sym, boolean isStatic) { + return Name.fromString(INSTANTIATE_PREFIX + + sym.name + + (isStatic ? "$" : "")); } - public static Name TYPECONSTRUCTOR(Symbol sym) { - return Name.fromString(TYPECONSTRUCTOR_PREFIX + sym.name); + public static Name TYPECONSTRUCTOR(Symbol sym, boolean isStatic) { + return Name.fromString(TYPECONSTRUCTOR_PREFIX + + sym.name + + (isStatic ? "$" : "")); } public static final Name ERROR = Name.fromString("<error>"); @@ -199,6 +203,7 @@ public class Names { public static final Name report = Name.fromString("report"); public static final Name runtime = Name.fromString("runtime"); public static final Name scala = Name.fromString("scala"); + public static final Name setParents = Name.fromString("setParents"); public static final Name synchronized_ = Name.fromString("synchronized"); public static final Name tag = Name.fromString("$tag"); public static final Name tail = Name.fromString("tail"); |