Package org.checkerframework.framework.util.typeinference.constraint

package org.checkerframework.framework.util.typeinference.constraint
  • Class
    Description
    A2F
    A constraint of the form: A 《 F or F 》 A
    A2FReducer
    A2FReducer takes an A2F constraint that is not irreducible (@see AFConstraint.isIrreducible) and reduces it by one step.
    AFConstraint
    AFConstraint represent the initial constraints used to infer type arguments for method invocations and new class invocations.
    AFReducer
    AFReducer implementations reduce AFConstraints into one or more "simpler" AFConstraints until these constraints are irreducible.
    F2A
    A constraint of the form: F 《 A or A 》 F
    F2AReducer
    F2AReducer takes an F2A constraint that is not irreducible (@see AFConstraint.isIrreducible) and reduces it by one step.
    FIsA
    A constraint of the form: F = A or A = F
    FIsAReducer
    FIsAReducer takes an FIsA constraint that is not irreducible (@see AFConstraint.isIrreducible) and reduces it by one step.
    TIsU
    A constraint of the form: T = U
    TSubU
    A constraint of the form: T <: U
    TSuperU
    A constraint of the form: T :> U
    TUConstraint
    Subclasses of TUConstraint represent constraints between a type parameter, whose type arguments are being inferred, and the types used to do that inference.