Class F2A
java.lang.Object
org.checkerframework.framework.util.typeinference.constraint.AFConstraint
org.checkerframework.framework.util.typeinference.constraint.F2A
A constraint of the form: F 《 A or A 》 F
- See Also:
-
Field Summary
Fields inherited from class org.checkerframework.framework.util.typeinference.constraint.AFConstraint
argument, formalParameter
-
Constructor Summary
ConstructorDescriptionF2A
(AnnotatedTypeMirror formalParameter, AnnotatedTypeMirror argument) Create a constraint with an argument greater than a formal. -
Method Summary
Modifier and TypeMethodDescriptionprotected F2A
construct
(AnnotatedTypeMirror newArgument, AnnotatedTypeMirror newFormalParameter) Used to create a new constraint of the same subclass of AFConstraint.toString()
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 Details
-
F2A
Create a constraint with an argument greater than a formal.
-
-
Method Details
-
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
Description copied from class:AFConstraint
Used to create a new constraint of the same subclass of AFConstraint.- Specified by:
construct
in classAFConstraint
-
toString
-