gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.utils/LogHandler/default

default

gapt.utils.LogHandler.default
object default extends LogHandler

Attributes

Source
Logger.scala
Graph
Supertypes
trait LogHandler
class Object
trait Matchable
class Any
Self type
default.type

Members list

Value members

Concrete methods

def message(domain: String, level: VerbosityLevel, msg: => Any): Unit

Attributes

Source
Logger.scala

Inherited methods

def metric(domain: String, verbosity: VerbosityLevel, key: String, desc: String, value: => Any): Unit

Attributes

Inherited from:
LogHandler
Source
Logger.scala
def time(domain: String, verbosity: VerbosityLevel, key: String, desc: String, duration: Duration): Unit

Attributes

Inherited from:
LogHandler
Source
Logger.scala
def timeBegin(domain: String, verbosity: VerbosityLevel, key: String, desc: String): Unit

Attributes

Inherited from:
LogHandler
Source
Logger.scala
Generated with