nullaway

Signed-off-by: Gregor Zeitlinger <[email protected]>

Author: zeitlinger

prometheus-metrics-exporter-common/src/main/java/io/prometheus/metrics/exporter/common/PrometheusHttpRequest.java

@@ -5,6 +5,7 @@
 import java.net.URLDecoder;
 import java.util.ArrayList;
 import java.util.Enumeration;
+import javax.annotation.Nullable;
 
 public interface PrometheusHttpRequest extends PrometheusScrapeRequest {
 
@@ -18,6 +19,7 @@ public interface PrometheusHttpRequest extends PrometheusScrapeRequest {
   String getMethod();
 
   /** See {@code jakarta.servlet.http.HttpServletRequest.getHeader(String)} */
+  @Nullable
   default String getHeader(String name) {
     Enumeration<String> headers = getHeaders(name);
     if (headers == null || !headers.hasMoreElements()) {
@@ -28,6 +30,7 @@ default String getHeader(String name) {
   }
 
   /** See {@code jakarta.servlet.ServletRequest.getParameter(String)} */
+  @Nullable
   default String getParameter(String name) {
     String[] values = getParameterValues(name);
     if (values == null || values.length == 0) {
@@ -39,6 +42,7 @@ default String getParameter(String name) {
 
   /** See {@code jakarta.servlet.ServletRequest.getParameterValues(String)} */
   @Override
+  @Nullable
   default String[] getParameterValues(String name) {
     try {
       ArrayList<String> result = new ArrayList<>();

prometheus-metrics-model/src/main/java/io/prometheus/metrics/model/registry/PrometheusScrapeRequest.java

@@ -1,11 +1,14 @@
 package io.prometheus.metrics.model.registry;
 
+import javax.annotation.Nullable;
+
 /** Infos extracted from the request received by the endpoint */
 public interface PrometheusScrapeRequest {
 
   /** Absolute path of the HTTP request. */
   String getRequestPath();
 
   /** See {@code jakarta.servlet.ServletRequest.getParameterValues(String name)} */
+  @Nullable
   String[] getParameterValues(String name);
 }