Index

E M N O S U W
All Classes and Interfaces|All Packages

E

Effects of being null-marked - Section in annotation interface org.jspecify.annotations.NullMarked

M

Meaning per each kind of type usage - Section in annotation interface org.jspecify.annotations.Nullable

N

NonNull - Annotation Interface in org.jspecify.annotations

Indicates that the annotated type usage (commonly a parameter type or return type) is considered to exclude null as a value; rarely needed within null-marked code.

Non-null projection - Section in annotation interface org.jspecify.annotations.NonNull

Note on tool behavior - Section in package org.jspecify.annotations

Nullable - Annotation Interface in org.jspecify.annotations

Indicates that the annotated type usage (commonly a parameter type or return type) is considered to include null as a value.

NullMarked - Annotation Interface in org.jspecify.annotations

Indicates that the annotated element and the code transitively enclosed within it are null-marked code: there, type usages are generally considered to exclude null as a value unless specified otherwise.

Null-marked and null-unmarked code - Section in annotation interface org.jspecify.annotations.NullUnmarked

Nullness - Section in package org.jspecify.annotations

NullUnmarked - Annotation Interface in org.jspecify.annotations

Indicates that the annotated element and the code transitively enclosed within it is null-unmarked code: there, type usages generally have unspecified nullness unless explicitly annotated otherwise.

O

org.jspecify.annotations - package org.jspecify.annotations

JSpecify annotations.

S

Special cases - Section in annotation interface org.jspecify.annotations.NullMarked

U

Unannotated type usages - Section in annotation interface org.jspecify.annotations.Nullable

Unspecified nullness - Section in annotation interface org.jspecify.annotations.NullUnmarked

W

What's here? - Section in package org.jspecify.annotations

Where it can be used - Section in annotation interface org.jspecify.annotations.NullMarked

Where it can be used - Section in annotation interface org.jspecify.annotations.NullUnmarked

Where it is applicable - Section in annotation interface org.jspecify.annotations.NonNull

Where it is applicable - Section in annotation interface org.jspecify.annotations.Nullable

E M N O S U W
All Classes and Interfaces|All Packages