*** empty log message ***

1 files changed, 32 insertions, 0 deletions

diff --git a/newsources/scala/CaseClass.scala b/newsources/scala/CaseClass.scala
new file mode 100644
index 0000000000..e644a03750
--- /dev/null
+++ b/newsources/scala/CaseClass.scala
@@ -0,0 +1,32 @@
+/*                     __                                               *\
+**     ________ ___   / /  ___     Scala API                            **
+**    / __/ __// _ | / /  / _ |    (c) 2002-2004, LAMP/EPFL             **
+**  __\ \/ /__/ __ |/ /__/ __ |                                         **
+** /____/\___/_/ |_/____/_/ | |                                         **
+**                          |/                                          **
+** $Id$
+\*                                                                      */
+
+package scala;
+
+/** defines an access function for instances of case classes
+ *
+ *  @author  Burak Emir
+ */
+trait CaseClass extends AnyRef {
+
+  /** for a case class A(x_0,...,x_(k-1)), returns x_i for 0 <= i < k,
+  **  null otherwise
+  */
+  def caseElement(n: Int): Any ;
+
+  /** need also, for reflection
+  def setCaseElement(n: Int, v: Any): unit
+  */
+
+  /** for a case class A(x_0,...,x_(k-1)), returns k
+  */
+  def caseArity: Int;
+
+  def caseName: String;
+}