Package org.checkerframework.framework.util.typeinference
-
Interface Summary Interface Description TypeArgumentInference Instances of TypeArgumentInference are used to infer the types of method type arguments when no explicit arguments are provided. -
Class Summary Class Description DefaultTypeArgumentInference An implementation of TypeArgumentInference that mostly follows the process outlined in JLS7 See the JLS 7: JLS §5.12.2.7GlbUtil A class used to determine the greatest lower bounds for a set of AnnotatedTypeMirrors.TypeArgInferenceUtil Miscellaneous utilities to help in type argument inference.