org.checkerframework.framework.util.typeinference.solver

Class ConstraintMapBuilder

java.lang.Object

org.checkerframework.framework.util.typeinference.solver.ConstraintMapBuilder

public class ConstraintMapBuilder
extends Object

Converts a set of TUConstraints into a ConstraintMap.

Constructor Summary

Constructors

Constructor and Description
ConstraintMapBuilder()

Method Summary

Modifier and Type	Method and Description
void	addToPrimaryRelationship(TypeVariable typeVariable, TUConstraint constraint, ConstraintMap result, AnnotationMirrorSet annotationMirrors, QualifierHierarchy qualifierHierarchy)
void	addToTypeRelationship(TypeVariable target, AnnotatedTypeMirror type, ConstraintMap result, TUConstraint constraint, AnnotationMirrorSet hierarchies)
ConstraintMap	build(Set<TypeVariable> targets, Set<TUConstraint> constraints, AnnotatedTypeFactory typeFactory) Let Ti be a the ith target being inferred Let ATV(i) be the annotated type variable that represents as use of Ti which may or may not have primary annotations.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConstraintMapBuilder

public ConstraintMapBuilder()

Method Detail

build

public ConstraintMap build(Set<TypeVariable> targets,
                           Set<TUConstraint> constraints,
                           AnnotatedTypeFactory typeFactory)

Let Ti be a the ith target being inferred Let ATV(i) be the annotated type variable that represents as use of Ti which may or may not have primary annotations. Let ATM be an annotated type mirror that may or may not be target Tx, or have a component target Tx Let Ai be the type argument we are trying to infer for Ti

We have a set of constraints of the form: ATV(i) <?> ATM

Where <?> is either a subtype (<:), supertype (:>), or equality relationship (=).

Regardless of what <?> is, a constraint will only imply constraints on Ai in a given hierarchy if ATV(i) does NOT have a primary annotation in that hierarchy. That is:

E.g. Let ATV(i) be @NonNull Ti, the constraints @NonNull Ti = @NonNull @Initialized String does not imply any primary annotation in the Nullness hierarchy for type argument Ai because the Annotated type mirror has a primary annotation in the NUllness hierarchy.

However, it does imply that Ai has a primary annotation of @Initialized since ATV(i) has no primary annotation in the initialization hierarchy.

Note, constraints come in 2 forms:

• between a target and a concrete AnnotatedTypeMirror. E.g., As seen above (@NonNull Ti = @NonNull @Initialized String)
• between two targets E.g., (@NonNull Ti = Tj)

addToPrimaryRelationship

public void addToPrimaryRelationship(TypeVariable typeVariable,
                                     TUConstraint constraint,
                                     ConstraintMap result,
                                     AnnotationMirrorSet annotationMirrors,
                                     QualifierHierarchy qualifierHierarchy)

addToTypeRelationship

public void addToTypeRelationship(TypeVariable target,
                                  AnnotatedTypeMirror type,
                                  ConstraintMap result,
                                  TUConstraint constraint,
                                  AnnotationMirrorSet hierarchies)