summaryrefslogtreecommitdiff
path: root/sources/scalac/util
diff options
context:
space:
mode:
authorschinz <schinz@epfl.ch>2005-03-26 17:50:46 +0000
committerschinz <schinz@epfl.ch>2005-03-26 17:50:46 +0000
commita274f949c3aa9db16bd5addd0eed4f85388e74ed (patch)
tree437fff9bdb61876ccbf5fee5ef8b78ffa611f25b /sources/scalac/util
parent9917c668018f845f55e09f74323509791063a463 (diff)
downloadscala-a274f949c3aa9db16bd5addd0eed4f85388e74ed.tar.gz
scala-a274f949c3aa9db16bd5addd0eed4f85388e74ed.tar.bz2
scala-a274f949c3aa9db16bd5addd0eed4f85388e74ed.zip
- introduced isInstanceOf$erased and asInstance...
- introduced isInstanceOf$erased and asInstanceOf$erased methods, which work on the erased types; things to note: * before TypesAsValues phase, either variant can be used, although the erased ones need to be used with caution, when speed matters; * after TypesAsValues phase, only the erased variants should be used (done automatically by TreeGen); * when run time types are disabled, the TypesAsValues phase is not skipped anymore: it is turned into a trivial phase which rewrites all non-erased instanceof/casts into erased ones.
Diffstat (limited to 'sources/scalac/util')
-rw-r--r--sources/scalac/util/Names.java2
1 files changed, 2 insertions, 0 deletions
diff --git a/sources/scalac/util/Names.java b/sources/scalac/util/Names.java
index c2e759920c..18013be172 100644
--- a/sources/scalac/util/Names.java
+++ b/sources/scalac/util/Names.java
@@ -157,6 +157,7 @@ public class Names {
public static final Name apply = Name.fromString("apply");
public static final Name array = Name.fromString("array");
public static final Name asInstanceOf = Name.fromString("asInstanceOf");
+ public static final Name asInstanceOfE = Name.fromString("asInstanceOf$erased");
public static final Name box = Name.fromString("box");
public static final Name caseArity = Name.fromString("caseArity");
public static final Name caseElement = Name.fromString("caseElement");
@@ -185,6 +186,7 @@ public class Names {
public static final Name hasNext = Name.fromString("hasNext");
public static final Name head = Name.fromString("head");
public static final Name isInstanceOf = Name.fromString("isInstanceOf");
+ public static final Name isInstanceOfE = Name.fromString("isInstanceOf$erased");
public static final Name isDefinedAt = Name.fromString("isDefinedAt");
public static final Name isEmpty = Name.fromString("isEmpty");
public static final Name instantiate = Name.fromString("instantiate");