isabelle: src/Pure/PIDE/markup.scala@57ff63a52c53 (annotated)

45670 b84170538043 rearranged files; wenzelm parents: 45667 diff changeset	1	/* Title: Pure/PIDE/markup.scala
45673 cd41e3903fbf separate compilation of PIDE vs. Pure sources, which enables independent Scala library; wenzelm parents: 45670 diff changeset	2	Module: PIDE
27958 292d78c906b1 Common markup elements. wenzelm parents: diff changeset	3	Author: Makarius
292d78c906b1 Common markup elements. wenzelm parents: diff changeset	4
45666 d83797ef0d2d separate module for concrete Isabelle markup; wenzelm parents: 45633 diff changeset	5	Generic markup elements.
27958 292d78c906b1 Common markup elements. wenzelm parents: diff changeset	6	*/
292d78c906b1 Common markup elements. wenzelm parents: diff changeset	7
292d78c906b1 Common markup elements. wenzelm parents: diff changeset	8	package isabelle
292d78c906b1 Common markup elements. wenzelm parents: diff changeset	9
27970 3dd5fbdf61c4 added position, messages; wenzelm parents: 27958 diff changeset	10
32450 375db037f4d2 misc tuning; wenzelm parents: 31472 diff changeset	11	object Markup
375db037f4d2 misc tuning; wenzelm parents: 31472 diff changeset	12	{
45666 d83797ef0d2d separate module for concrete Isabelle markup; wenzelm parents: 45633 diff changeset	13	/* properties */
29184 85889d58b5da more markup elements; wenzelm parents: 29140 diff changeset	14
85889d58b5da more markup elements; wenzelm parents: 29140 diff changeset	15	val NAME = "name"
43780 2cb2310d68b6 more uniform Properties in ML and Scala; wenzelm parents: 43748 diff changeset	16	val Name = new Properties.String(NAME)
42136 826168ae0213 added Markup.Name and Markup.Kind convenience; wenzelm parents: 41483 diff changeset	17
29184 85889d58b5da more markup elements; wenzelm parents: 29140 diff changeset	18	val KIND = "kind"
43780 2cb2310d68b6 more uniform Properties in ML and Scala; wenzelm parents: 43748 diff changeset	19	val Kind = new Properties.String(KIND)
29184 85889d58b5da more markup elements; wenzelm parents: 29140 diff changeset	20
85889d58b5da more markup elements; wenzelm parents: 29140 diff changeset	21
45666 d83797ef0d2d separate module for concrete Isabelle markup; wenzelm parents: 45633 diff changeset	22	/* elements */
29184 85889d58b5da more markup elements; wenzelm parents: 29140 diff changeset	23
45666 d83797ef0d2d separate module for concrete Isabelle markup; wenzelm parents: 45633 diff changeset	24	val Empty = Markup("", Nil)
d83797ef0d2d separate module for concrete Isabelle markup; wenzelm parents: 45633 diff changeset	25	val Data = Markup("data", Nil)
d83797ef0d2d separate module for concrete Isabelle markup; wenzelm parents: 45633 diff changeset	26	val Broken = Markup("broken", Nil)
d83797ef0d2d separate module for concrete Isabelle markup; wenzelm parents: 45633 diff changeset	27	}
43721 fad8634cee62 echo prover input via raw_messages, for improved protocol tracing; wenzelm parents: 43710 diff changeset	28
fad8634cee62 echo prover input via raw_messages, for improved protocol tracing; wenzelm parents: 43710 diff changeset	29
45666 d83797ef0d2d separate module for concrete Isabelle markup; wenzelm parents: 45633 diff changeset	30	sealed case class Markup(name: String, properties: Properties.T)
43748 c70bd78ec83c JVM method invocation service via Scala layer; wenzelm parents: 43746 diff changeset	31

author	wenzelm
	Wed, 11 Apr 2012 14:20:51 +0200
changeset 47424	57ff63a52c53
parent 45674	eb65c9d17e2f
child 49613	2f6986e2ef06
permissions	-rw-r--r--