org.checkerframework.framework.util.typeinference.constraint

Class A2F

java.lang.Object

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

org.checkerframework.framework.util.typeinference.constraint.A2F

public class A2F
extends AFConstraint

A constraint of the form: A 《 F or F 》 A

See Also:

AFConstraint

Field Summary

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

argument, formalParameter

Constructor Summary

Constructors

Constructor and Description
A2F(AnnotatedTypeMirror argument, AnnotatedTypeMirror formalParameter) Create a constraint with an argument less than a formal.

Method Summary

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

A2F

public A2F(AnnotatedTypeMirror argument,
           AnnotatedTypeMirror formalParameter)

Create a constraint with an argument less 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 A2F 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