diff options
| author | Burak Emir <emir@epfl.ch> | 2006-10-10 14:25:20 +0000 |
|---|---|---|
| committer | Burak Emir <emir@epfl.ch> | 2006-10-10 14:25:20 +0000 |
| commit | de4eb301bc40ca4b7cb315843f660168451e728b (patch) | |
| tree | d77ad3b9a71d4bdd8287a99f91163e96276d02fb /src/library/scala/Option.scala | |
| parent | 2995f1a6a4eb2c95399e125500ce6143f9ce7465 (diff) | |
| download | scala-de4eb301bc40ca4b7cb315843f660168451e728b.tar.gz scala-de4eb301bc40ca4b7cb315843f660168451e728b.tar.bz2 scala-de4eb301bc40ca4b7cb315843f660168451e728b.zip | |
exceptions
Diffstat (limited to 'src/library/scala/Option.scala')
| -rw-r--r-- | src/library/scala/Option.scala | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/library/scala/Option.scala b/src/library/scala/Option.scala index 1355b3ee24..636f32d59e 100644 --- a/src/library/scala/Option.scala +++ b/src/library/scala/Option.scala @@ -28,8 +28,11 @@ sealed abstract class Option[+A] extends Iterable[A] with CaseClass { case _ => false } + /** + * @throws java.util.NoSuchElementException + */ def get: A = this match { - case None => Predef.error("None.get") + case None => throw new java.util.NoSuchElementException("None.get") case Some(x) => x } |