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.