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

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
F2A(AnnotatedTypeMirror formalParameter, AnnotatedTypeMirror argument)

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)

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