diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-03-27 23:42:13 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-03-27 23:42:13 -0400 |
| commit | c90564313e268e403ca9a6c13a80432bd7a6fa79 (patch) | |
| tree | 8d49eafcda3174042cce3cb364d61b0d53c3bd01 /src/expr/expr.i | |
| parent | 2108ce5dfab34583f9abd07c077cd0b4f1f92499 (diff) | |
some Java bindings fixes (fixes Debian build problems)
Diffstat (limited to 'src/expr/expr.i')
| -rw-r--r-- | src/expr/expr.i | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/expr/expr.i b/src/expr/expr.i index 92ab517b1..977345a63 100644 --- a/src/expr/expr.i +++ b/src/expr/expr.i @@ -72,6 +72,12 @@ namespace CVC4 { // getNext() just allows C++ iterator access from Java-side next(), make it private %javamethodmodifiers CVC4::JavaIteratorAdapter<CVC4::Expr>::getNext() "private"; +// map the types appropriately +%typemap(jni) CVC4::Expr::const_iterator::value_type "jobject"; +%typemap(jtype) CVC4::Expr::const_iterator::value_type "edu.nyu.acsys.CVC4.Expr"; +%typemap(jstype) CVC4::Expr::const_iterator::value_type "edu.nyu.acsys.CVC4.Expr"; +%typemap(javaout) CVC4::Expr::const_iterator::value_type { return $jnicall; } + #endif /* SWIGJAVA */ %include "expr/expr.h" |