Class TargetConstraints
- java.lang.Object
-
- org.checkerframework.framework.util.typeinference.solver.TargetConstraints
-
public class TargetConstraints extends java.lang.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 Description protected static class
TargetConstraints.Equalities
protected static class
TargetConstraints.Subtypes
Remember these are constraints in which the target is the subtype.protected static class
TargetConstraints.Supertypes
-
Field Summary
Fields Modifier and Type Field 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.javax.lang.model.type.TypeVariable
target
The type parameter for which we are inferring a type argument.
-
Constructor Summary
Constructors Constructor Description TargetConstraints(javax.lang.model.type.TypeVariable target)
-
-
-
Field Detail
-
target
public final javax.lang.model.type.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.
-
-