[java-metadata-aggregator] 02/03: Nullability

[Ian Young]

This is an automated email from the git hooks/post-receive script.

iay pushed a commit to branch main
in repository java-metadata-aggregator.

View the commit online:
http://git.shibboleth.net/view/?p=java-metadata-aggregator.git;a=commit;h=d7031931a72917e96cde24d8b018a6f63123581a

commit d7031931a72917e96cde24d8b018a6f63123581a
Author: Ian Young <ian at iay.org.uk>
AuthorDate: Thu Mar 23 17:22:06 2023 +0000

    Nullability
---
 .../main/java/net/shibboleth/metadata/dom/DOMResourceSourceStage.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/mda-framework/src/main/java/net/shibboleth/metadata/dom/DOMResourceSourceStage.java b/mda-framework/src/main/java/net/shibboleth/metadata/dom/DOMResourceSourceStage.java
index aa14283..ec1721c 100644
--- a/mda-framework/src/main/java/net/shibboleth/metadata/dom/DOMResourceSourceStage.java
+++ b/mda-framework/src/main/java/net/shibboleth/metadata/dom/DOMResourceSourceStage.java
@@ -134,10 +134,10 @@ public class DOMResourceSourceStage extends AbstractStage<Element> {
             throws StageProcessingException {
 
         final var resource = getDOMResource();
-
+        assert resource != null; // enforced by doInitialize
         log.debug("Attempting to fetch XML document from '{}'", resource.getDescription());
 
-        try (InputStream ins = resource.getInputStream()) {
+        try (@Nonnull InputStream ins = resource.getInputStream()) {
             populateItemCollection(items, ins, resource);
         } catch (final IOException e) {
             if (getErrorCausesSourceFailure()) {

-- 
To stop receiving notification emails like this one, please contact
the administrator of this repository.