summaryrefslogtreecommitdiff
path: root/sources/scalac/util/Names.java
diff options
context:
space:
mode:
authorschinz <schinz@epfl.ch>2005-01-17 14:43:28 +0000
committerschinz <schinz@epfl.ch>2005-01-17 14:43:28 +0000
commit4fd6b0098ed0ae704946fc97e97b7f97dee1026e (patch)
tree116f744de53d0ebd4cd490208405040e62633969 /sources/scalac/util/Names.java
parent096ab28f3cfcecc1e7746a97161387dd5ee22a8f (diff)
downloadscala-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/Names.java')
-rw-r--r--sources/scalac/util/Names.java13
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");