diff options
author | Burak Emir <emir@epfl.ch> | 2007-04-12 14:30:11 +0000 |
---|---|---|
committer | Burak Emir <emir@epfl.ch> | 2007-04-12 14:30:11 +0000 |
commit | 5bb26aa18d774162828693bb8c4fcc246359ecf5 (patch) | |
tree | 9eb5b85e7452ad334fe209741166726af0bdc2d2 /src/library/scala/Product15.scala | |
parent | 34856ebaeccf44adace4dba8c44ba2155e231b83 (diff) | |
download | scala-5bb26aa18d774162828693bb8c4fcc246359ecf5.tar.gz scala-5bb26aa18d774162828693bb8c4fcc246359ecf5.tar.bz2 scala-5bb26aa18d774162828693bb8c4fcc246359ecf5.zip |
renamed arity=>productArity,element=>productEle...
renamed arity=>productArity,element=>productElement
Diffstat (limited to 'src/library/scala/Product15.scala')
-rw-r--r-- | src/library/scala/Product15.scala | 24 |
1 files changed, 20 insertions, 4 deletions
diff --git a/src/library/scala/Product15.scala b/src/library/scala/Product15.scala index 4bfe909ec5..37087bc0a1 100644 --- a/src/library/scala/Product15.scala +++ b/src/library/scala/Product15.scala @@ -7,9 +7,9 @@ ** |/ ** \* */ -// $Id: genprod.scala 9547 2007-01-03 16:34:59Z emir $ +// $Id: genprod.scala 10061 2007-02-20 18:06:07 +0100 (Tue, 20 Feb 2007) moors $ -// generated by genprod on Wed Jan 03 17:36:14 CET 2007 +// generated by genprod on Thu Apr 12 14:45:21 CEST 2007 package scala @@ -28,7 +28,23 @@ trait Product15[+T1, +T2, +T3, +T4, +T5, +T6, +T7, +T8, +T9, +T10, +T11, +T12, + * The arity of this product. * @return 15 */ - override def arity = 15 + @deprecated override def arity = productArity + + /** + * The arity of this product. + * @return 15 + */ + override def productArity = 15 + + /** + * 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 + */ + @deprecated override def element(n: Int) = productElement(n) /** * Returns the n-th projection of this product if 0<=n<arity, @@ -38,7 +54,7 @@ trait Product15[+T1, +T2, +T3, +T4, +T5, +T6, +T7, +T8, +T9, +T10, +T11, +T12, + * @return same as _(n+1) * @throws IndexOutOfBoundsException */ - override def element(n: Int) = n match { + override def productElement(n: Int) = n match { case 0 => _1 case 1 => _2 case 2 => _3 |