/*                     __                                               *\
**     ________ ___   / /  ___     Scala API                            **
**    / __/ __// _ | / /  / _ |    (c) 2002-2003, LAMP/EPFL             **
**  __\ \/ /__/ __ |/ /__/ __ |                                         **
** /____/\___/_/ |_/____/_/ | |                                         **
**                          |/                                          **
** $Id$
\*                                                                      */

package scala;

/** defines an access function for instances of case classes (not case objects)
 *
 *  @author  Burak Emir
 */
trait CaseClass {

  /** for a case class A(x_0,...,x_(k-1)), returns x_i for 0 &lt;= i &lt; k,
  **  null otherwise
  */
  def caseElement(n: Int): Any ;

  /** for a case class A(x_0,...,x_(k-1)), returns k
  */
  def caseArity: Int ;

}

/*                     __                                               *\
**     ________ ___   / /  ___     Scala API                            **
**    / __/ __// _ | / /  / _ |    (c) 2002-2003, LAMP/EPFL             **
**  __\ \/ /__/ __ |/ /__/ __ |                                         **
** /____/\___/_/ |_/____/_/ | |                                         **
**                          |/                                          **
** $Id$
\*                                                                      */

package scala;

/** defines an access function for instances of case classes (not case objects)
 *
 *  @author  Burak Emir
 */
trait CaseClass {

  /** for a case class A(x_0,...,x_(k-1)), returns x_i for 0 &lt;= i &lt; k,
  **  null otherwise
  */
  def caseElement(n:int):Any ;

  /** for a case class A(x_0,...,x_(k-1)), returns k
  */
  def caseArity: int ;

}

--- 
+++ 
@@ -18,10 +18,10 @@
   /** for a case class A(x_0,...,x_(k-1)), returns x_i for 0 &lt;= i &lt; k,
   **  null otherwise
   */
-  def caseElement(n:int):Any ;
+  def caseElement(n: Int): Any ;
 
   /** for a case class A(x_0,...,x_(k-1)), returns k
   */
-  def caseArity: int ;
+  def caseArity: Int ;
 
 }
Use Int instead of int.

with the -nopredefs option

