Package org.checkerframework.framework.util.typeinference.constraint

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

Modifier and Type	Method	Description
protected FIsA	construct(AnnotatedTypeMirror newArgument, AnnotatedTypeMirror newFormalParameter)	Used to create a new constraint of the same subclass of AFConstraint.
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

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

FIsA

public FIsA(AnnotatedTypeMirror parameter,
 AnnotatedTypeMirror argument)

Create a constraint with an argument equal to a formal.

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