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/library/scala/Product.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/library/scala/Product.scala')
| -rw-r--r-- | src/library/scala/Product.scala | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/library/scala/Product.scala b/src/library/scala/Product.scala index 96e989284f..65567a6616 100644 --- a/src/library/scala/Product.scala +++ b/src/library/scala/Product.scala @@ -1,7 +1,7 @@ /* __ *\ ** ________ ___ / / ___ Scala API ** -** / __/ __// _ | / / / _ | (c) 2002-2006, LAMP/EPFL ** -** __\ \/ /__/ __ |/ /__/ __ | ** +** / __/ __// _ | / / / _ | (c) 2002-2007, LAMP/EPFL ** +** __\ \/ /__/ __ |/ /__/ __ | http://scala-lang.org/ ** ** /____/\___/_/ |_/____/_/ | | ** ** |/ ** \* */ @@ -26,7 +26,7 @@ trait Product extends AnyRef { * @throws IndexOutOfBoundsException * @return ... */ - def productElement(n: Int): Any = element(n) + def productElement(n: Int): Any /** for a case class <code>A(x_1,...,x_k))</code>, returns <code>x_(i+1)</code> * for <code>0 <= i < k</code> @@ -35,15 +35,15 @@ trait Product extends AnyRef { * @throws IndexOutOfBoundsException * @return ... */ - @deprecated def element(n: Int): Any /* = productElement(n) */ + @deprecated def element(n: Int): Any = productElement(n) /** return k for a product <code>A(x_1,...,x_k))</code> */ - def productArity: Int = arity + def productArity: Int /** return k for a product <code>A(x_1,...,x_k))</code> */ - @deprecated def arity: Int /* = productElement(n) */ + @deprecated def arity: Int = productArity /** * By default the empty string. Implementations may override this |