diff options
Diffstat (limited to 'src/base/exception.i')
| -rw-r--r-- | src/base/exception.i | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/base/exception.i b/src/base/exception.i new file mode 100644 index 000000000..083670567 --- /dev/null +++ b/src/base/exception.i @@ -0,0 +1,11 @@ +%{ +#include "base/exception.h" +%} + +%ignore CVC4::operator<<(std::ostream&, const Exception&) throw(); +%ignore CVC4::Exception::Exception(const char*) throw(); +%typemap(javabase) CVC4::Exception "java.lang.RuntimeException"; + +%rename(CVC4IllegalArgumentException) CVC4::IllegalArgumentException; + +%include "base/exception.h" |