Bump checker.framework.version from 3.42.0 to 3.46.0

core/src/main/java/de/redsix/dmncheck/validators/core/ValidationContext.java

@@ -18,7 +18,7 @@ public class ValidationContext {
 
     private static class Memoizer<T, U> {
 
-        private final Map<Class<T>, U> cache = new ConcurrentHashMap<>();
+        private final Map<Class<T>, @NonNull U> cache = new ConcurrentHashMap<>();
 
         private Function<Class<T>, U> doMemoize(final Function<Class<T>, @NonNull U> function) {
             return input -> cache.computeIfAbsent(input, function);

pom.xml

@@ -73,7 +73,7 @@
         <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
         <project.build.outputTimestamp>2023-01-01T00:00:00Z</project.build.outputTimestamp>
 
-        <checker.framework.version>3.42.0</checker.framework.version>
+        <checker.framework.version>3.47.1</checker.framework.version>
 
         <junit.version>5.10.3</junit.version>
         <mockito.version>5.13.0</mockito.version>

validators/checkerframework/stubs/jparsec.astub

@@ -0,0 +1,5 @@
+import org.checkerframework.checker.regex.qual.Regex;
+package org.jparsec.pattern;
+public final class Patterns {
+  public static Pattern regex(@Regex String s);
+}

validators/checkerframework/stubs/jsonobject.astub

@@ -0,0 +1,6 @@
+import org.checkerframework.checker.nullness.qual.Nullable;
+package org.json;
+
+public class JSONObject {
+    public JSONObject put(String key, @Nullable Object value) throws JSONException;
+}