org.checkerframework.framework.util.typeinference.solver

Class TargetConstraints

java.lang.Object

org.checkerframework.framework.util.typeinference.solver.TargetConstraints

public class TargetConstraints
extends Object

TargetConstraints represents the set of all TUConstraints for which target was the type parameter, i.e. the T in the TUConstraint. Unlike AF/TU Constraints, this class holds multiple constraints and is mutated during solving (where the TU/AF Constraints are immutable).

See Also:

ConstraintMap

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	TargetConstraints.Equalities
protected static class	TargetConstraints.Subtypes
protected static class	TargetConstraints.Supertypes

Field Summary

Fields

Modifier and Type	Field and Description
TargetConstraints.Equalities	equalities
TargetConstraints.Subtypes	subtypes The target is the supertype in this case, that these are subtype constraints in which target is the subtype.
TargetConstraints.Supertypes	supertypes The target is the supertype in this case, that these are supertype constraints in which target is the supertype.
TypeVariable	target The type parameter for which we are inferring a type argument.

Constructor Summary

Constructors

Constructor and Description
TargetConstraints(TypeVariable target)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

target

public final TypeVariable target

The type parameter for which we are inferring a type argument. All constraints in this object are related to this target.

equalities

public final TargetConstraints.Equalities equalities

supertypes

public final TargetConstraints.Supertypes supertypes

The target is the supertype in this case, that these are supertype constraints in which target is the supertype. These are NOT supertypes of the target.

subtypes

public final TargetConstraints.Subtypes subtypes

The target is the supertype in this case, that these are subtype constraints in which target is the subtype. These are NOT subtypes of the target.

Constructor Detail

TargetConstraints

public TargetConstraints(TypeVariable target)