summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGeoffrey Washburn <geoffrey.washburn@epfl.ch>2008-05-07 15:27:17 +0000
committerGeoffrey Washburn <geoffrey.washburn@epfl.ch>2008-05-07 15:27:17 +0000
commitb57e67b8a104028fc6f5a907ad2e95f97575350a (patch)
tree02c8c8a6495bc3f59c7949ddb4727e20a5f172ec
parent9a09b884ee230b6d9e76412fa16d03c06a4bd95b (diff)
downloadscala-b57e67b8a104028fc6f5a907ad2e95f97575350a.tar.gz
scala-b57e67b8a104028fc6f5a907ad2e95f97575350a.tar.bz2
scala-b57e67b8a104028fc6f5a907ad2e95f97575350a.zip
Option asserts that its argument is not null.
-rw-r--r--src/library/scala/Option.scala3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/library/scala/Option.scala b/src/library/scala/Option.scala
index b24b575216..2d07a05944 100644
--- a/src/library/scala/Option.scala
+++ b/src/library/scala/Option.scala
@@ -131,10 +131,13 @@ sealed abstract class Option[+A] extends Product {
/** Class <code>Some[A]</code> represents existing values of type
* <code>A</code>.
*
+ * The argument may not be null.
+ *
* @author Martin Odersky
* @version 1.0, 16/07/2003
*/
final case class Some[+A](x: A) extends Option[A] {
+ assert (x != null)
def isEmpty = false
def get = x
}