XML

Type Members

type Attribute = (String, String)

XML trees *
type Attributes = List[Entry]
type Body = List[Tree]
class Cache extends isabelle.Cache
case class Elem(markup: Markup, body: Body) extends Tree with Product with Serializable
abstract class Error extends Exception

XML as data representation language *
case class Text(content: String) extends Tree with Product with Serializable
sealed abstract class Tree extends AnyRef
class XML_Atom extends Error
class XML_Body extends Error

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
object Decode
object Encode
object Root_Elem
object Wrapped_Elem
val XML_BODY: String
val XML_ELEM: String
val XML_NAME: String
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def content(tree: Tree): String
def content(body: Body): String
def elem(name: String): Elem
def elem(name: String, body: Body): Elem
def elem(markup: Markup): Elem
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def make_cache(initial_size: Int = 131071, max_string: Int = 100): Cache

cache *
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def output_char(c: Char, s: StringBuilder): Unit

string representation *
def output_string(str: String, s: StringBuilder): Unit
def string_of_body(body: Body): String
def string_of_tree(tree: Tree): String
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def text_length(body: Body): Int
def toString(): String

Definition Classes
AnyRef → Any
def traverse_text[A](body: Body)(a: A)(op: (A, String) ⇒ A): A
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package isabelle

object XML

Type Members

type Attribute = (String, String)

type Attributes = List[Entry]

type Body = List[Tree]

class Cache extends isabelle.Cache

case class Elem(markup: Markup, body: Body) extends Tree with Product with Serializable

abstract class Error extends Exception

case class Text(content: String) extends Tree with Product with Serializable

sealed abstract class Tree extends AnyRef

class XML_Atom extends Error

class XML_Body extends Error

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object Decode

object Encode

object Root_Elem

object Wrapped_Elem

val XML_BODY: String

val XML_ELEM: String

val XML_NAME: String

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def content(tree: Tree): String

def content(body: Body): String

def elem(name: String): Elem

def elem(name: String, body: Body): Elem

def elem(markup: Markup): Elem

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def make_cache(initial_size: Int = 131071, max_string: Int = 100): Cache

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def output_char(c: Char, s: StringBuilder): Unit

def output_string(str: String, s: StringBuilder): Unit

def string_of_body(body: Body): String

def string_of_tree(tree: Tree): String

final def synchronized[T0](arg0: ⇒ T0): T0

def text_length(body: Body): Int

def toString(): String

def traverse_text[A](body: Body)(a: A)(op: (A, String) ⇒ A): A

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from AnyRef

Inherited from Any

Ungrouped