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:
  • Constructor Details

  • Method Details

    • 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 class AFConstraint
      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 class AFConstraint
    • toString

      public String toString()
      Overrides:
      toString in class Object