Framework FindBugs

for Java environment

Julia will translate the FindBugs annotations into its own, converting the information for the FindBugs analysis to the appropriate Julia information.

Required libraries: findbugs-annotations.jar

Applicability

This specification gets automatically applied when:

  • the framework of the analysis contains the word java (case insensitive)
  • there exists an annotation that starts with edu.umd.cs.findbugs


Implications between annotations

Some annotations of this framework get translated automatically into standard Julia annotations, such that the analysis engine can react accordingly. Namely:

  • if an element is annotated with edu.umd.cs.findbugs.annotations.CheckForNull, Julia considers it to be annotated also with:
    • com.juliasoft.julia.checkers.nullness.Nullable
  • if an element is annotated with edu.umd.cs.findbugs.annotations.CheckReturnValue, Julia considers it to be annotated also with:
    • com.juliasoft.julia.checkers.basicNullness.NullnessShouldBeChecked
  • if an element is annotated with edu.umd.cs.findbugs.annotations.NonNull, Julia considers it to be annotated also with:
    • com.juliasoft.julia.checkers.nullness.NonNull
  • if an element is annotated with edu.umd.cs.findbugs.annotations.Nullable, Julia considers it to be annotated also with:
    • com.juliasoft.julia.checkers.nullness.Nullable
  • if an element is annotated with edu.umd.cs.findbugs.annotations.PossiblyNull, Julia considers it to be annotated also with:
    • com.juliasoft.julia.checkers.nullness.Nullable
  • if an element is annotated with net.jcip.annotations.GuardedBy, Julia considers it to be annotated also with:
    • com.juliasoft.julia.checkers.guardedBy.GuardedBy
  • if an element is annotated with net.jcip.annotations.Immutable, Julia considers it to be annotated also with:
    • com.juliasoft.julia.types.Immutable