diff options
| -rw-r--r-- | src/util/statistics.i | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/util/statistics.i b/src/util/statistics.i index 1f5cab2e1..7356b0ed5 100644 --- a/src/util/statistics.i +++ b/src/util/statistics.i @@ -1,12 +1,19 @@ %{ #include "util/statistics.h" + +#ifdef SWIGJAVA + #include "bindings/java_iterator_adapter.h" #include "bindings/java_output_stream_adapter.h" + +#endif /* SWIGJAVA */ %} %rename(assign) CVC4::Statistics::operator=(const StatisticsBase&); %rename(assign) CVC4::Statistics::operator=(const Statistics& stats); +#ifdef SWIGJAVA + %ignore CVC4::StatisticsBase::begin(); %ignore CVC4::StatisticsBase::end(); %ignore CVC4::StatisticsBase::begin() const; @@ -47,8 +54,15 @@ jenv->SetObjectArrayElement($result, 1, jenv->NewObject(jenv->FindClass("edu/nyu/acsys/CVC4/SExpr"), methodid, reinterpret_cast<long>(new CVC4::SExpr($1.second)), true)); }; +#endif /* SWIGJAVA */ + %include "util/statistics.h" + +#ifdef SWIGJAVA + %include "bindings/java_iterator_adapter.h" %include "bindings/java_output_stream_adapter.h" %template(JavaIteratorAdapter_StatisticsBase) CVC4::JavaIteratorAdapter<CVC4::StatisticsBase>; + +#endif /* SWIGJAVA */ |