Fix SpotBugs warning

mikir · mikir · commit 49c6bf6f34a7 · 2024-12-09T11:39:01.000+01:00
diff --git a/compiler/core/src/zserio/tools/ExtensionManager.java b/compiler/core/src/zserio/tools/ExtensionManager.java
@@ -153,7 +153,7 @@ private File getWorkingDirectory()
             final Path execParentPath = execPath.getParent();
             System.out.println("execParentPath = " + execParentPath);
 
-            return execParentPath.toFile();
+            return (execParentPath == null) ? null : execParentPath.toFile();
         }
         catch (SecurityException | URISyntaxException excpt)
         {

Original file line number	Diff line number	Diff line change
`@@ -153,7 +153,7 @@ private File getWorkingDirectory()`
`153`	`153`	`final Path execParentPath = execPath.getParent();`
`154`	`154`	`System.out.println("execParentPath = " + execParentPath);`
`155`	`155`
`156`		`- return execParentPath.toFile();`
	`156`	`+ return (execParentPath == null) ? null : execParentPath.toFile();`
`157`	`157`	`}`
`158`	`158`	`catch (SecurityException \| URISyntaxException excpt)`
`159`	`159`	`{`