diff options
author | Samuel Gruetter <samuel.gruetter@epfl.ch> | 2014-03-12 22:44:33 +0100 |
---|---|---|
committer | Samuel Gruetter <samuel.gruetter@epfl.ch> | 2014-03-12 22:44:33 +0100 |
commit | 9ef5f6817688f814a3450126aa7383b0928e80a0 (patch) | |
tree | 5727a2f7f7fd665cefdb312af2785c692f04377c /tests/untried/pos/t592.scala | |
parent | 194be919664447631ba55446eb4874979c908d27 (diff) | |
download | dotty-9ef5f6817688f814a3450126aa7383b0928e80a0.tar.gz dotty-9ef5f6817688f814a3450126aa7383b0928e80a0.tar.bz2 dotty-9ef5f6817688f814a3450126aa7383b0928e80a0.zip |
add tests from scala/test/files/{pos,neg}
with explicit Unit return type
Diffstat (limited to 'tests/untried/pos/t592.scala')
-rw-r--r-- | tests/untried/pos/t592.scala | 71 |
1 files changed, 71 insertions, 0 deletions
diff --git a/tests/untried/pos/t592.scala b/tests/untried/pos/t592.scala new file mode 100644 index 000000000..6a941ef51 --- /dev/null +++ b/tests/untried/pos/t592.scala @@ -0,0 +1,71 @@ +trait Graph { + type Edge; + type Node <: NodeIntf; + + trait NodeIntf { + def connectWith(node: Node): Edge; + } + + def nodes: List[Node]; + def edges: List[Edge]; + def addNode: Node; + + protected var ids = 0; +} + +abstract class DirectedGraph extends Graph { + type Edge <: EdgeImpl; + + class EdgeImpl(origin: Node, dest: Node) { + def from = origin; + def to = dest; + override def toString = ""+origin+" --> "+dest + } + + class NodeImpl extends NodeIntf { self: Node => + val id = ids + ids = ids + 1 + def connectWith(node: Node): Edge = { + val edge = newEdge(this, node); + edges = edge :: edges; + edge; + } + override def toString = "Node "+id + } + + protected def newNode: Node; + protected def newEdge(from: Node, to: Node): Edge; + var nodes: List[Node] = Nil; + var edges: List[Edge] = Nil; + + def addNode: Node = { + val node = newNode; + nodes = node :: nodes; + node; + } +} + +class ConcreteDirectedGraph extends DirectedGraph { + type Edge = EdgeImpl; + type Node = NodeImpl; + + protected def newNode: Node = { + new NodeImpl; + } + + protected def newEdge(f: Node, t: Node): Edge = { + new EdgeImpl(f, t); + } +} + +object ExplicitThis { + def main(args: Array[String]): Unit = { + val g: Graph = new ConcreteDirectedGraph; + val n1 = g.addNode; + val n2 = g.addNode; + val n3 = g.addNode; + Console.println(n1.connectWith(n2)) + Console.println(n2.connectWith(n3)) + Console.println(n1.connectWith(n3)) + } +} |