# HG changeset patch # User wenzelm # Date 1282249575 -7200 # Node ID f6c9a4f9f66f60c2b8cc790065aed2817e61679d # Parent 3de5f0424caac7f50abd438ce8d1ff45764be4ce added toString methods; diff -r 3de5f0424caa -r f6c9a4f9f66f src/Pure/PIDE/markup_tree.scala --- a/src/Pure/PIDE/markup_tree.scala Thu Aug 19 22:04:20 2010 +0200 +++ b/src/Pure/PIDE/markup_tree.scala Thu Aug 19 22:26:15 2010 +0200 @@ -50,6 +50,12 @@ { import Markup_Tree._ + override def toString = + branches.toList.map(_._2) match { + case Nil => "Empty" + case list => list.mkString("Tree(", ",", ")") + } + def + (new_node: Node): Markup_Tree = { branches.get(new_node) match { diff -r 3de5f0424caa -r f6c9a4f9f66f src/Pure/PIDE/text.scala --- a/src/Pure/PIDE/text.scala Thu Aug 19 22:04:20 2010 +0200 +++ b/src/Pure/PIDE/text.scala Thu Aug 19 22:26:15 2010 +0200 @@ -21,6 +21,8 @@ { require(start <= stop) + override def toString = "[" + start.toString + ":" + stop.toString + "]" + def map(f: Offset => Offset): Range = Range(f(start), f(stop)) def +(i: Offset): Range = map(_ + i) def contains(i: Offset): Boolean = start <= i && i < stop