Class TargetConstraints
java.lang.Object
org.checkerframework.framework.util.typeinference.solver.TargetConstraints
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:
-
Nested Class Summary
Modifier and TypeClassDescriptionprotected static class
protected static class
Remember these are constraints in which the target is the subtype.protected static class
-
Field Summary
Modifier and TypeFieldDescriptionThe target is the supertype in this case, that these are subtype constraints in which target is the subtype.The target is the supertype in this case, that these are supertype constraints in which target is the supertype.final TypeVariable
The type parameter for which we are inferring a type argument. -
Constructor Summary
-
Method Summary
-
Field Details
-
target
The type parameter for which we are inferring a type argument. All constraints in this object are related to this target. -
equalities
-
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
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 Details
-
TargetConstraints
-