Class F2A
- java.lang.Object
-
- org.checkerframework.framework.util.typeinference.constraint.AFConstraint
-
- org.checkerframework.framework.util.typeinference.constraint.F2A
-
public class F2A extends AFConstraint
A constraint of the form: F 《 A or A 》 F- See Also:
AFConstraint
-
-
Field Summary
-
Fields inherited from class org.checkerframework.framework.util.typeinference.constraint.AFConstraint
argument, formalParameter
-
-
Constructor Summary
Constructors Constructor Description F2A(AnnotatedTypeMirror formalParameter, AnnotatedTypeMirror argument)
Create a constraint with an argument greater than a formal.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected F2A
construct(AnnotatedTypeMirror newArgument, AnnotatedTypeMirror newFormalParameter)
Used to create a new constraint of the same subclass of AFConstraint.java.lang.String
toString()
TUConstraint
toTUConstraint()
Once AFConstraints are irreducible it can be converted to a TU constraint, constraints between individual type parameters for which we are inferring an argument (T) and Java types (U).-
Methods inherited from class org.checkerframework.framework.util.typeinference.constraint.AFConstraint
equals, hashCode, isIrreducible, substitute
-
-
-
-
Constructor Detail
-
F2A
public F2A(AnnotatedTypeMirror formalParameter, AnnotatedTypeMirror argument)
Create a constraint with an argument greater than a formal.
-
-
Method Detail
-
toTUConstraint
public TUConstraint toTUConstraint()
Description copied from class:AFConstraint
Once AFConstraints are irreducible it can be converted to a TU constraint, constraints between individual type parameters for which we are inferring an argument (T) and Java types (U).- Specified by:
toTUConstraint
in classAFConstraint
- Returns:
- a TUConstraint that represents this AFConstraint
-
construct
protected F2A construct(AnnotatedTypeMirror newArgument, AnnotatedTypeMirror newFormalParameter)
Description copied from class:AFConstraint
Used to create a new constraint of the same subclass of AFConstraint.- Specified by:
construct
in classAFConstraint
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-