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.
QualifierDefaults.DefaultApplierElement