diff --git a/docs/CHANGELOG.md b/docs/CHANGELOG.md index 33ad7599d67..f599801da15 100644 --- 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 index 49b360ccfd5..2a414ac2883 100644 --- 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 prefixes = this.getSuppressWarningsPrefixes(); prefixes.remove(SUPPRESS_ALL_PREFIX); if (showSuppressWarningsStrings) {