Package org.checkerframework.framework.util.typeinference8.util
package org.checkerframework.framework.util.typeinference8.util
-
ClassDescriptionUtil for checked exception constraints.A checked exception that a functional expression can throw, viewed both as a
TypeMirrorand as anAnnotatedTypeMirror.Exception thrown when the Java types make it so that false is inferred.An object to pass around for use during invocation type inference.Where an implicitly typed lambda parameter's type comes from: the target type of the lambda that declares it, and the parameter's index in the lambda's parameter list.Resolution finds an instantiation for each variable in a given set of variables.A mapping from type variables to inference variables.