From 943870920431bf1d6f6f1eb163eb82fb26bdad58 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Sat, 17 Nov 2012 12:55:23 +0000 Subject: [PATCH] fix for language bindings (fixes debian build fail last night) --- src/util/statistics.i | 14 ++++++++++++++ 1 file changed, 14 insertions(+) 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(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; + +#endif /* SWIGJAVA */ -- 2.30.2