From 1e9ec5fb9a758a712ef71d54d2aed87a712e25b7 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 23 Mar 2021 18:04:35 +0100
Subject: [PATCH] Remove no longer needed handling of ModelTranslationError
ProB 2 now always throws ProBError for parse errors and
ModelTranslationError is no longer used.
---
src/main/java/de/prob2/jupyter/commands/LoadFileCommand.java | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/src/main/java/de/prob2/jupyter/commands/LoadFileCommand.java b/src/main/java/de/prob2/jupyter/commands/LoadFileCommand.java
index 175a3a2..fcf37a8 100644
--- a/src/main/java/de/prob2/jupyter/commands/LoadFileCommand.java
+++ b/src/main/java/de/prob2/jupyter/commands/LoadFileCommand.java
@@ -17,7 +17,6 @@ import com.google.inject.Provider;
import de.prob.scripting.FactoryProvider;
import de.prob.scripting.ModelFactory;
-import de.prob.scripting.ModelTranslationError;
import de.prob.statespace.AnimationSelector;
import de.prob.statespace.Trace;
import de.prob2.jupyter.Command;
@@ -106,7 +105,7 @@ public final class LoadFileCommand implements Command {
stateSpace.changePreferences(preferences);
try {
factory.extract(machineFilePath.toString()).loadIntoStateSpace(stateSpace);
- } catch (final IOException | ModelTranslationError e) {
+ } catch (final IOException e) {
throw new RuntimeException(e);
}
return new Trace(stateSpace);
--
GitLab