Make SourceChecker#suppressWarningsString protected to allow adapta…

…tion in subclasses (#816)
eisop · Jul 20, 2024 · 77d2f89 · 77d2f89
1 parent 229ce9a
commit 77d2f89
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/docs/CHANGELOG.md b/docs/CHANGELOG.md
@@ -8,6 +8,8 @@ Use `-ApermitMissingJdk` instead.
 
 **Implementation details:**
 
+Make `SourceChecker#suppressWarningsString` protected to allow adaptation in subclasses.
+
 **Closed issues:**
 
 

diff --git a/framework/src/main/java/org/checkerframework/framework/source/SourceChecker.java b/framework/src/main/java/org/checkerframework/framework/source/SourceChecker.java
@@ -1519,7 +1519,7 @@ private String detailedMsgTextPrefix(
      * @param messageKey the simple, checker-specific error message key
      * @return the most specific SuppressWarnings string for the warning/error being printed
      */
-    private String suppressWarningsString(String messageKey) {
+    protected String suppressWarningsString(String messageKey) {
         Collection<String> prefixes = this.getSuppressWarningsPrefixes();
         prefixes.remove(SUPPRESS_ALL_PREFIX);
         if (showSuppressWarningsStrings) {
Original file line number	Diff line number	Diff line change
Expand Up		@@ -8,6 +8,8 @@ Use `-ApermitMissingJdk` instead.

		Implementation details:

		Make `SourceChecker#suppressWarningsString` protected to allow adaptation in subclasses.

		Closed issues:


Expand Down