scalafix

Type Members

1. type Assignment[U, V] = (U) ⇒ V

   

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

2. abstract class Body[U, V] extends Function[Assignment[U, V], Assignment[U, V]]

   

   This is the type for the body of an equation system, i.e., a map which takes an assignment of values to unknowns and returns a new assignment of values to unknowns.

   This is the type for the body of an equation system, i.e., a map which takes an assignment of values to unknowns and returns a new assignment of values to unknowns.

   U

   the type of the unknowns

   V

   the type of values associated to the unknowns

3. abstract class Box[V] extends (V, V) ⇒ V

   

   A Box is a way to combine two values into a new one.

   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.

   V

   the type of the values to combine.

4. abstract class BoxAssignment[-U, V] extends PartialFunction[U, Box[V]]

   

   A BoxAssignment maps a subset of the program's points to a Box.

   A BoxAssignment maps a subset of the program's points 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.

5. abstract class EquationSystem[U, V] extends AnyRef

   

   This is the abstract class for a generic equation system.

   This is the abstract class for a generic equation system.

   U

   the type for the unknowns of this equation system.

   V

   the type for the values assumed by the unknowns of this equation system.

6. trait FixpointSolverListener[-U, -V] extends AnyRef

   

   A FixpointSolverListener implements some methods which are called by solvers when certain events occurs.

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

   U

   the type of unknowns supported by this listener

   V

   the type of values for unknowns supported by this listener

7. abstract class FixpointSolverListenerAdapter[-U, -V] extends FixpointSolverListener[U, V]

   

   This abstract class implements a listener for fixpoint solvers which does nothing.

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

8. type PartialAssignment[U, V] = IterableFunction[U, V]

   

   A partial assignment for an equation system is an iterable function from unknowns to values.