Package 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	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
final TargetConstraints.Equalities	equalities
final TargetConstraints.Subtypes	subtypes	The target is the supertype in this case, that these are subtype constraints in which target is the subtype.
final TargetConstraints.Supertypes	supertypes	The target is the supertype in this case, that these are supertype constraints in which target is the supertype.
final TypeVariable	target	The type parameter for which we are inferring a type argument.

Constructor Summary

Constructors

Constructor	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 Details

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 Details

TargetConstraints

public TargetConstraints(TypeVariable target)