From f9a64906507a38e60ec474255e4ce4e23dfc2cba Mon Sep 17 00:00:00 2001
From: Miles Vella <673-vella@users.noreply.gitlab.cs.uni-duesseldorf.de>
Date: Fri, 10 Nov 2023 14:45:26 +0100
Subject: [PATCH] Catch NoSuchFileException as well
---
.../bmotionstudio/gef/editor/library/ImportImagesAction.java | 3 ++-
de.prob.ui/src/de/prob/ui/ltl/LtlCheckingDialog.java | 3 ++-
2 files changed, 4 insertions(+), 2 deletions(-)
diff --git a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/library/ImportImagesAction.java b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/library/ImportImagesAction.java
index b9900177..41067e1c 100644
--- a/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/library/ImportImagesAction.java
+++ b/de.bmotionstudio.gef.editor/src/de/bmotionstudio/gef/editor/library/ImportImagesAction.java
@@ -9,6 +9,7 @@ package de.bmotionstudio.gef.editor.library;
import java.io.File;
import java.io.FileInputStream;
import java.io.FileNotFoundException;
+import java.nio.file.NoSuchFileException;
import org.eclipse.core.resources.IFile;
import org.eclipse.core.resources.IFolder;
@@ -90,7 +91,7 @@ public class ImportImagesAction extends AbstractLibraryAction {
} catch (CoreException e1) {
e1.printStackTrace();
- } catch (FileNotFoundException e) {
+ } catch (FileNotFoundException | NoSuchFileException e) {
e.printStackTrace();
}
diff --git a/de.prob.ui/src/de/prob/ui/ltl/LtlCheckingDialog.java b/de.prob.ui/src/de/prob/ui/ltl/LtlCheckingDialog.java
index 0860779f..78be9b34 100644
--- a/de.prob.ui/src/de/prob/ui/ltl/LtlCheckingDialog.java
+++ b/de.prob.ui/src/de/prob/ui/ltl/LtlCheckingDialog.java
@@ -14,6 +14,7 @@ import java.io.FileReader;
import java.io.IOException;
import java.io.ObjectInputStream;
import java.io.ObjectOutputStream;
+import java.nio.file.NoSuchFileException;
import java.util.ArrayList;
import java.util.Arrays;
import java.util.HashSet;
@@ -405,7 +406,7 @@ public final class LtlCheckingDialog extends TrayDialog {
formulas.select(0);
close();
- } catch (FileNotFoundException e) {
+ } catch (FileNotFoundException | NoSuchFileException e) {
Logger.notifyUser("File not found", e);
} catch (IOException e) {
Logger.notifyUser("Unexpected IO exception", e);
--
GitLab