/* __ *\
** ________ ___ / / ___ Scala API **
** / __/ __// _ | / / / _ | (c) 2002-2006, LAMP/EPFL **
** __\ \/ /__/ __ |/ /__/ __ | **
** /____/\___/_/ |_/____/_/ | | **
** |/ **
\* */
// generated on Tue Nov 28 17:25:56 CET 2006
package scala
import Predef._
object Product20 {
def unapply[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20](x:Any): Option[Product20[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20]] =
if(x.isInstanceOf[Product20[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20]]) Some(x.asInstanceOf[Product20[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20]]) else None
}
/** Product20 is a cartesian product of 20 components
*/
trait Product20 [+T1, +T2, +T3, +T4, +T5, +T6, +T7, +T8, +T9, +T10, +T11, +T12, +T13, +T14, +T15, +T16, +T17, +T18, +T19, +T20] extends Product {
/**
* The arity of this product.
* @return 20
*/
override def arity = 20
/**
* Returns the n-th projection of this product if 0<=n<arity, otherwise null
* @param n number of the projection to be returned
* @return same as _(n+1)
* @throws IndexOutOfBoundsException
*/
override def element(n: Int) = n match {
case 0 => _1
case 1 => _2
case 2 => _3
case 3 => _4
case 4 => _5
case 5 => _6
case 6 => _7
case 7 => _8
case 8 => _9
case 9 => _10
case 10 => _11
case 11 => _12
case 12 => _13
case 13 => _14
case 14 => _15
case 15 => _16
case 16 => _17
case 17 => _18
case 18 => _19
case 19 => _20
case _ => throw new IndexOutOfBoundsException(n.toString())
}
/** projection of this product */
def _1:T1
/** projection of this product */
def _2:T2
/** projection of this product */
def _3:T3
/** projection of this product */
def _4:T4
/** projection of this product */
def _5:T5
/** projection of this product */
def _6:T6
/** projection of this product */
def _7:T7
/** projection of this product */
def _8:T8
/** projection of this product */
def _9:T9
/** projection of this product */
def _10:T10
/** projection of this product */
def _11:T11
/** projection of this product */
def _12:T12
/** projection of this product */
def _13:T13
/** projection of this product */
def _14:T14
/** projection of this product */
def _15:T15
/** projection of this product */
def _16:T16
/** projection of this product */
def _17:T17
/** projection of this product */
def _18:T18
/** projection of this product */
def _19:T19
/** projection of this product */
def _20:T20
}