Package org.checkerframework.checker.nullness.qual


package org.checkerframework.checker.nullness.qual
  • Annotation Interfaces
    Class
    Description
    Indicates that if the method returns a non-null value, then the value expressions are also non-null.
    Indicates that the value expressions evaluate to a value that is a key in all the given maps, if the method terminates successfully.
    A wrapper annotation that makes the EnsuresKeyFor annotation repeatable.
    Indicates that the given expressions evaluate to a value that is a key in all the given maps, if the method returns the given result (either true or false).
    A wrapper annotation that makes the EnsuresKeyForIf annotation repeatable.
    Indicates that the value expressions are non-null just after a method call, if the method terminates successfully.
    A wrapper annotation that makes the EnsuresNonNull annotation repeatable.
    Indicates that the given expressions are non-null, if the method returns the given result (either true or false).
    * A wrapper annotation that makes the EnsuresNonNullIf annotation repeatable.
    Indicates that the value assigned to the annotated variable is a key for at least the given map(s).
    The bottom type in the Map Key type system.
    Indicates that once the field (or variable) becomes non-null, it never becomes null again.
    If an expression's type is qualified by @NonNull, then the expression never evaluates to null.
    Nullable is a type annotation that makes no commitments about whether the value is null.
    A polymorphic qualifier for the Map Key (@KeyFor) type system.
    A polymorphic qualifier for the non-null type system.
    Indicates a method precondition: the method expects the specified expressions to be non-null when the annotated method is invoked.
    A wrapper annotation that makes the RequiresNonNull annotation repeatable.
    Used internally by the type system; should never be written by a programmer.