diff options
| author | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2009-05-29 12:28:14 +0000 |
|---|---|---|
| committer | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2009-05-29 12:28:14 +0000 |
| commit | 08c63fc9a1b8feb13fe80ddcd9c56f6fe71f1914 (patch) | |
| tree | ffb5da22e977e1cad0473b7d53c100e15afe0141 /src/library | |
| parent | 450425c96412a8b7ae52513dbe99af5732a19bfb (diff) | |
| download | scala-08c63fc9a1b8feb13fe80ddcd9c56f6fe71f1914.tar.gz scala-08c63fc9a1b8feb13fe80ddcd9c56f6fe71f1914.tar.bz2 scala-08c63fc9a1b8feb13fe80ddcd9c56f6fe71f1914.zip | |
"scala.Random" has been deprecated since 2.7.2 ...
"scala.Random" has been deprecated since 2.7.2 (replaced by
"scala.util.Random"), and will not be part of 2.8.
Diffstat (limited to 'src/library')
| -rw-r--r-- | src/library/scala/Random.scala | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/src/library/scala/Random.scala b/src/library/scala/Random.scala deleted file mode 100644 index c24e2b2080..0000000000 --- a/src/library/scala/Random.scala +++ /dev/null @@ -1,25 +0,0 @@ -/* __ *\ -** ________ ___ / / ___ Scala API ** -** / __/ __// _ | / / / _ | (c) 2006-2009, LAMP/EPFL ** -** __\ \/ /__/ __ |/ /__/ __ | http://scala-lang.org/ ** -** /____/\___/_/ |_/____/_/ | | ** -** |/ ** -\* */ - -// $Id$ - - -package scala - -/** - * @author Stephane Micheloud - * - * @deprecated Use class <code>scala.util.Random</code> instead. - */ -@deprecated -class Random(self: java.util.Random) extends util.Random(self) { - def this(seed: Long) = this(new java.util.Random(seed)) - def this(seed: Int) = this(seed.toLong) - def this() = this(new java.util.Random()) -} - |