All Downloads are FREE. Search and download functionalities are using the official Maven repository.

org.checkerframework.checker.optional.qual.EnsuresPresentIf.class Maven / Gradle / Ivy

????4;org/checkerframework/checker/optional/qual/EnsuresPresentIfjava/lang/Objectjava/lang/annotation/Annotationresult()Z
expression()[Ljava/lang/String;
SourceFileEnsuresPresentIf.javaRuntimeVisibleAnnotations!Ljava/lang/annotation/Documented; Ljava/lang/annotation/Retention;value&Ljava/lang/annotation/RetentionPolicy;RUNTIMELjava/lang/annotation/Target;"Ljava/lang/annotation/ElementType;METHODCONSTRUCTORHLorg/checkerframework/framework/qual/ConditionalPostconditionAnnotation;	qualifier4Lorg/checkerframework/checker/optional/qual/Present;9Lorg/checkerframework/framework/qual/InheritedAnnotation;InnerClasses@org/checkerframework/checker/optional/qual/EnsuresPresentIf$ListList&	

1e[eec
&	




© 2015 - 2025 Weber Informatics LLC | Privacy Policy