Filter out no-op options from options descriptions HTML.

PiperOrigin-RevId: 642233077 Change-Id: I79a5b8e11def42961a7721c45f29682b9f49b57b
katre · Jun 11, 2024 · 4d916c5 · 4d916c5
1 parent 8a3aa5d
commit 4d916c5
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/src/main/java/com/google/devtools/common/options/OptionsParser.java b/src/main/java/com/google/devtools/common/options/OptionsParser.java
@@ -536,6 +536,13 @@ public String describeOptionsHtml(Escaper escaper, String productName) {
     for (Map.Entry<OptionDocumentationCategory, List<OptionDefinition>> e :
         optionsByCategory.entrySet()) {
       List<OptionDefinition> categorizedOptionsList = e.getValue();
+      categorizedOptionsList =
+          categorizedOptionsList.stream()
+              .filter(
+                  optionDef ->
+                      Arrays.stream(optionDef.getOptionEffectTags())
+                          .noneMatch(effectTag -> effectTag.equals(OptionEffectTag.NO_OP)))
+              .collect(toImmutableList());
       if (categorizedOptionsList.isEmpty()) {
         continue;
       }