src/Pure/General/xml.scala
author wenzelm
Sun Aug 17 21:11:08 2008 +0200 (2008-08-17 ago)
changeset 27931 b533a9de87a7
child 27941 b4656b671cce
permissions -rw-r--r--
Minimalistic XML tree values.
wenzelm@27931
     1
/*  Title:      Pure/General/xml.scala
wenzelm@27931
     2
    ID:         $Id$
wenzelm@27931
     3
    Author:     Makarius
wenzelm@27931
     4
wenzelm@27931
     5
Minimalistic XML tree values.
wenzelm@27931
     6
*/
wenzelm@27931
     7
wenzelm@27931
     8
package isabelle
wenzelm@27931
     9
wenzelm@27931
    10
object XML {
wenzelm@27931
    11
  type Attributes = List[(String, String)]
wenzelm@27931
    12
wenzelm@27931
    13
  abstract class Tree
wenzelm@27931
    14
  case class Elem(name: String, attributes: Attributes, body: List[Tree]) extends Tree
wenzelm@27931
    15
  case class Text(content: String) extends Tree
wenzelm@27931
    16
}