blob: b96df82aaba0e74d9e6ed609b9e1416179e9197c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
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);
}
}
|