]> source.dussan.org Git - jgit.git/commitdiff
[errorprone] PageRef#isStringRef: suppress UnusedMethod 73/204573/8
authorMatthias Sohn <matthias.sohn@sap.com>
Fri, 22 Sep 2023 11:44:11 +0000 (13:44 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Mon, 25 Sep 2023 20:06:12 +0000 (22:06 +0200)
See https://errorprone.info/bugpattern/UnusedMethod

Change-Id: I8c2ca60ac786e20edb7112c268d638aa2488bcb8

org.eclipse.jgit/src/org/eclipse/jgit/internal/storage/file/WindowCache.java

index 81537dd46c2a3db69099386b142c62d20ec63da9..1045de4b17e897fc9dc2a1b1cfa68dd99f5bb53e 100644 (file)
@@ -848,6 +848,7 @@ public class WindowCache {
                 * Whether this is a strong reference.
                 * @return {@code true} if this is a strong reference
                 */
+               @SuppressWarnings("unused")
                boolean isStrongRef();
        }