diff options
| author | michelou <michelou@epfl.ch> | 2006-12-08 19:10:22 +0000 |
|---|---|---|
| committer | michelou <michelou@epfl.ch> | 2006-12-08 19:10:22 +0000 |
| commit | 1e5fd9b56a92dc162ce28346b0a705e8940f58d9 (patch) | |
| tree | a9d180c01e2c44bdc7bb7d8104881c523e45706d /src/library/scala/Product4.scala | |
| parent | cb3adcfb6d0023da523c6a9f04dc8b7b5555e85c (diff) | |
| download | scala-1e5fd9b56a92dc162ce28346b0a705e8940f58d9.tar.gz scala-1e5fd9b56a92dc162ce28346b0a705e8940f58d9.tar.bz2 scala-1e5fd9b56a92dc162ce28346b0a705e8940f58d9.zip | |
updated genprod.scala (Function1)
Diffstat (limited to 'src/library/scala/Product4.scala')
| -rw-r--r-- | src/library/scala/Product4.scala | 17 |
1 files changed, 11 insertions, 6 deletions
diff --git a/src/library/scala/Product4.scala b/src/library/scala/Product4.scala index 1ff8b8c179..b4953f6177 100644 --- a/src/library/scala/Product4.scala +++ b/src/library/scala/Product4.scala @@ -1,13 +1,16 @@ /* __ *\ ** ________ ___ / / ___ Scala API ** -** / __/ __// _ | / / / _ | (c) 2002-2006, LAMP/EPFL ** +** / __/ __// _ | / / / _ | (c) 2002-2007, LAMP/EPFL ** ** __\ \/ /__/ __ |/ /__/ __ | ** ** /____/\___/_/ |_/____/_/ | | ** ** |/ ** \* */ -// generated on Tue Nov 28 17:25:56 CET 2006 +// $Id: genprod.scala 9429 2006-11-30 10:17:30Z michelou $ + +// generated by genprod on Fri Dec 08 20:07:08 CET 2006 + package scala import Predef._ @@ -19,7 +22,7 @@ object Product4 { /** Product4 is a cartesian product of 4 components */ -trait Product4 [+T1, +T2, +T3, +T4] extends Product { +trait Product4[+T1, +T2, +T3, +T4] extends Product { /** * The arity of this product. @@ -28,10 +31,12 @@ trait Product4 [+T1, +T2, +T3, +T4] extends Product { override def arity = 4 /** - * Returns the n-th projection of this product if 0<=n<arity, otherwise null + * 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 + * @return same as _(n+1) + * @throws IndexOutOfBoundsException */ override def element(n: Int) = n match { case 0 => _1 |