gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.utils/MetricsPrinterWithMessages

MetricsPrinterWithMessages

gapt.utils.MetricsPrinterWithMessages
class MetricsPrinterWithMessages extends MetricsPrinter

Attributes

Source
MetricsPrinter.scala
Graph
Supertypes
trait LogHandler
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

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

Attributes

Definition Classes
Source
MetricsPrinter.scala

Inherited methods

def jsonify(v: Any): JValue

Attributes

Inherited from:
MetricsPrinter
Source
MetricsPrinter.scala
override def metric(domain: String, level: VerbosityLevel, key: String, desc: String, v: => Any): Unit

Attributes

Definition Classes
Inherited from:
MetricsPrinter
Source
MetricsPrinter.scala
def phase: String

Attributes

Inherited from:
MetricsPrinter
Source
MetricsPrinter.scala
def println(string: String): Unit

Attributes

Inherited from:
MetricsPrinter
Source
MetricsPrinter.scala
override def time(domain: String, level: VerbosityLevel, key: String, desc: String, duration: Duration): Unit

Attributes

Definition Classes
Inherited from:
MetricsPrinter
Source
MetricsPrinter.scala
override def timeBegin(domain: String, level: VerbosityLevel, key: String, desc: String): Unit

Attributes

Definition Classes
Inherited from:
MetricsPrinter
Source
MetricsPrinter.scala
def value(key: String, value: => Any): Unit

Attributes

Inherited from:
MetricsPrinter
Source
MetricsPrinter.scala

Inherited fields

val data: Map[String, Any]

Attributes

Inherited from:
MetricsPrinter
Source
MetricsPrinter.scala
val phaseStack: Buffer[String]

Attributes

Inherited from:
MetricsPrinter
Source
MetricsPrinter.scala
Generated with