/* __ *\ ** ________ ___ / / ___ Scala API ** ** / __/ __// _ | / / / _ | (c) 2002-2009, LAMP/EPFL ** ** __\ \/ /__/ __ |/ /__/ __ | http://scala-lang.org/ ** ** /____/\___/_/ |_/____/_/ | | ** ** |/ ** \* */ // $Id: Product7.scala 18478 2009-08-13 21:30:20Z stepancheg $ // generated by genprod on Wed Jun 17 14:10:05 PDT 2009 package scala import Predef._ object Product7 { def unapply[T1, T2, T3, T4, T5, T6, T7](x: Product7[T1, T2, T3, T4, T5, T6, T7]): Option[Product7[T1, T2, T3, T4, T5, T6, T7]] = Some(x) } /** Product7 is a cartesian product of 7 components. * * @since 2.3 */ trait Product7[+T1, +T2, +T3, +T4, +T5, +T6, +T7] extends Product { /** * The arity of this product. * @return 7 */ override def productArity = 7 /** * 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 */ @throws(classOf[IndexOutOfBoundsException]) override def productElement(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 _ => 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 }