Class 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
    • 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.
      • 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​(javax.lang.model.type.TypeVariable target)