public class F2AReducer extends Object implements AFReducer
Generally reductions should map to corresponding rules in http://docs.oracle.com/javase/specs/jls/se7/html/jls-15.html#jls-15.12.2.7
Modifier and Type | Field and Description |
---|---|
protected org.checkerframework.framework.util.typeinference.constraint.F2AReducer.F2AReducingVisitor |
visitor |
Constructor and Description |
---|
F2AReducer(AnnotatedTypeFactory typeFactory) |
Modifier and Type | Method and Description |
---|---|
boolean |
reduce(AFConstraint constraint,
Set<AFConstraint> newConstraints)
Determines if the input constraint should be handled by this reducer.
|
protected final org.checkerframework.framework.util.typeinference.constraint.F2AReducer.F2AReducingVisitor visitor
public F2AReducer(AnnotatedTypeFactory typeFactory)
public boolean reduce(AFConstraint constraint, Set<AFConstraint> newConstraints)
AFReducer