Class Default
- java.lang.Object
-
- org.checkerframework.framework.util.defaults.Default
-
- All Implemented Interfaces:
java.lang.Comparable<Default>
public class Default extends java.lang.Object implements java.lang.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 (viaAnnotationUtils
).It also has a handy toString method that is useful for debugging.
-
-
Field Summary
Fields Modifier and Type Field Description javax.lang.model.element.AnnotationMirror
anno
The default annotation mirror.boolean
applyToSubpackages
Whether the default should be inherited by subpackages.TypeUseLocation
location
The type use location.
-
Constructor Summary
Constructors Constructor Description Default(javax.lang.model.element.AnnotationMirror anno, TypeUseLocation location, boolean applyToSubpackages)
Construct a Default object.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description int
compareTo(Default other)
boolean
equals(@Nullable java.lang.Object thatObj)
int
hashCode()
java.lang.String
toString()
-
-
-
Field Detail
-
anno
public final javax.lang.model.element.AnnotationMirror anno
The default annotation mirror.
-
location
public final TypeUseLocation location
The type use location.
-
applyToSubpackages
public final boolean applyToSubpackages
Whether the default should be inherited by subpackages.
-
-
Constructor Detail
-
Default
public Default(javax.lang.model.element.AnnotationMirror anno, TypeUseLocation location, boolean applyToSubpackages)
Construct a Default object.- Parameters:
anno
- the default annotation mirrorlocation
- the type use locationapplyToSubpackages
- whether the default should be inherited by subpackages
-
-
Method Detail
-
compareTo
public int compareTo(Default other)
- Specified by:
compareTo
in interfacejava.lang.Comparable<Default>
-
equals
public boolean equals(@Nullable java.lang.Object thatObj)
- Overrides:
equals
in classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-