diff options
author | buraq <buraq@epfl.ch> | 2004-05-24 15:20:17 +0000 |
---|---|---|
committer | buraq <buraq@epfl.ch> | 2004-05-24 15:20:17 +0000 |
commit | 4daaa21895808a2147713df3a045cb08d9211933 (patch) | |
tree | 987c1bdda68c9d95ed733081622a514893ade670 /sources/scalac/util | |
parent | 0349ad65d868e3e6966882a9d50b308f538795e9 (diff) | |
download | scala-4daaa21895808a2147713df3a045cb08d9211933.tar.gz scala-4daaa21895808a2147713df3a045cb08d9211933.tar.bz2 scala-4daaa21895808a2147713df3a045cb08d9211933.zip |
name change select... to case...
Diffstat (limited to 'sources/scalac/util')
-rw-r--r-- | sources/scalac/util/Names.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sources/scalac/util/Names.java b/sources/scalac/util/Names.java index 619ddf5b07..4ab401a010 100644 --- a/sources/scalac/util/Names.java +++ b/sources/scalac/util/Names.java @@ -169,7 +169,6 @@ public class Names { public static final Name nobinding = Name.fromString("nobinding"); public static final Name next = Name.fromString("next"); public static final Name newArray = Name.fromString("newArray"); - public static final Name numberOfElements = Name.fromString("numberOfElements"); public static final Name null_ = Name.fromString("null"); public static final Name predef = Name.fromString("predef"); public static final Name print = Name.fromString("print"); @@ -177,9 +176,10 @@ public class Names { public static final Name scala = Name.fromString("scala"); public static final Name xml = Name.fromString("xml"); public static final Name synchronized_ = Name.fromString("synchronized"); + public static final Name caseArity = Name.fromString("caseArity"); + public static final Name caseElement = Name.fromString("caseElement"); public static final Name eq = Name.fromString("eq"); public static final Name equals = Name.fromString("equals"); - public static final Name selectElement = Name.fromString("selectElement"); public static final Name tail = Name.fromString("tail"); public static final Name toString = Name.fromString("toString"); public static final Name that = Name.fromString("that"); |