Don't use /// comments, whose content must be Markdown in Java 23

Author: mernst

checker-util/src/main/java/org/checkerframework/checker/regex/util/RegexUtil.java

@@ -426,9 +426,9 @@ public static boolean noStringMatchesAnyRegex(
     return true;
   }
 
-  ///
-  /// Utilities
-  ///
+  //
+  // Utilities
+  //
 
   // This is from CollectionsPlume, but is here to make the file self-contained.
 

checker/build.gradle

@@ -370,9 +370,9 @@ if (skipDelombok) {
   tasks.test.dependsOn('delombok')
 }
 
-///
-/// Tests of the -Ainfer command-line argument.  These are not whole-program inference tests.
-///
+//
+// Tests of the -Ainfer command-line argument.  These are not whole-program inference tests.
+//
 
 test {
   useJUnit {
@@ -884,9 +884,9 @@ task ainferTest(group: 'Verification') {
   dependsOn('ainferResourceLeakAjavaTest')
 }
 
-///
-/// Whole-program inference tests
-///
+//
+// Whole-program inference tests
+//
 
 // This is run as part of the inferenceTests task.
 task wpiManyTest(group: 'Verification') {

checker/jtreg/nullness/defaultsPersist/ReferenceInfoUtil.java

@@ -39,7 +39,7 @@ public static List<TypeAnnotation> extendedAnnotationsOf(
     return annos;
   }
 
-  /////////////////// Extract type annotations //////////////////
+  // /////////////////// Extract type annotations //////////////////
   private void findAnnotations(ClassFile cf, List<TypeAnnotation> annos) {
     findAnnotations(cf, Attribute.RuntimeVisibleTypeAnnotations, annos);
     findAnnotations(cf, Attribute.RuntimeInvisibleTypeAnnotations, annos);
@@ -130,7 +130,7 @@ private static void findAnnotations(
     }
   }
 
-  /////////////////////// Equality testing /////////////////////
+  // /////////////////////// Equality testing /////////////////////
   private static boolean areEquals(int a, int b) {
     return a == b || a == IGNORE_VALUE || b == IGNORE_VALUE;
   }

checker/jtreg/nullness/inheritDeclAnnoPersist/ReferenceInfoUtil.java

@@ -23,7 +23,7 @@ public static List<Annotation> extendedAnnotationsOf(ClassFile cf) {
     return annos;
   }
 
-  /////////////////// Extract annotations //////////////////
+  // /////////////////// Extract annotations //////////////////
   private static void findAnnotations(ClassFile cf, List<Annotation> annos) {
     for (Method m : cf.methods) {
       findAnnotations(cf, m, Attribute.RuntimeVisibleAnnotations, annos);

checker/src/main/java/org/checkerframework/checker/i18nformatter/I18nFormatterVisitor.java

@@ -159,9 +159,9 @@ protected boolean commonAssignmentCheck(
       }
     }
 
-    /// TODO: What does "take precedence over" mean?  Both are issued, but the
-    /// "i18nformat.excess.arguments" appears first in the output.  Is this meant to not call
-    /// super.commonAssignmentCheck() if `result` is already false?
+    // TODO: What does "take precedence over" mean?  Both are issued, but the
+    // "i18nformat.excess.arguments" appears first in the output.  Is this meant to not call
+    // super.commonAssignmentCheck() if `result` is already false?
     // By calling super.commonAssignmentCheck() last, any "i18nformat.excess.arguments"
     // message issued for a given line of code will take precedence over the "assignment"
     // issued by super.commonAssignmentCheck().

checker/src/main/java/org/checkerframework/checker/index/samelen/SameLenAnnotatedTypeFactory.java

@@ -361,9 +361,9 @@ public List<String> getSameLensFromString(
     return AnnotationUtils.getElementValueArray(sameLenAnno, sameLenValueElement, String.class);
   }
 
-  ///
-  /// Creating @SameLen annotations
-  ///
+  //
+  // Creating @SameLen annotations
+  //
 
   /**
    * Creates a @SameLen annotation whose values are the given strings.

checker/src/main/java/org/checkerframework/checker/interning/com-sun.astub

@@ -33,9 +33,9 @@ public class Repository {
 }
 
 
-///////////////////////////////////////////////////////////////////////////
-/// public static final @Interned String (initialized to constant)
-///
+// ///////////////////////////////////////////////////////////////////////////
+// public static final @Interned String (initialized to constant)
+//
 
 package com.sun.imageio.plugins.gif;
 public class GIFStreamMetadata {

checker/tests/calledmethods-usevaluechecker/GenerateDataKeyRequestExamples.java

@@ -101,7 +101,7 @@ void setTwice4(AWSKMS client) {
     client.generateDataKey(request);
   }
 
-  /// Interprocedural
+  // Interprocedural
 
   void callee2(
       AWSKMS client,

checker/tests/nonempty/IndexOfNonNegative.java

@@ -71,8 +71,7 @@ public boolean removeAll(Collection<?> c) {
   @Override
   public void clear() {}
 
-  ///////////////////////////////////////////////////////////////////////////
-
+  // ///////////////////////////////////////////////////////////////////////////
   // iterators
 
   @Override

checker/tests/nonempty/SizeInIsEmpty.java

@@ -39,7 +39,7 @@ public boolean isEmpty3() {
     return size() == 0;
   }
 
-  //// iterators
+  // iterators
 
   @Override
   public @PolyNonEmpty Iterator<E> iterator(@PolyNonEmpty SizeInIsEmpty<E> this) {