Package org.checkerframework.framework.util.typeinference8.types
package org.checkerframework.framework.util.typeinference8.types
-
ClassDescriptionThis is the super class for a qualifier,
Qualifieror a qualifier variable,QualifierVar.As explained in section 18.1, the JLS Chapter on type inference use the term "type" to "include type-like syntax that contains inference variables".The kind ofAbstractType.Helper class for determining if a type contains an inference variable.Variables created as a part of a capture bound.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 method type for an invocation of a method or constructor.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.