| edu.umd.cs.findbugs.annotations |
|
| Java Source File Name | Type | Comment |
| CheckForNull.java | Annotation | The annotated element might be null, and uses of the element should check for null.
When this annotation is applied to a method it applies to the method return value. |
| CheckReturnValue.java | Annotation | This annotation is used to denote a method whose return value
should always be checked when invoking the method. |
| DefaultAnnotation.java | Annotation | Indicates that all members of the class or package should be
annotated with the default value of the supplied annotation class. |
| DefaultAnnotationForFields.java | Annotation | Indicates that all members of the class or package should be
annotated with the default value of the supplied annotation class. |
| DefaultAnnotationForMethods.java | Annotation | Indicates that all members of the class or package should be
annotated with the default value of the supplied annotation class. |
| DefaultAnnotationForParameters.java | Annotation | Indicates that all members of the class or package should be
annotated with the default value of the supplied annotation class. |
| NonNull.java | Annotation | The annotated element must not be null.
Annotated Fields must only not be null after construction
has completed. |
| Nullable.java | Annotation | The annotated element could be null under some circumstances.
In general, this means developers will have to read the documentation
to determine when a null value is acceptable and whether it is neccessary
to check for a null value. |
| OverrideMustInvoke.java | Annotation | Used to annotate a method that, if overridden, must (or should) be invoked
by an invocation on super in the overriding method. |
| PossiblyNull.java | Annotation | The annotated element should might be null, and uses of the element should check for null. |
| Priority.java | enum | |
| SubclassMustInvoke.java | Annotation | Author: Stephan Heiss, October 2007. |
| SuppressWarnings.java | Annotation | |
| UnknownNullness.java | Annotation | Used to indicate that the nullness of element is unknown, or may vary in
unknown ways in subclasses. |
| When.java | enum | |