core/it.unich.scalafix/FixpointSolverTracer

FixpointSolverTracer

object FixpointSolverTracer
Companion:
class
class Object
trait Matchable
class Any

Type members

Classlikes

class DebugFixpointSolverTracer[U, V](ps: PrintStream) extends FixpointSolverTracer[U, V]

A tracer which prints all the informations on a PrintStream.

A tracer which prints all the informations on a PrintStream.

class EmptyFixpointSolverTracer[U, V] extends FixpointSolverTracerAdapter[U, V]

An empty tracer which does nothing.

An empty tracer which does nothing.

class PerformanceFixpointSolverTracer[U, V] extends FixpointSolverTracerAdapter[U, V]

A tracer which keeps track of performance measures.

A tracer which keeps track of performance measures.

Value members

Concrete methods

def debug[U, V]: DebugFixpointSolverTracer[U, V]

Returns a debug fixpoint solver tracer which prints debugging information to standard output.

Returns a debug fixpoint solver tracer which prints debugging information to standard output.

def debug[U, V](ps: PrintStream): DebugFixpointSolverTracer[U, V]

Returns a debug fixpoint solver tracer which prints debugging information to the specified PrintStream.

Returns a debug fixpoint solver tracer which prints debugging information to the specified PrintStream.

def empty[U, V]: EmptyFixpointSolverTracer[U, V]

Returns a fixpoint solver tracer which does nothing.

Returns a fixpoint solver tracer which does nothing.

def performance[U, V]: PerformanceFixpointSolverTracer[U, V]

Returns a performance fixpoint solver tracer.

Returns a performance fixpoint solver tracer.