From 3c80e506af5fdd2d9f292082af53e84126317bb5 Mon Sep 17 00:00:00 2001 From: Chris Povirk Date: Fri, 26 Jul 2024 15:57:49 -0400 Subject: [PATCH] Report all errors as [nullness]. (#194) Co-authored-by: Werner Dietl --- .../java/com/google/jspecify/nullness/NullSpecChecker.java | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/main/java/com/google/jspecify/nullness/NullSpecChecker.java b/src/main/java/com/google/jspecify/nullness/NullSpecChecker.java index 4d490c8..54d6139 100644 --- a/src/main/java/com/google/jspecify/nullness/NullSpecChecker.java +++ b/src/main/java/com/google/jspecify/nullness/NullSpecChecker.java @@ -69,6 +69,11 @@ public NavigableSet getSuppressWarningsPrefixes() { return prefixes; } + @Override + protected String suppressWarningsString(String messageKey) { + return "nullness"; + } + @Override public void initChecker() { super.initChecker();