1 files changed, 19 insertions, 0 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireSolverException.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireSolverException.java
new file mode 100644
index 00000000..b96df82a
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireSolverException.java
@@ -0,0 +1,19 @@
+package ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder;

+

+import java.util.List;

+import org.eclipse.xtext.xbase.lib.IterableExtensions;

+

+@SuppressWarnings("all")

+public class VampireSolverException extends Exception {

+  public VampireSolverException(final String s) {

+    super(s);

+  }

+  

+  public VampireSolverException(final String s, final Exception e) {

+    super(s, e);

+  }

+  

+  public VampireSolverException(final String s, final List<String> errors, final Exception e) {

+    super(((s + "\n") + IterableExtensions.join(errors, "\n")), e);

+  }

+}