core
core
it.unich.scalafix
Box
Box
ImmutableBox
BoxAssignment
BoxAssignment
EquationSystem
EquationSystem
EquationSystemBase
EquationSystemTracer
EquationSystemTracer
DebugEquationSystemTracer
EmptyEquationSystemTracer
EquationSystemTracerAdapter
FixpointSolver
BoxLocation
BoxScope
BoxStrategy
DriverBadParameters
RestartStrategy
Solver
FixpointSolverTracer
FixpointSolverTracer
DebugFixpointSolverTracer
EmptyFixpointSolverTracer
PerformanceFixpointSolverTracer
FixpointSolverTracerAdapter
SimpleEquationSystem
it.unich.scalafix.assignments
IOAssignment
IOAssignment
HashBasedIOAssignment
InputAssignment
InputAssignment
Conditional
Default
FromAssignment
FromMap
it.unich.scalafix.finite
DFOrdering
DFOrdering
EdgeType
FiniteEquationSystem
FiniteEquationSystem
FiniteFixpointSolver
Params
GraphEquationSystem
GraphEquationSystem
GraphOrdering
GraphOrdering
HierarchicalOrdering
HierarchicalOrdering
HOElement
Left
Right
Val
HierarchicalOrderingSolver
KleeneSolver
PriorityWorkListSolver
RoundRobinSolver
SimpleFiniteEquationSystem
SimpleGraphEquationSystem
WorkListSolver
it.unich.scalafix.infinite
PriorityWorkListSolver
DynamicPriority
WorkListSolver
it.unich.scalafix.lattice
Domain
Ops
Domain
LowPriorityImplicitDomains
Magma
Ops
Magma
it.unich.scalafix.utils
Relation
Relation
core
/
it.unich.scalafix
/
EquationSystemTracer
/
EmptyEquationSystemTracer
EmptyEquationSystemTracer
class
EmptyEquationSystemTracer
[
U
,
V
]
extends
EquationSystemTracerAdapter
[
U
,
V
]
An empty listener which does nothing.
Graph
Supertypes
class
EquationSystemTracerAdapter
[
U
,
V
]
trait
EquationSystemTracer
[
U
,
V
]
class
Object
trait
Matchable
class
Any
Value members
Value members
Inherited methods
@elidable
(
TRACING
)
def
afterEvaluation
(
rho:
U
=>
V
,
u:
U
,
res:
V
):
Unit
Inherited from:
EquationSystemTracerAdapter
@elidable
(
TRACING
)
def
beforeEvaluation
(
rho:
U
=>
V
,
u:
U
):
Unit
Inherited from:
EquationSystemTracerAdapter
@elidable
(
TRACING
)
def
boxEvaluation
(
rho:
U
=>
V
,
u:
U
,
res:
V
,
boxed:
V
):
Unit
Inherited from:
EquationSystemTracerAdapter