From: Morgan Deters Date: Sat, 17 Nov 2012 12:55:23 +0000 (+0000) Subject: fix for language bindings (fixes debian build fail last night) X-Git-Tag: cvc5-1.0.0~7580 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=943870920431bf1d6f6f1eb163eb82fb26bdad58;p=cvc5.git fix for language bindings (fixes debian build fail last night) --- 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 */