Add @Documented tag to RequiresPresent

typetools · Oct 31, 2023 · a76764f · a76764f
1 parent e2dbaac
commit a76764f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/checker-qual/src/main/java/org/checkerframework/checker/optional/qual/RequiresPresent.java b/checker-qual/src/main/java/org/checkerframework/checker/optional/qual/RequiresPresent.java
@@ -56,6 +56,7 @@
  *
  * @checker_framework.manual #optional-checker Optional Checker
  */
+@Documented
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.METHOD, ElementType.CONSTRUCTOR})
 @PreconditionAnnotation(qualifier = Present.class)