Scala 2
|
|
isabelle/XML.scala
]
abstract
class
Tree
extends
AnyRefMethod 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
The default representation is platform dependent.
Scala 2
|
|