From 00048f2901012137789f0af5ff5d733a581fc90e Mon Sep 17 00:00:00 2001
From: buraq <buraq@epfl.ch>
Date: Tue, 18 May 2004 10:42:03 +0000
Subject: case classes implement trait scala.CaseClass

---
 sources/scalac/util/Names.java | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'sources/scalac/util/Names.java')

diff --git a/sources/scalac/util/Names.java b/sources/scalac/util/Names.java
index 87858f395c..619ddf5b07 100644
--- a/sources/scalac/util/Names.java
+++ b/sources/scalac/util/Names.java
@@ -106,6 +106,7 @@ public class Names {
     public static final Name AnyRef = Name.fromString("AnyRef");
     public static final Name Array = Name.fromString("Array");
     public static final Name Byte = Name.fromString("Byte");
+    public static final Name CaseClass = Name.fromString("CaseClass");
     public static final Name Catch = Name.fromString("Catch");
     public static final Name Char = Name.fromString("Char");
     public static final Name Boolean = Name.fromString("Boolean");
@@ -164,9 +165,11 @@ 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 n = Name.fromString("n");
     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");
@@ -176,6 +179,7 @@ public class Names {
     public static final Name synchronized_ = Name.fromString("synchronized");
     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");
-- 
cgit v1.2.3