From 4cdec64b3c057656873879216ed3345c95c030a8 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 13 Jan 2020 15:34:46 +0100
Subject: [PATCH] Add missing exception to catch block in Translator
---
src/main/java/de/tla2bAst/Translator.java | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/main/java/de/tla2bAst/Translator.java b/src/main/java/de/tla2bAst/Translator.java
index ad5ce0c..df6ee71 100644
--- a/src/main/java/de/tla2bAst/Translator.java
+++ b/src/main/java/de/tla2bAst/Translator.java
@@ -17,6 +17,7 @@ import de.be4.classicalb.core.parser.BParser;
import de.be4.classicalb.core.parser.Definitions;
import de.be4.classicalb.core.parser.analysis.prolog.RecursiveMachineLoader;
import de.be4.classicalb.core.parser.exceptions.BCompoundException;
+import de.be4.classicalb.core.parser.exceptions.PreParseException;
import de.be4.classicalb.core.parser.node.Node;
import de.be4.classicalb.core.parser.node.Start;
import de.tla2b.analysis.InstanceTransformation;
@@ -280,7 +281,7 @@ public class Translator implements TranslationGlobals {
outWriter.close();
System.out.println(probFile.getAbsolutePath() + " created.");
- } catch (BCompoundException | FileNotFoundException | UnsupportedEncodingException e) {
+ } catch (BCompoundException | FileNotFoundException | PreParseException | UnsupportedEncodingException e) {
System.err.println(e.getMessage());
System.exit(-1);
}
--
GitLab