Class FIsA
- java.lang.Object
-
- org.checkerframework.framework.util.typeinference.constraint.AFConstraint
-
- org.checkerframework.framework.util.typeinference.constraint.FIsA
-
public class FIsA 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 FIsA(AnnotatedTypeMirror parameter, AnnotatedTypeMirror argument)
Create a constraint with an argument equal to a formal.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected FIsA
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
-
FIsA
public FIsA(AnnotatedTypeMirror parameter, AnnotatedTypeMirror argument)
Create a constraint with an argument equal to 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 FIsA 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
-
-