fixes NullPointerException, when using compareTo with locations that …

…dont have a URI or position
KeYProject · Oct 21, 2024 · 3ebff5e · 3ebff5e
1 parent 8e28439
commit 3ebff5e
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/key.core/src/main/java/de/uka/ilkd/key/parser/Location.java b/key.core/src/main/java/de/uka/ilkd/key/parser/Location.java
@@ -95,7 +95,8 @@ public int hashCode() {
     @Override
     public int compareTo(@NonNull Location o) {
         return Comparator
-                .<Location, URI>comparing(l -> l.fileUri)
-                .thenComparing(Location::getPosition).compare(this, o);
+                .<Location, URI>comparing(l -> l.fileUri, Comparator.nullsLast(Comparator.naturalOrder()))
+                .thenComparing(Location::getPosition, Comparator.nullsLast(Comparator.naturalOrder()))
+                .compare(this, o);
     }
 }