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

See Also:

A constraint of the form: F = A or A = F

Field Summary

Fields inherited from class org.checkerframework.framework.util.typeinference.constraint.AFConstraint

argument, formalParameter, hashcodeBase

Constructor Summary

Constructors

Constructor and Description
FIsA(AnnotatedTypeMirror parameter, AnnotatedTypeMirror argument)

Method Summary

Modifier and Type	Method and 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 Detail

FIsA

public FIsA(AnnotatedTypeMirror parameter,
            AnnotatedTypeMirror argument)

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 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