it.unich.scalafix

A Box is a way to combine two values into a new one. It is a specialization of the functional type (V,V) => V, where the first parameter is the old value of an unknown and the second parameter is the new contribution. Both widenings and narrowings are examples of boxes. Boxes are mutable, i.e., the apply method may give different results for the same input when called multiple times.

Another function of boxes is to be blueprints for building other equivalent boxes. Each box has a copy method which should produce a functionally equivalent copy of this. The copy method should try to minimize object duplication.

The Box object defines several factories for building boxes.

A BoxAssignment maps a subset of unknowns to a Box. When isDefinedAt(u) is false for a given unknown u, the corresponding apply(u) should be a right box.

Like it was the case for Box, a BoxAssignent is also a blueprint for buildind equivalent BoxAssignments. Each BoxAssignmant has a copy method which should produce a functionally equivalent copy of this. The copy method should try to minimize object duplication.

The BoxAssignment object defines factories for building box assignments.

This is the abstract class for a generic equation system.

This class implements common utility methods.

An EquationSystemTracer implements some methods which are called by equation systems when certain events occurs. They may be used for debugging, tracing, etc...

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

The FixpointSolver object contains many enumerations and auxiliary classes which are used by other fixpoint solvers.

A FixpointSolverTracer implements some methods which are called by solvers when certain events occurs. They may be used for debugging, tracing, etc...

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.

A simple standard implementation of EquationSystem. All fields must be provided explicitly by the user with the exception of bodyWithDependencies which is computed by body.

An assignment for an equation system is a map from unknowns to values.

The body of an equation system, i.e., a map from assignments to assignments.

A body which also calculates dependencies among unknowns.

The effect of an edge in a graph equation system.

The constant to use in -Xelide-below in order to remove tracing code. Note that tracing might be required to make a program work, so only elide it if you known what you are doing.