fix NPE

KeYProject · Jul 6, 2024 · fdb2cc9 · fdb2cc9
1 parent aba55f4
commit fdb2cc9
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/key.format/build.gradle b/key.format/build.gradle
@@ -9,6 +9,7 @@ plugins {
 dependencies {
     //logging implementation used by the slf4j
     implementation 'ch.qos.logback:logback-classic:1.5.6'
+    implementation 'info.picocli:picocli:4.7.6'
     implementation(project(":key.core"))
 }
 

diff --git a/key.format/src/main/java/de/uka/ilkd/key/nparser/format/KeYFileFormatter.java b/key.format/src/main/java/de/uka/ilkd/key/nparser/format/KeYFileFormatter.java
@@ -220,7 +220,9 @@ public Void visitTaclet(KeYParser.TacletContext ctx) {
     }
     ////////////////////////////////////////////////////////////////////////////////////////////////
 
-    static void processHiddenTokens(List<Token> tokens, Output output) {
+    static void processHiddenTokens(@Nullable List<Token> tokens, Output output) {
+        if(tokens == null) return;
+
         for (Token t : tokens) {
             String text = t.getText();
             if (t.getType() == KeYLexer.WS) {