blob: 183ce9df1d60a8520af7d18d396e981c061e3df6 (
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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
object ShapeTest extends Application {
class Point(x: Int, y: Int) {
override def toString() = "[" + x + "," + y + "]"
}
abstract class Shape {
def draw(): Unit
}
class Line(s: Point, e: Point) extends Shape {
def draw() { Console.println("draw line " + s + "," + e) }
}
abstract class Foo {
type T <: Object
def show(o: T): Unit
def print() { Console.println("in Foo") }
}
abstract class ShapeFoo extends Foo {
type T <: Shape
def show(o: T) { o.draw() }
override def print() { Console.println("in ShapeFoo") }
}
class LineFoo extends ShapeFoo {
type T = Line
override def print() { Console.println("in LineFoo") }
}
val p1 = new Point(1,4)
val p2 = new Point(12, 28)
val l1 = new Line(p1, p2)
val l = new ShapeFoo { // ** //
type T = Line // ** //
override def print() { Console.println("in LineFoo") } // ** //
}
l.show(l1) // ** //
}
|