1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
|
/* __ *\
** ________ ___ / / ___ Scala API **
** / __/ __// _ | / / / _ | (c) 2002-2007, LAMP/EPFL **
** __\ \/ /__/ __ |/ /__/ __ | **
** /____/\___/_/ |_/____/_/ | | **
** |/ **
\* */
// $Id: genprod.scala 9494 2006-12-11 11:35:38Z odersky $
// generated by genprod on Tue Dec 12 11:32:13 CET 2006
package scala
import Predef._
object Product6 {
def unapply[T1, T2, T3, T4, T5, T6](x:Any): Option[Product6[T1, T2, T3, T4, T5, T6]] =
if(x.isInstanceOf[Product6[T1, T2, T3, T4, T5, T6]]) Some(x.asInstanceOf[Product6[T1, T2, T3, T4, T5, T6]]) else None
}
/** Product6 is a cartesian product of 6 components
*/
trait Product6[+T1, +T2, +T3, +T4, +T5, +T6] extends Product {
/**
* The arity of this product.
* @return 6
*/
override def arity = 6
/**
* 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 _ => 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
}
|