diff options
author | michelou <michelou@epfl.ch> | 2007-04-19 17:01:17 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2007-04-19 17:01:17 +0000 |
commit | 7b2bdb4e75f72fbdf4c488aea112d7838f89bc5f (patch) | |
tree | 27e0c0de8c467cc178d04975f6c5de2b1fb4cf96 /src/build/genprod.scala | |
parent | 2f4064efbe52bf3ef5b96d6b2a25670876064d4c (diff) | |
download | scala-7b2bdb4e75f72fbdf4c488aea112d7838f89bc5f.tar.gz scala-7b2bdb4e75f72fbdf4c488aea112d7838f89bc5f.tar.bz2 scala-7b2bdb4e75f72fbdf4c488aea112d7838f89bc5f.zip |
updated element/arity to productElement/product...
updated element/arity to productElement/productArity
Diffstat (limited to 'src/build/genprod.scala')
-rw-r--r-- | src/build/genprod.scala | 18 |
1 files changed, 1 insertions, 17 deletions
diff --git a/src/build/genprod.scala b/src/build/genprod.scala index b2f3d2de9d..cd18bee7b7 100644 --- a/src/build/genprod.scala +++ b/src/build/genprod.scala @@ -285,7 +285,7 @@ object ProductFile { /* __ *\ ** ________ ___ / / ___ Scala API ** ** / __/ __// _ | / / / _ | (c) 2002-2007, LAMP/EPFL ** -** __\ \/ /__/ __ |/ /__/ __ | ** +** __\ \/ /__/ __ |/ /__/ __ | http://scala-lang.org/ ** ** /____/\___/_/ |_/____/_/ | | ** ** |/ ** \* */ @@ -311,12 +311,6 @@ trait {productClassname(i)}{__typeArgs__} extends Product {{ * The arity of this product. * @return {i} */ - @deprecated override def arity = productArity - - /** - * The arity of this product. - * @return {i} - */ override def productArity = {i} /** @@ -327,16 +321,6 @@ trait {productClassname(i)}{__typeArgs__} extends Product {{ * @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&lt;=n&lt;arity, - * otherwise <code>null</code>. - * - * @param n number of the projection to be returned - * @return same as _(n+1) - * @throws IndexOutOfBoundsException - */ override def productElement(n: Int) = n match {{ {for (Tuple2(m, j) <- mdefs(i).zip(List.range(0, i))) yield "case "+j+" => "+m+"\n "}case _ => throw new IndexOutOfBoundsException(n.toString()) |