diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-11-17 12:55:23 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-11-17 12:55:23 +0000 |
| commit | 943870920431bf1d6f6f1eb163eb82fb26bdad58 (patch) | |
| tree | 57bdf6043ff30ac5dafbd89b891c2acb63d0cb25 | |
| parent | 44498017455cce207bf9cb0a1ebbf67c4a4d77cf (diff) | |
fix for language bindings (fixes debian build fail last night)
| -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 */ |