blob: f6d531dbb237f7fcfcd1d6900ef6091cfb3654c1 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
object CI {
trait TreeDisplay {
type TreeNode <: ITreeNode
trait ITreeNode {
def display(): Unit
}
}
trait TreeDisplayExp {
def getRoot(): TreeNode
type TreeNode <: ITreeNodeExp
trait ITreeNodeExp {}
}
trait TreeDisplayFinal extends TreeDisplay with TreeDisplayExp {
type TreeNode <: ITreeNode with ITreeNodeExp
}
abstract class SimpleTreeDisplay extends TreeDisplay { self: TreeDisplayFinal =>
def display() { this.getRoot().display() }
}
}
|