/* __ *\
** ________ ___ / / ___ Scala API **
** / __/ __// _ | / / / _ | (c) 2002-2006, LAMP/EPFL **
** __\ \/ /__/ __ |/ /__/ __ | **
** /____/\___/_/ |_/____/_/ | | **
** |/ **
\* */
// generated on Tue Nov 28 17:25:56 CET 2006
package scala
import Predef._
object Product12 {
def unapply[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12](x:Any): Option[Product12[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12]] =
if(x.isInstanceOf[Product12[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12]]) Some(x.asInstanceOf[Product12[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12]]) else None
}
/** Product12 is a cartesian product of 12 components
*/
trait Product12 [+T1, +T2, +T3, +T4, +T5, +T6, +T7, +T8, +T9, +T10, +T11, +T12] extends Product {
/**
* The arity of this product.
* @return 12
*/
override def arity = 12
/**
* 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 _ => 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
}
