Package checkers.nullness

Provides a typechecker plug-in for the NonNull qualifier that finds (and verifies the absence of) null pointer errors.

See:
          Description

Class Summary
Class Description
CollectionToArrayHeuristics Handles calls to Collection.toArray() and determines the appropriate nullness type of the returned value.
NullnessAnnotatedTypeFactory Adds the NonNull annotation to a type that is:
  • (*) all literals (except for null literal)
  • (*) all primitive types
  • (*) an array-creation expression (with new)
  • (*) an object-creation expression (with new)
  • (*) a package declaration
  • in the scope of a DefaultQualifier annotation and matches its location criteria
  • determined to be NonNull by flow-sensitive inference
  • the class in a static member access (e.g., "System" in "System.out")
  • an exception parameter
  • the receiver type of a non-static (and non-constructor) method Adds the Raw annotation to
  • the receiver type of constructors.
  • NullnessChecker A typechecker plug-in for the Rawness type system qualifier that finds (and verifies the absence of) null-pointer errors.
    NullnessSubchecker A typechecker plug-in for the Nullness type system qualifier that finds (and verifies the absence of) null-pointer errors.
    NullnessUtils Utilities class for the Nullness Checker.
    NullnessVisitor A type-checking visitor for the Nullness type system.
    RawnessSubchecker A typechecker plug-in for the Nullness type system qualifier that finds (and verifies the absence of) null-pointer errors.
     

    Package checkers.nullness Description

    Provides a typechecker plug-in for the NonNull qualifier that finds (and verifies the absence of) null pointer errors.

    See Also:
    NullnessChecker
    See the Checker Framework manual:
    Nullness checker