Package org.checkerframework.framework.util.defaults
-
Class Summary Class Description Default Represents a mapping from an Annotation to a TypeUseLocation it should be applied to during defaulting.QualifierDefaults Determines the default qualifiers on a type. -
Enum Summary Enum Description QualifierDefaults.BoundType Specifies whether the type variable or wildcard has an explicit upper bound (UPPER), an explicit lower bound (LOWER), or no explicit bounds (UNBOUNDED).