[default module]

Package org.checkerframework.checker.optional.qual

Annotation Summary

Modifier and Type	Annotation and Description
public @interface	MaybePresent The `Optional` container may or may not contain a value.
public @interface	OptionalBottom The bottom type qualifier for the Optional Checker.
public @interface	PolyPresent A polymorphic qualifier for the Optional type system.
public @interface	Present The `Optional` container definitely contains a (non-null) value.