diff options
author | Ivan Frade <ifrade@google.com> | 2024-02-09 09:18:37 -0800 |
---|---|---|
committer | Ivan Frade <ifrade@google.com> | 2024-02-09 09:18:37 -0800 |
commit | e5fd2409c85141a020eb023977d12c2276776173 (patch) | |
tree | 388d694f892a747d4e8bf85608efd720ad04c24c | |
parent | 906c2bebed0dc732a2fbd5b397466cf3522714f0 (diff) | |
download | jgit-e5fd2409c85141a020eb023977d12c2276776173.tar.gz jgit-e5fd2409c85141a020eb023977d12c2276776173.zip |
ChangedPathFilter: Suppress warning about backing array (errorprone)
Errorprone warns about direct access to the underlying array.
That is the intention of this code, and those ByteBuffers are created
with ByteBuffer#wrap() so it should be safe.
Change-Id: Ic8e8b288f08ac794cf7f09dfccfefcba0a4685bf
-rw-r--r-- | org.eclipse.jgit/src/org/eclipse/jgit/internal/storage/commitgraph/ChangedPathFilter.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/org.eclipse.jgit/src/org/eclipse/jgit/internal/storage/commitgraph/ChangedPathFilter.java b/org.eclipse.jgit/src/org/eclipse/jgit/internal/storage/commitgraph/ChangedPathFilter.java index 53d921e8f8..ad3ce50181 100644 --- a/org.eclipse.jgit/src/org/eclipse/jgit/internal/storage/commitgraph/ChangedPathFilter.java +++ b/org.eclipse.jgit/src/org/eclipse/jgit/internal/storage/commitgraph/ChangedPathFilter.java @@ -87,6 +87,7 @@ public class ChangedPathFilter { * the paths that the filter must match * @return the corresponding filter */ + @SuppressWarnings("ByteBufferBackingArray") public static ChangedPathFilter fromPaths(Set<ByteBuffer> paths) { if (paths.isEmpty()) { return EMPTY; |