checkers.nullness.quals

Annotation Type Primitive

public @interface Primitive

@Primitive is a type annotation internally used for primitive types. This annotation is not written in source code and only internally used. This annotation is associated with the NullnessChecker.

See Also:

Nullable, NullnessChecker

See the Checker Framework manual:

Nullness Checker