Annotation Type AssertNonNullIfFalse

public @interface AssertNonNullIfFalse

Indicates that if the method returns false, then the value expressions are non-null.

For instance, if AbstractCollection.isEmpty() is false, then PriorityQueue.peek() is nonnull. You can express this relationship as:

   public boolean isEmpty() { ... }

See Also:
NonNull, NullnessChecker
See the Checker Framework manual:
Nullness Checker

Required Element Summary
Modifier and Type Required Element and Description
 String[] value
          The value can be: fields on receiver object.

Element Detail


public abstract String[] value
The value can be:
  1. fields on receiver object. The value should simply be the field name, e.g. next, parent.
  2. no-arg method members on the receiver object: The value would be the method signature, e.g. list()
  3. method argument: The value should be # followed by the parameter index (index starts with 0), e.g. #2.