Scala 2
isabelle.XML

class Tree
[source: isabelle/XML.scala]
abstract class Tree
extends AnyRef
Direct Known Subclasses:
XML.Elem, XML.Text
Method Summary
override def toString : java.lang.String
Returns a string representation of the object.
Methods inherited from AnyRef
getClass, hashCode, equals, clone, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized
Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf
Method Details
override def toString : java.lang.String
Returns a string representation of the object.

The default representation is platform dependent.

Returns
a string representation of the object.

Scala 2