scoping3.scala

来自「JAVA 语言的函数式编程扩展」· SCALA 代码 · 共 22 行

// $Id: scoping3.scala 11911 2007-06-05 15:57:59Z odersky $

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(); }
   }
}