diff options
Diffstat (limited to 'src/dotnet-library/scala/Product11.scala')
-rw-r--r-- | src/dotnet-library/scala/Product11.scala | 90 |
1 files changed, 90 insertions, 0 deletions
diff --git a/src/dotnet-library/scala/Product11.scala b/src/dotnet-library/scala/Product11.scala new file mode 100644 index 0000000000..40a94f0c57 --- /dev/null +++ b/src/dotnet-library/scala/Product11.scala @@ -0,0 +1,90 @@ + +/* __ *\ +** ________ ___ / / ___ Scala API ** +** / __/ __// _ | / / / _ | (c) 2002-2007, LAMP/EPFL ** +** __\ \/ /__/ __ |/ /__/ __ | ** +** /____/\___/_/ |_/____/_/ | | ** +** |/ ** +\* */ + +// $Id: genprod.scala 9547 2007-01-03 16:34:59Z emir $ + +// generated by genprod on Wed Jan 03 17:36:14 CET 2007 + +package scala + +import Predef._ + +object Product11 { + def unapply[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11](x: Product11[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11]): Option[Product11[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11]] = + Some(x) +} + +/** Product11 is a cartesian product of 11 components + */ +trait Product11[+T1, +T2, +T3, +T4, +T5, +T6, +T7, +T8, +T9, +T10, +T11] extends Product { + + /** + * The arity of this product. + * @return 11 + */ + override def arity = 11 + + /** + * 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 _ => 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 + + +} |