org.checkerframework.framework.util.typeinference.constraint

Class F2A

java.lang.Object

org.checkerframework.framework.util.typeinference.constraint.AFConstraint

org.checkerframework.framework.util.typeinference.constraint.F2A

public class F2A
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 and Description
F2A(AnnotatedTypeMirror formalParameter, AnnotatedTypeMirror argument) Create a constraint with an argument greater than a formal.

Method Summary

Modifier and Type	Method and Description
protected F2A	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

F2A

public F2A(AnnotatedTypeMirror formalParameter,
           AnnotatedTypeMirror argument)

Create a constraint with an argument greater than 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 class AFConstraint

Returns:

a TUConstraint that represents this AFConstraint

construct

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