Packages

object XML

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. XML
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type Attribute = (String, String)

    XML trees *

  2. type Attributes = List[Entry]
  3. type Body = List[Tree]
  4. class Cache extends isabelle.Cache
  5. case class Elem(markup: Markup, body: Body) extends Tree with Product with Serializable
  6. abstract class Error extends Exception

    XML as data representation language *

  7. case class Text(content: String) extends Tree with Product with Serializable
  8. sealed abstract class Tree extends AnyRef
  9. class XML_Atom extends Error
  10. class XML_Body extends Error

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. val XML_BODY: String
  5. val XML_ELEM: String
  6. val XML_NAME: String
  7. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  8. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  9. def content(tree: Tree): String
  10. def content(body: Body): String
  11. def elem(name: String): Elem
  12. def elem(name: String, body: Body): Elem
  13. def elem(markup: Markup): Elem
  14. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  15. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  16. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  17. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  18. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  19. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  20. def make_cache(initial_size: Int = 131071, max_string: Int = 100): Cache

    cache *

  21. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  22. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  23. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  24. def output_char(c: Char, s: StringBuilder): Unit

    string representation *

  25. def output_string(str: String, s: StringBuilder): Unit
  26. def string_of_body(body: Body): String
  27. def string_of_tree(tree: Tree): String
  28. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  29. def text_length(body: Body): Int
  30. def toString(): String
    Definition Classes
    AnyRef → Any
  31. def traverse_text[A](body: Body)(a: A)(op: (A, String) ⇒ A): A
  32. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  33. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  34. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  35. object Decode
  36. object Encode
  37. object Root_Elem
  38. object Wrapped_Elem

Inherited from AnyRef

Inherited from Any

Ungrouped