src/Pure/PIDE/markup.scala
author wenzelm
Thu Aug 02 12:36:54 2012 +0200 (2012-08-02)
changeset 48646 91281e9472d8
parent 45674 eb65c9d17e2f
child 49613 2f6986e2ef06
permissions -rw-r--r--
more official command specifications, including source position;
     1 /*  Title:      Pure/PIDE/markup.scala
     2     Module:     PIDE
     3     Author:     Makarius
     4 
     5 Generic markup elements.
     6 */
     7 
     8 package isabelle
     9 
    10 
    11 object Markup
    12 {
    13   /* properties */
    14 
    15   val NAME = "name"
    16   val Name = new Properties.String(NAME)
    17 
    18   val KIND = "kind"
    19   val Kind = new Properties.String(KIND)
    20 
    21 
    22   /* elements */
    23 
    24   val Empty = Markup("", Nil)
    25   val Data = Markup("data", Nil)
    26   val Broken = Markup("broken", Nil)
    27 }
    28 
    29 
    30 sealed case class Markup(name: String, properties: Properties.T)
    31