FixpointSolverTracerAdapter

abstract class FixpointSolverTracerAdapter[U, V] extends FixpointSolverTracer[U, V]

This abstract class implements a tracer for fixpoint solvers which does nothing. May be sub-classed in order to override only the methods we are interested in.

class Object
trait Matchable
class Any

Value members

Concrete methods

@elidable(TRACING)
override def ascendingBegins(rho: U => V): Unit

It does nothing.

It does nothing.

Definition Classes
@elidable(TRACING)
override def completed(rho: U => V): Unit

It does nothing.

It does nothing.

Definition Classes
@elidable(TRACING)
override def descendingBegins(rho: U => V): Unit

It does nothing.

It does nothing.

Definition Classes
@elidable(TRACING)
override def evaluated(rho: U => V, u: U, newval: V): Unit

It does nothing.

It does nothing.

Definition Classes
@elidable(TRACING)
override def initialized(rho: U => V): Unit

It does nothing.

It does nothing.

Definition Classes