Package org.checkerframework.framework.util.typeinference8.constraint
package org.checkerframework.framework.util.typeinference8.constraint
-
ClassDescription<LambdaExpression →throws T>: The checked exceptions thrown by the body of the LambdaExpression are declared by the throws clause of the function type derived from T.A constraint.A kind of Constraint.A set of constraints and the operations that can be performed on them.<Expression → T> An expression is compatible in a loose invocation context with type TThe additional argument constraints (JLS 18.5.2.2) produced by the body of an implicitly typed lambda expression, deferred until the lambda's parameter types are known.Represents a constraint between two
AbstractType.A result of reduction.A reduction result that contains a bound set and a constraint set.Constraints are between either an expression and a type, two types, or an expression and a thrown type.Represents a constraint between twoAbstractType.