isabelle: src/Pure/General/output.scala@c1dbcde94cd2 (annotated)

57453 77d13a98f1c8 clarified quasi-generic PIDE; wenzelm parents: 56831 diff changeset	1	/* Title: Pure/General/output.scala
77d13a98f1c8 clarified quasi-generic PIDE; wenzelm parents: 56831 diff changeset	2	Module: PIDE
56782 433cf57550fa more systematic Isabelle output, like in classic Isabelle/ML (without markup); wenzelm parents: diff changeset	3	Author: Makarius
433cf57550fa more systematic Isabelle output, like in classic Isabelle/ML (without markup); wenzelm parents: diff changeset	4
56830 e760242101fc tuned signature -- channels for diagnostic output for system tools means stderr; wenzelm parents: 56782 diff changeset	5	Isabelle channels for diagnostic output.
56782 433cf57550fa more systematic Isabelle output, like in classic Isabelle/ML (without markup); wenzelm parents: diff changeset	6	*/
433cf57550fa more systematic Isabelle output, like in classic Isabelle/ML (without markup); wenzelm parents: diff changeset	7
433cf57550fa more systematic Isabelle output, like in classic Isabelle/ML (without markup); wenzelm parents: diff changeset	8	package isabelle
433cf57550fa more systematic Isabelle output, like in classic Isabelle/ML (without markup); wenzelm parents: diff changeset	9
433cf57550fa more systematic Isabelle output, like in classic Isabelle/ML (without markup); wenzelm parents: diff changeset	10
433cf57550fa more systematic Isabelle output, like in classic Isabelle/ML (without markup); wenzelm parents: diff changeset	11	object Output
433cf57550fa more systematic Isabelle output, like in classic Isabelle/ML (without markup); wenzelm parents: diff changeset	12	{
433cf57550fa more systematic Isabelle output, like in classic Isabelle/ML (without markup); wenzelm parents: diff changeset	13	def warning_text(msg: String): String = cat_lines(split_lines(msg).map("### " + _))
433cf57550fa more systematic Isabelle output, like in classic Isabelle/ML (without markup); wenzelm parents: diff changeset	14	def error_text(msg: String): String = cat_lines(split_lines(msg).map("*** " + _))
433cf57550fa more systematic Isabelle output, like in classic Isabelle/ML (without markup); wenzelm parents: diff changeset	15
56831 e3ccf0809d51 prefer scala.Console with its support for thread-local redirection; wenzelm parents: 56830 diff changeset	16	def writeln(msg: String) { Console.err.println(msg) }
e3ccf0809d51 prefer scala.Console with its support for thread-local redirection; wenzelm parents: 56830 diff changeset	17	def warning(msg: String) { Console.err.println(warning_text(msg)) }
e3ccf0809d51 prefer scala.Console with its support for thread-local redirection; wenzelm parents: 56830 diff changeset	18	def error_message(msg: String) { Console.err.println(error_text(msg)) }
56782 433cf57550fa more systematic Isabelle output, like in classic Isabelle/ML (without markup); wenzelm parents: diff changeset	19	}
433cf57550fa more systematic Isabelle output, like in classic Isabelle/ML (without markup); wenzelm parents: diff changeset	20

author	wenzelm
	Tue, 09 Dec 2014 21:14:11 +0100
changeset 59122	c1dbcde94cd2
parent 57453	77d13a98f1c8
child 59671	9715eb8e9408
permissions	-rw-r--r--