diff options
author | schinz <schinz@epfl.ch> | 2005-03-26 17:50:46 +0000 |
---|---|---|
committer | schinz <schinz@epfl.ch> | 2005-03-26 17:50:46 +0000 |
commit | a274f949c3aa9db16bd5addd0eed4f85388e74ed (patch) | |
tree | 437fff9bdb61876ccbf5fee5ef8b78ffa611f25b /sources/scalac/util | |
parent | 9917c668018f845f55e09f74323509791063a463 (diff) | |
download | scala-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.java | 2 |
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"); |