/* Title: Pure/General/output.scala Author: Makarius Console output channels. package isabelleobject Output {def writeln_text(msg: String): String = Protocol_Message.clean_output(msg)def warning_prefix(s: String): String = Library.prefix_lines("### " , s)def warning_text(msg: String): String = warning_prefix(Protocol_Message.clean_output(msg))def error_message_prefix(s: String): String = Library.prefix_lines("*** " , s)def error_message_text(msg: String): String =def print_stream(s: String, stdout: Boolean = false ): Unit = {val out = if (stdout) Console.out else Console.errdef output(s: String, stdout: Boolean = false , include_empty: Boolean = false ): Unit =if (s.nonEmpty || include_empty) print_stream(s + "\n" , stdout = stdout)def writeln(msg: String, stdout: Boolean = false , include_empty: Boolean = false ): Unit =def warning(msg: String, stdout: Boolean = false , include_empty: Boolean = false ): Unit =def error_message(msg: String, stdout: Boolean = false , include_empty: Boolean = false ): Unit =def delete_lines(lines: Int, stdout: Boolean = false ): Unit =if (lines > 0) print_stream("\u001b[" + lines + "F\u001b[J" , stdout = stdout)quality 100%
¤ Dauer der Verarbeitung: 0.12 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
