|
Scala 2
|
|
isabelle/XML.scala]
object
XML
extends AnyRef| Type 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
|
|