Fixing a SWIG problem for RationalFromDoubleException.

diff --git a/src/cvc4.i b/src/cvc4.i
index aadbc374da505c6cbff9450e7a3fb3d5ff67f917..c0042b513d509d0c4ce4cc8fbf7bab7a2606277a 100644 (file)
--- a/src/cvc4.i
+++ b/src/cvc4.i
@@ -147,6 +147,8 @@ std::set<JavaInputStreamAdapter*> CVC4::JavaInputStreamAdapter::s_adapters;
 %typemap(throws) CVC4::parser::InputStreamException = CVC4::Exception;
 %typemap(throws) CVC4::parser::ParserException = CVC4::Exception;
 
+%typemap(throws) CVC4::RationalFromDoubleException = Exception;
+
 // Generate an error if the mapping from C++ CVC4 Exception to Java CVC4 Exception doesn't exist above
 %typemap(throws) SWIGTYPE, SWIGTYPE &, SWIGTYPE *, SWIGTYPE [], SWIGTYPE [ANY] %{
 #error "exception $1_type doesn't map to Java correctly---please edit src/cvc4.i and add it"

diff --git a/src/util/rational.i b/src/util/rational.i
index a65c783275e7fd20be9e206dd8811acbf5561812..a9e3e23f83350f0bc46b0aad292c4b530bb6d354 100644 (file)
--- a/src/util/rational.i
+++ b/src/util/rational.i
@@ -2,6 +2,8 @@
 #include "util/rational.h"
 %}
 
+%ignore CVC4::RationalFromDoubleException::RationalFromDoubleException(double);
+
 %ignore CVC4::Rational::Rational(int);
 %ignore CVC4::Rational::Rational(unsigned int);
 %ignore CVC4::Rational::Rational(int, int);