diff options
author | Geoffrey Washburn <geoffrey.washburn@epfl.ch> | 2008-05-07 15:27:17 +0000 |
---|---|---|
committer | Geoffrey Washburn <geoffrey.washburn@epfl.ch> | 2008-05-07 15:27:17 +0000 |
commit | b57e67b8a104028fc6f5a907ad2e95f97575350a (patch) | |
tree | 02c8c8a6495bc3f59c7949ddb4727e20a5f172ec /src/library | |
parent | 9a09b884ee230b6d9e76412fa16d03c06a4bd95b (diff) | |
download | scala-b57e67b8a104028fc6f5a907ad2e95f97575350a.tar.gz scala-b57e67b8a104028fc6f5a907ad2e95f97575350a.tar.bz2 scala-b57e67b8a104028fc6f5a907ad2e95f97575350a.zip |
Option asserts that its argument is not null.
Diffstat (limited to 'src/library')
-rw-r--r-- | src/library/scala/Option.scala | 3 |
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 } |