src/Pure/General/output.scala
author wenzelm
Fri May 02 20:01:45 2014 +0200 (2014-05-02)
changeset 56831 e3ccf0809d51
parent 56830 e760242101fc
child 57453 77d13a98f1c8
permissions -rw-r--r--
prefer scala.Console with its support for thread-local redirection;
     1 /*  Title:      Pure/General/output.ML
     2     Author:     Makarius
     3 
     4 Isabelle channels for diagnostic output.
     5 */
     6 
     7 package isabelle
     8 
     9 
    10 object Output
    11 {
    12   def warning_text(msg: String): String = cat_lines(split_lines(msg).map("### " + _))
    13   def error_text(msg: String): String = cat_lines(split_lines(msg).map("*** " + _))
    14 
    15   def writeln(msg: String) { Console.err.println(msg) }
    16   def warning(msg: String) { Console.err.println(warning_text(msg)) }
    17   def error_message(msg: String) { Console.err.println(error_text(msg)) }
    18 }
    19