Package org.checkerframework.framework.util.typeinference8.types
package org.checkerframework.framework.util.typeinference8.types
-
ClassDescriptionAn inference type for a method call, a constructor invocation, or a compile-time declaration of a method reference.An inference type for a method or constructor invocation.This is the super class for a qualifier,
Qualifieror a qualifier variable,QualifierVar.This class represents "types" that "include type-like syntax that contains inference variables" (see Section 18.1).The kind ofAbstractType.Helper class for determining if a type contains an inference variable.Variables created as a part of a capture bound.Represents the compile-time declaration type of the method reference that is the method to which the method reference refers.Helper class for determining if a type contains an inference variable.A data structure to hold the dependencies between variables.Factory that creates AbstractTypes.A type-like structure that contains at least one inference variable, but is not an inference variable.A type that does not contain any inference variables.A wrapper around anAnnotationMirror.AQualifierVaris a variable for a polymorphic qualifier that needs to be viewpoint-adapted at a call site.A use of an inference variable.An inference variable.Data structure to stores the bounds of a variable.Kind of bound.