From: Tim King <taking@cs.nyu.edu>
Date: Sat, 8 Mar 2014 00:45:37 +0000 (-0500)
Subject: Fixing a SWIG problem for RationalFromDoubleException.
X-Git-Tag: cvc5-1.0.0~7035^2~2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1f48d6abdb4ba39348cb36bc7005cff0edebab8c;p=cvc5.git

Fixing a SWIG problem for RationalFromDoubleException.
---

diff --git a/src/cvc4.i b/src/cvc4.i
index aadbc374d..c0042b513 100644
--- 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 a65c78327..a9e3e23f8 100644
--- 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);