diff options
Diffstat (limited to 'src/expr/command.i')
-rw-r--r-- | src/expr/command.i | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/expr/command.i b/src/expr/command.i index 6085a444f..76c8fa674 100644 --- a/src/expr/command.i +++ b/src/expr/command.i @@ -54,6 +54,12 @@ // getNext() just allows C++ iterator access from Java-side next(), make it private %javamethodmodifiers CVC4::JavaIteratorAdapter<CVC4::CommandSequence>::getNext() "private"; +// map the types appropriately +%typemap(jni) CVC4::CommandSequence::const_iterator::value_type "jobject"; +%typemap(jtype) CVC4::CommandSequence::const_iterator::value_type "edu.nyu.acsys.CVC4.Command"; +%typemap(jstype) CVC4::CommandSequence::const_iterator::value_type "edu.nyu.acsys.CVC4.Command"; +%typemap(javaout) CVC4::CommandSequence::const_iterator::value_type { return $jnicall; } + #endif /* SWIGJAVA */ %include "expr/command.h" |