ScalaFix/it.unich.scalafix/FixpointSolverTracerAdapter

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.

Source:
FixpointSolverTracer.scala
class Object
trait Matchable
class Any

Value members

Concrete methods

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

It does nothing.

It does nothing.

Definition Classes
Source:
FixpointSolverTracer.scala
override def completed(rho: U => V): Unit

It does nothing.

It does nothing.

Definition Classes
Source:
FixpointSolverTracer.scala
override def descendingBegins(rho: U => V): Unit

It does nothing.

It does nothing.

Definition Classes
Source:
FixpointSolverTracer.scala
override def evaluated(rho: U => V, u: U, newval: V): Unit

It does nothing.

It does nothing.

Definition Classes
Source:
FixpointSolverTracer.scala
override def initialized(rho: U => V): Unit

It does nothing.

It does nothing.

Definition Classes
Source:
FixpointSolverTracer.scala