diff options
| author | schinz <schinz@epfl.ch> | 2005-03-28 07:41:32 +0000 |
|---|---|---|
| committer | schinz <schinz@epfl.ch> | 2005-03-28 07:41:32 +0000 |
| commit | 2e064cb5740198a9a8f6fbcabc590b9874800032 (patch) | |
| tree | b3b38961021aada997efef07a52af00e21bd66df /sources/scalac/util/Names.java | |
| parent | 9602bf11e93ac5a449f0ab492f3c74f2fa45fa56 (diff) | |
| download | scala-2e064cb5740198a9a8f6fbcabc590b9874800032.tar.gz scala-2e064cb5740198a9a8f6fbcabc590b9874800032.tar.bz2 scala-2e064cb5740198a9a8f6fbcabc590b9874800032.zip | |
- added weakIsInstance method in ScalaClassType...
- added weakIsInstance method in ScalaClassType, which make it possible
to slightly optimise instance tests when the type is that of a known
class (e.g. x.isInstanceOf[C[T]])
Diffstat (limited to 'sources/scalac/util/Names.java')
| -rw-r--r-- | sources/scalac/util/Names.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sources/scalac/util/Names.java b/sources/scalac/util/Names.java index 18013be172..0fda2848fe 100644 --- a/sources/scalac/util/Names.java +++ b/sources/scalac/util/Names.java @@ -222,6 +222,7 @@ public class Names { public static final Name update = Name.fromString("update"); public static final Name view = Name.fromString("view"); public static final Name wait = Name.fromString("wait"); + public static final Name weakIsInstance = Name.fromString("weakIsInstance"); public static final Name xml = Name.fromString("xml"); |