Class Default
java.lang.Object
org.checkerframework.framework.util.defaults.Default
- All Implemented Interfaces:
Comparable<Default>
Represents a mapping from an Annotation to a TypeUseLocation it should be applied to during
defaulting. The Comparable ordering of this class first tests location then tests annotation
ordering (via
AnnotationUtils
).
It also has a handy toString method that is useful for debugging.
-
Field Summary
-
Constructor Summary
-
Method Summary