isabelle

object XML

[source: 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
type Attributes

Method Details
def content(tree : Tree) : scala.Iterator[java.lang.String]

def document(tree : Tree, styles : java.lang.String*) : org.w3c.dom.Document