diff options
author | michelou <michelou@epfl.ch> | 2004-04-23 08:19:46 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2004-04-23 08:19:46 +0000 |
commit | 141324d8253fd57548b4f21ac46dc72ae8b9d626 (patch) | |
tree | a224a3be4fc210912b779e462a7560d121f49060 | |
parent | 2a3901a6572841a8e01c2b864486f374a1989c05 (diff) | |
download | scala-141324d8253fd57548b4f21ac46dc72ae8b9d626.tar.gz scala-141324d8253fd57548b4f21ac46dc72ae8b9d626.tar.bz2 scala-141324d8253fd57548b4f21ac46dc72ae8b9d626.zip |
- added file header.
- corrected comment to be XHTML compliant.
-rw-r--r-- | sources/scala/Ordered.scala | 16 | ||||
-rw-r--r-- | sources/scala/PartiallyOrdered.scala | 16 |
2 files changed, 26 insertions, 6 deletions
diff --git a/sources/scala/Ordered.scala b/sources/scala/Ordered.scala index 11e23a4e98..4ea0ce95a0 100644 --- a/sources/scala/Ordered.scala +++ b/sources/scala/Ordered.scala @@ -1,14 +1,24 @@ +/* __ *\ +** ________ ___ / / ___ Scala API ** +** / __/ __// _ | / / / _ | (c) 2003-04, LAMP/EPFL ** +** __\ \/ /__/ __ |/ /__/ __ | ** +** /____/\___/_/ |_/____/_/ | | ** +** |/ ** +** $Id$ +\* */ + package scala; + /** A trait for totally ordered data. */ trait Ordered[+a] { /** Result of comparing `this' with operand `that'. * returns `x' where - * x < 0 iff this < that - * x == 0 iff this == that - * x > 0 iff this > that + * <code>x < 0</code> iff <code>this < that</code> + * <code>x == 0</code> iff <code>this == that</code> + * <code>x > 0</code> iff <code>this > that</code> */ def compareTo [b >: a <% Ordered[b]](that: b): int; diff --git a/sources/scala/PartiallyOrdered.scala b/sources/scala/PartiallyOrdered.scala index 3cefb668c5..bc1de71800 100644 --- a/sources/scala/PartiallyOrdered.scala +++ b/sources/scala/PartiallyOrdered.scala @@ -1,5 +1,15 @@ +/* __ *\ +** ________ ___ / / ___ Scala API ** +** / __/ __// _ | / / / _ | (c) 2003-04, LAMP/EPFL ** +** __\ \/ /__/ __ |/ /__/ __ | ** +** /____/\___/_/ |_/____/_/ | | ** +** |/ ** +** $Id$ +\* */ + package scala; + /** A trait for partially ordered data. */ trait PartiallyOrdered[+a] { @@ -7,9 +17,9 @@ trait PartiallyOrdered[+a] { /** Result of comparing `this' with operand `that'. * Returns `None' if operands are not comparable. * If operands are comparable, returns `Some(x)' where - * x < 0 iff this < that - * x == 0 iff this == that - * x > 0 iff this > that + * <code>x < 0</code> iff <code>this < that</code> + * <code>x == 0</code> iff <code>this == that</code> + * <code>x > 0</code> iff <code>this > that</code> */ def tryCompareTo [b >: a <% PartiallyOrdered[b]](that: b): Option[int]; |