diff options
| author | buraq <buraq@epfl.ch> | 2003-07-02 16:57:29 +0000 |
|---|---|---|
| committer | buraq <buraq@epfl.ch> | 2003-07-02 16:57:29 +0000 |
| commit | ba84abf44db859307bbfe3283dd7f23ed382fd21 (patch) | |
| tree | e43612af34cddf6c94a04ad2d5a372b42d52f2b4 /sources/scalac/util | |
| parent | dc0594eee9776c26f7eaee73b7cc9731338acb36 (diff) | |
| download | scala-ba84abf44db859307bbfe3283dd7f23ed382fd21.tar.gz scala-ba84abf44db859307bbfe3283dd7f23ed382fd21.tar.bz2 scala-ba84abf44db859307bbfe3283dd7f23ed382fd21.zip | |
some names for sequence and iterator handling
Diffstat (limited to 'sources/scalac/util')
| -rw-r--r-- | sources/scalac/util/Names.java | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/sources/scalac/util/Names.java b/sources/scalac/util/Names.java index 526dfe7943..0b224b9758 100644 --- a/sources/scalac/util/Names.java +++ b/sources/scalac/util/Names.java @@ -61,12 +61,14 @@ public class Names { public static final Name as = Name.fromString("as"); public static final Name box = Name.fromString("box"); public static final Name elem = Name.fromString("elem"); + public static final Name elements = Name.fromString("elements"); public static final Name false_ = Name.fromString("false"); public static final Name filter = Name.fromString("filter"); public static final Name flatmap = Name.fromString("flatMap"); public static final Name foreach = Name.fromString("foreach"); public static final Name getClass = Name.fromString("getClass"); public static final Name hashCode = Name.fromString("hashCode"); + public static final Name hasNext = Name.fromString("hasNext"); public static final Name is = Name.fromString("is"); public static final Name isDefinedAt = Name.fromString("isDefinedAt"); public static final Name java = Name.fromString("java"); @@ -78,6 +80,7 @@ public class Names { public static final Name length = Name.fromString("length"); public static final Name match = Name.fromString("match"); public static final Name map = Name.fromString("map"); + public static final Name next = Name.fromString("next"); public static final Name null_ = Name.fromString("null"); public static final Name predef = Name.fromString("predef"); public static final Name runtime = Name.fromString("runtime"); @@ -97,6 +100,8 @@ public class Names { public static final Name scala_Float = Name.fromString("scala.Float"); public static final Name scala_Function = Name.fromString("scala.Function"); public static final Name scala_Int = Name.fromString("scala.Int"); + + public static final Name scala_Iterator = Name.fromString("scala.Iterator"); public static final Name scala_Long = Name.fromString("scala.Long"); public static final Name scala_Nil = Name.fromString("scala.Nil"); public static final Name scala_Object = Name.fromString("scala.Object"); |