diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-26 16:36:52 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-26 16:36:52 -0500 |
commit | 18421d3a95b42e85dcd7cb5935d4b2519b168007 (patch) | |
tree | f9fa071773b8c3e005b1b7d2b9bf71d1ed2625cf /src/cvc4.i | |
parent | 04f12ad8b6f94d952b54f433bbf32eaa481d006b (diff) |
Fix C++-to-Java exception translation.
Diffstat (limited to 'src/cvc4.i')
-rw-r--r-- | src/cvc4.i | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/cvc4.i b/src/cvc4.i index 6e9380146..da15d4b5d 100644 --- a/src/cvc4.i +++ b/src/cvc4.i @@ -97,13 +97,15 @@ std::set<JavaInputStreamAdapter*> CVC4::JavaInputStreamAdapter::s_adapters; // Create a mapping from C++ Exceptions to Java Exceptions. // This is in a couple of throws typemaps, simply because it's sensitive to SWIG's concept of which namespace we're in. %typemap(throws) Exception %{ - std::string name = "edu/nyu/acsys/$1_type"; + std::string name = "edu/nyu/acsys/CVC4/$1_type"; + /* size_t i = name.find("::"); if(i != std::string::npos) { size_t j = name.rfind("::"); assert(i <= j); name.replace(i, j - i + 2, "/"); } + */ jclass clazz = jenv->FindClass(name.c_str()); assert(clazz != NULL && jenv->ExceptionOccurred() == NULL); jmethodID method = jenv->GetMethodID(clazz, "<init>", "(JZ)V"); |