Added some comments and removed inconsistencies.

1 files changed, 15 insertions, 2 deletions

diff --git a/sources/scala/PartialFunction.scala b/sources/scala/PartialFunction.scala
index 82edad02cc..e0ed25c0bf 100644
--- a/sources/scala/PartialFunction.scala
+++ b/sources/scala/PartialFunction.scala
@@ -4,13 +4,26 @@
 **  __\ \/ /__/ __ |/ /__/ __ |                                         **
 ** /____/\___/_/ |_/____/_/ | |                                         **
 **                          |/                                          **
+** $Id$
 \*                                                                      */
 
-// $Id$
-
 package scala;
 
 
+/** A partial function of type <code>PartialFunction[A, B]</code> is a
+ *  unary function where the domain does not include all values of type
+ *  <code>A</code>. The function <code>isDefinedAt</code> allows to
+ *  test dynamically, if a value is in the domain of the function.
+ *
+ *  @author  Martin Odersky
+ *  @version 1.0, 16/07/2003
+ */
 trait PartialFunction[-A, +B] with Function1[A, B] {
+
+    /** Checks if a value is contained in the functions domain.
+     *
+     *  @param   x   the value to test
+     *  @returns true, iff <code>x</code> is in the domain of this function.
+     */
     def isDefinedAt(x: A): Boolean;
 }