checker-qual 3.38.0
org.checkerframework.checker.optional.qual
Present
Top
Description
Methods
org.checkerframework.checker.optional.qual
public
@Interface Present
extends
Annotation
Annotations
@Documented
@Retention
:
RUNTIME
@Target
:
TYPE_USE
,
TYPE_PARAMETER
@SubtypeOf
:
MaybePresent
Imports
java.
lang.
annotation.
Documented
,
.ElementType
,
.Retention
,
.RetentionPolicy
,
.Target
,
org.
checkerframework.
framework.
qual.
SubtypeOf
The
Optional
container definitely contains a (non-null) value.
Method Summary
Inherited from
java.lang.annotation.Annotation
:
annotationType
equals
hashCode
toString