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 class	TargetConstraints.Equalities
protected class	TargetConstraints.Subtypes
protected class	TargetConstraints.Supertypes

Field Summary

Fields

Modifier and Type	Field and Description
TargetConstraints.Equalities	equalities
TargetConstraints.Subtypes	subtypes
TargetConstraints.Supertypes	supertypes
TypeVariable	target

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

equalities

public final TargetConstraints.Equalities equalities

supertypes

public final TargetConstraints.Supertypes supertypes

subtypes

public final TargetConstraints.Subtypes subtypes

Constructor Detail

TargetConstraints

public TargetConstraints(TypeVariable target)