|
/* Title: Pure/General/logger.scala
Author: Makarius
Minimal logging support.
*/
package isabelle
object Logger
{
def make(log_file: Option[Path]): Logger =
log_file match { case Some(file) => new File_Logger(file) case None => No_Logger }
}
trait Logger
{
def apply(msg: => String): Unit
def timeit[A](message: String = "", enabled: Boolean = true)(e: => A): A =
Timing.timeit(message, enabled, apply(_))(e)
}
object No_Logger extends Logger
{
def apply(msg: => String) { }
}
class File_Logger(path: Path) extends Logger
{
def apply(msg: => String) { synchronized { File.append(path, msg + "\n") } }
override def toString: String = path.toString
}
¤ Dauer der Verarbeitung: 0.23 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
