File: scoping3.scala

package info (click to toggle)
scala 2.3.0-1.1
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k
  • size: 14,000 kB
  • ctags: 325
  • sloc: xml: 1,772; sh: 1,248; java: 390; makefile: 36
file content (22 lines) | stat: -rw-r--r-- 553 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
 
// $Id: scoping3.scala 5549 2006-01-17 15:07:00Z michelou $

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 requires TreeDisplayFinal extends
TreeDisplay {
     def display() = { this.getRoot().display(); }
   }
}