diff options
author | paltherr <paltherr@epfl.ch> | 2003-02-19 11:53:09 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2003-02-19 11:53:09 +0000 |
commit | 6ea3ab4665372dddb422d4e9839dfa915b2d0606 (patch) | |
tree | 0c9211f9e05dbfc3c79048d73b19e57ee0d5c728 /sources/scalac | |
parent | ee984f7f4710b5ae48d7937725c41fe99cc81964 (diff) | |
download | scala-6ea3ab4665372dddb422d4e9839dfa915b2d0606.tar.gz scala-6ea3ab4665372dddb422d4e9839dfa915b2d0606.tar.bz2 scala-6ea3ab4665372dddb422d4e9839dfa915b2d0606.zip |
- Added some names for class Primitives
Diffstat (limited to 'sources/scalac')
-rw-r--r-- | sources/scalac/util/Names.java | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/sources/scalac/util/Names.java b/sources/scalac/util/Names.java index 915b686d37..cd0753cace 100644 --- a/sources/scalac/util/Names.java +++ b/sources/scalac/util/Names.java @@ -97,9 +97,39 @@ public class Names { public static final Name scala_Tuple = Name.fromString("scala.Tuple"); public static final Name scala_Unit = Name.fromString("scala.Unit"); public static final Name scala_runtime = Name.fromString("scala.runtime"); + public static final Name scala_runtime_RunTime = Name.fromString("scala.runtime.RunTime"); + public static final Name equals = Name.fromString("equals"); public static final Name toString = Name.fromString("toString"); public static final Name this_ = Name.fromString("this"); public static final Name throw_ = Name.fromString("throw"); public static final Name update = Name.fromString("update"); + public static final Name length = Name.fromString("length"); + + public static final Name + ZNOT = encode("!"), + ZAND = encode("&&"), + ZOR = encode("||"), + NOT = encode("~"), + ADD = encode("+"), + SUB = encode("-"), + MUL = encode("*"), + DIV = encode("/"), + MOD = encode("%"), + EQ = encode("=="), + NE = encode("!="), + LT = encode("<"), + LE = encode("<="), + GT = encode(">"), + GE = encode(">="), + OR = encode("|"), + XOR = encode("^"), + AND = encode("&"), + LSL = encode("<<"), + LSR = encode(">>>"), + ASR = encode(">>"); + + private static Name encode(String string) { + return NameTransformer.encode(Name.fromString(string)); + } } |