From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 4 Oct 2012 17:43:21 +0000 (+0000)
Subject: IllegalArgumentException in java needs to be named "CVC4IllegalArgumentException... 
X-Git-Tag: cvc5-1.0.0~7741
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=edc69feaf7b41e0166f172d943b0d981f392474a;p=cvc5.git

IllegalArgumentException in java needs to be named "CVC4IllegalArgumentException" to avoid a name clash with java.lang.IllegalArgumentException, which isn't easily avoided, due to swig-autogenerated code that uses it unqualified.  X-(
---

diff --git a/src/util/exception.i b/src/util/exception.i
index c5daadec0..422f34b10 100644
--- a/src/util/exception.i
+++ b/src/util/exception.i
@@ -6,4 +6,6 @@
 %ignore CVC4::Exception::Exception(const char*) throw();
 %typemap(javabase) CVC4::Exception "java.lang.RuntimeException";
 
+%rename(CVC4IllegalArgumentException) CVC4::IllegalArgumentException;
+
 %include "util/exception.h"