Package org.checkerframework.framework.util.typeinference8.util
package org.checkerframework.framework.util.typeinference8.util
-
ClassDescriptionUtil for checked exception constraints.Exception thrown when the Java types make it so that false is inferred.An object to pass around for use during invocation type inference.Resolution finds an instantiation for each variable in a given set of variables.A mapping from type variables to inference variables.