Package org.checkerframework.framework.util.typeinference.constraint

Interface AFReducer

All Known Implementing Classes:
A2FReducer, F2AReducer, FIsAReducer
public interface AFReducer
AFReducer implementations reduce AFConstraints into one or more "simpler" AFConstraints until these constraints are irreducible.
See Also:

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    reduce(AFConstraint constraint, Set<AFConstraint> newConstraints)
    Determines if the input constraint should be handled by this reducer.

  • Method Details

    • reduce

      boolean reduce(AFConstraint constraint, Set<AFConstraint> newConstraints)
      Determines if the input constraint should be handled by this reducer. If so: Reduces the constraint into one or more new constraints. Any new constraint that can still be reduced is placed in newConstraints. New irreducible constraints are placed in finish. Return true Return false (indicating that some other reducer needs to handle this constraint) If false is returned, the reducer should NOT place any constraints in newConstraints or finished
      Parameters:
      constraint - the constraint to reduce
      newConstraints - the new constraints that may still need to be reduced
      Returns:
      true if the input constraint was handled by this reducer, false otherwise