Scala 2
|
|
isabelle/XML.scala
]
object
XML
extends
AnyRefType Summary | |
type
|
Attributes |
Method Summary | |
def
|
content (tree : Tree) : scala.Iterator[java.lang.String] |
def
|
document (tree : Tree, styles : java.lang.String*) : org.w3c.dom.Document |
Methods inherited from AnyRef | |
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized |
Methods inherited from Any | |
==, !=, isInstanceOf, asInstanceOf |
Class Summary | |
case class
|
Elem
(val name : java.lang.String, val attributes : scala.List, val body : scala.List[Tree]) extends Tree with scala.Product
|
case class
|
Text
(val content : java.lang.String) extends Tree with scala.Product
|
abstract class
|
Tree
extends AnyRef
|
Type Details |
Method Details |
def
content(tree : Tree) : scala.Iterator[java.lang.String]
def
document(tree : Tree, styles : java.lang.String*) : org.w3c.dom.Document
Scala 2
|
|