All Implemented Interfaces:

public class F2AReducer extends Object implements AFReducer
F2AReducer takes an F2A constraint that is not irreducible (@see AFConstraint.isIrreducible) and reduces it by one step. The resulting constraint may still be reducible.

Generally reductions should map to corresponding rules in

  • Field Details

    • visitor

      protected final org.checkerframework.framework.util.typeinference.constraint.F2AReducer.F2AReducingVisitor visitor
  • Constructor Details

  • Method Details

    • reduce

      public boolean reduce(AFConstraint constraint, Set<AFConstraint> newConstraints)
      Description copied from interface: AFReducer
      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
      Specified by:
      reduce in interface AFReducer
      constraint - the constraint to reduce
      newConstraints - the new constraints that may still need to be reduced
      true if the input constraint was handled by this reducer, false otherwise