diff options
author | mihaylov <mihaylov@epfl.ch> | 2003-02-25 16:56:01 +0000 |
---|---|---|
committer | mihaylov <mihaylov@epfl.ch> | 2003-02-25 16:56:01 +0000 |
commit | ddfa3561ca55acb4acae2b8616ebd3b411ebf6a5 (patch) | |
tree | 2ad3b6f048c7f72977afe08d91f1e5f69fa021ab | |
parent | 83e1bd9b50b5c60dc080617bf8c7f164a2a4a181 (diff) | |
download | scala-ddfa3561ca55acb4acae2b8616ebd3b411ebf6a5.tar.gz scala-ddfa3561ca55acb4acae2b8616ebd3b411ebf6a5.tar.bz2 scala-ddfa3561ca55acb4acae2b8616ebd3b411ebf6a5.zip |
Minor code cleanup: Use the static encode() fun...
Minor code cleanup: Use the static encode() function where possible.
-rw-r--r-- | sources/scalac/util/Names.java | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/sources/scalac/util/Names.java b/sources/scalac/util/Names.java index cd0753cace..ac41d1192b 100644 --- a/sources/scalac/util/Names.java +++ b/sources/scalac/util/Names.java @@ -16,16 +16,16 @@ public class Names { public static final Name ANON_CLASS_NAME = Name.fromString("$class"); public static final Name OUTER_PREFIX = Name.fromString("outer"); - public static final Name _EQ = NameTransformer.encode(Name.fromString("_=")); - public static final Name MINUS = NameTransformer.encode(Name.fromString("-")); - public static final Name PLUS = NameTransformer.encode(Name.fromString("+")); - public static final Name BANG = NameTransformer.encode(Name.fromString("!")); - public static final Name TILDE = NameTransformer.encode(Name.fromString("~")); - public static final Name EQEQ = NameTransformer.encode(Name.fromString("==")); - public static final Name BANGEQ = NameTransformer.encode(Name.fromString("!=")); - public static final Name BARBAR = NameTransformer.encode(Name.fromString("||")); - public static final Name AMPAMP = NameTransformer.encode(Name.fromString("&&")); - public static final Name COLONCOLON = NameTransformer.encode(Name.fromString("::")); + public static final Name _EQ = encode("_="); + public static final Name MINUS = encode("-"); + public static final Name PLUS = encode("+"); + public static final Name BANG = encode("!"); + public static final Name TILDE = encode("~"); + public static final Name EQEQ = encode("=="); + public static final Name BANGEQ = encode("!="); + public static final Name BARBAR = encode("||"); + public static final Name AMPAMP = encode("&&"); + public static final Name COLONCOLON = encode("::"); public static final Name Any = Name.fromString("Any"); public static final Name AnyVal = Name.fromString("AnyVal"); |