caseclass->product

1 files changed, 42 insertions, 0 deletions

diff --git a/src/library/scala/Product.scala b/src/library/scala/Product.scala
new file mode 100644
index 0000000000..07bc5b045c
--- /dev/null
+++ b/src/library/scala/Product.scala
@@ -0,0 +1,42 @@
+/*                     __                                               *\
+**     ________ ___   / /  ___     Scala API                            **
+**    / __/ __// _ | / /  / _ |    (c) 2002-2006, LAMP/EPFL             **
+**  __\ \/ /__/ __ |/ /__/ __ |                                         **
+** /____/\___/_/ |_/____/_/ | |                                         **
+**                          |/                                          **
+\*                                                                      */
+
+// $Id: CaseClass.scala 8756 2006-09-22 16:00:23Z michelou $
+
+
+package scala
+
+/** The trait <code>CaseClass</code> defines access functions for instances
+ *  of case classes.
+ *
+ *  @author  Burak Emir
+ *  @version 1.0
+ */
+trait Product extends AnyRef {
+
+  /** for a case class <code>A(x_1,...,x_k))</code>, returns <code>x_i</code>
+   *  for <code>1 &lt;= i &lt; k</code>
+   *
+   *  @param  n the position of the n-th element
+   *  @throws IndexOutOfBoundsException
+   *  @return  ...
+   */
+  def element(n: Int): Any
+
+  /** return k for a product <code>A(x_1,...,x_k))</code>
+   */
+  def arity: Int
+
+  /**
+   *  By default the empty string. Implementations may override this
+   *  method in order to prepend a string prefix to the result of the
+   *  toString methods.
+   */
+  def productPrefix = ""
+
+}