Package org.checkerframework.framework.util.typeinference8.constraint

Interface ReductionResult

All Known Subinterfaces:
Constraint
All Known Implementing Classes:
AdditionalArgument, BoundSet, CheckedExceptionConstraint, ConstraintSet, Expression, QualifierTyping, ReductionResult.ReductionResultPair, TypeConstraint, Typing
public interface ReductionResult
A result of reduction. One of: TypeConstraint,ConstraintSet,BoundSet, or ReductionResult.ReductionResultPair.

  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Interface
    Description
    static class 
    ReductionResult.ReductionResultPair
    A reduction result that contains a bound set and a constraint set.

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final @InternedDistinct ReductionResult
    UNCHECKED_CONVERSION
    Indicates that the constraint reduced to true, but unchecked conversion is required for the method to be applicable.

  • Field Details

    • UNCHECKED_CONVERSION

      static final @InternedDistinct ReductionResult UNCHECKED_CONVERSION
      Indicates that the constraint reduced to true, but unchecked conversion is required for the method to be applicable.