diff options
Diffstat (limited to 'src/dotnet-library/scala/Product17.scala')
-rw-r--r-- | src/dotnet-library/scala/Product17.scala | 114 |
1 files changed, 114 insertions, 0 deletions
diff --git a/src/dotnet-library/scala/Product17.scala b/src/dotnet-library/scala/Product17.scala new file mode 100644 index 0000000000..b39c3df051 --- /dev/null +++ b/src/dotnet-library/scala/Product17.scala @@ -0,0 +1,114 @@ + +/* __ *\ +** ________ ___ / / ___ 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 Product17 { + def unapply[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17](x: Product17[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17]): Option[Product17[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17]] = + Some(x) +} + +/** Product17 is a cartesian product of 17 components + */ +trait Product17[+T1, +T2, +T3, +T4, +T5, +T6, +T7, +T8, +T9, +T10, +T11, +T12, +T13, +T14, +T15, +T16, +T17] extends Product { + + /** + * The arity of this product. + * @return 17 + */ + override def arity = 17 + + /** + * 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 _ => 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 + + +} |