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
|
package sandbox
class hierarOverload {
/*
* Template structure - using abstract types.
*/
trait AB {
type TA <: A
type TB <: B
protected trait A {
val entities : List[TB]
}
protected trait B {
var group : TA
}
}
/*
* Template instantiation in an object to ease use and globally define
abstract types
*/
object NAnB extends AB {
type TB = nB
type TA = nA
class nA extends A {
val entities = List[nB]()
}
class nB extends B {
var group = new nA
}
}
def foo () {
val t = new NAnB.nA
println(t)
}
}
|
