blob: 7e56a663fe937ec2b0a3da55a7ee3b6a15fec461 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
package test;
class Point1(x: int) extends Object with Ordered[Point1] {
val xCoord = x;
def compareTo [b >: Point1 <% Ordered[b]](that: b): int = that match {
case that1: Point1 => this.xCoord.compareTo(that1.xCoord)
case _ => -that.compareTo(this)
}
}
class Point2(x: int, y: int) extends Point1(x) with Ordered[Point2] {}
/*
val yCoord = y;
override def compareTo [b >: Point2 <% Ordered[b]](that: b): int = that match {
case that1: Point2 =>
val r = super.compareTo(that1);
if (r == 0) this.yCoord.compareTo(that1.yCoord) else r
case _ => -that.compareTo(this)
}
}
object Test extends Application {
val p1 = new Point1(1);
val q1 = new Point1(2);
System.out.println(p1 < q1);
val p2 = new Point2(1, 2);
val q2 = new Point2(1, 3);
System.out.println(p2 < q2);
System.out.println(p1 < q2);
System.out.println(p2 < q1);
}
*/
|
