diff options
| author | schinz <schinz@epfl.ch> | 2005-03-10 09:39:58 +0000 |
|---|---|---|
| committer | schinz <schinz@epfl.ch> | 2005-03-10 09:39:58 +0000 |
| commit | 5363f24d1db8f73e9f52f100665b19f5b75e356a (patch) | |
| tree | 75caf344a21e01e160d313e1151199312d37c1c5 /sources/scalac/util | |
| parent | b52ba308913f45306a054ed4cff861d1d209d1be (diff) | |
| download | scala-5363f24d1db8f73e9f52f100665b19f5b75e356a.tar.gz scala-5363f24d1db8f73e9f52f100665b19f5b75e356a.tar.bz2 scala-5363f24d1db8f73e9f52f100665b19f5b75e356a.zip | |
- renamed "checkCastability" (in Type and subcl...
- renamed "checkCastability" (in Type and subclasses) to "cast", which
is nicer and closer to Java 1.5, - renamed "display" to "ancestors" in
run-time types
Diffstat (limited to 'sources/scalac/util')
| -rw-r--r-- | sources/scalac/util/Names.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sources/scalac/util/Names.java b/sources/scalac/util/Names.java index ca7dc02c53..43b8953830 100644 --- a/sources/scalac/util/Names.java +++ b/sources/scalac/util/Names.java @@ -161,7 +161,7 @@ public class Names { public static final Name caseArity = Name.fromString("caseArity"); public static final Name caseElement = Name.fromString("caseElement"); public static final Name cur = Name.fromString("cur"); // used in translation of automata - public static final Name checkCastability = Name.fromString("checkCastability"); + public static final Name cast = Name.fromString("cast"); public static final Name coerce = Name.fromString("coerce"); public static final Name defaultValue = Name.fromString("defaultValue"); public static final Name elem = Name.fromString("elem"); |