org.checkerframework.common.initializedfields.qual.EnsuresInitializedFields.class Maven / Gradle / Ivy
???? 4 " Korg/checkerframework/common/initializedfields/qual/EnsuresInitializedFields java/lang/Object java/lang/annotation/Annotation value ()[Ljava/lang/String; AnnotationDefault this fields RuntimeVisibleAnnotations 7Lorg/checkerframework/framework/qual/QualifierArgument;
SourceFile EnsuresInitializedFields.java !Ljava/lang/annotation/Documented; Ljava/lang/annotation/Retention; &Ljava/lang/annotation/RetentionPolicy; RUNTIME Ljava/lang/annotation/Target; "Ljava/lang/annotation/ElementType; METHOD CONSTRUCTOR =Lorg/checkerframework/framework/qual/PostconditionAnnotation; qualifier FLorg/checkerframework/common/initializedfields/qual/InitializedFields; 9Lorg/checkerframework/framework/qual/InheritedAnnotation; !Ljava/lang/annotation/Repeatable; RLorg/checkerframework/common/initializedfields/qual/EnsuresInitializedFields$List; InnerClasses Porg/checkerframework/common/initializedfields/qual/EnsuresInitializedFields$List List& [ s
s : e [ e e c c
!&