diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-07-02 17:14:22 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-02 17:14:22 -0700 |
commit | 2faf908ed88c798a25b4881e3ce3026dc139bca3 (patch) | |
tree | a0e0977d8c40e4c4e6f9aa36f517335062ee282b /src/proof | |
parent | 34661cedac9ea64c4cec5fc71f0d303eb7688723 (diff) |
Remove SWIG bindings (#4683)
This commit removes support for SWIG bindings for the legacy API. The
bindings were already broken by 19054b3b1d427e662d30d4322df2b2f2361353da
and we are not planning on using SWIG for the Java API for the new API.
Diffstat (limited to 'src/proof')
-rw-r--r-- | src/proof/unsat_core.i | 65 |
1 files changed, 0 insertions, 65 deletions
diff --git a/src/proof/unsat_core.i b/src/proof/unsat_core.i deleted file mode 100644 index 780a75996..000000000 --- a/src/proof/unsat_core.i +++ /dev/null @@ -1,65 +0,0 @@ -%{ -#include "proof/unsat_core.h" -%} - -%ignore CVC4::operator<<(std::ostream&, const UnsatCore&); - -#ifdef SWIGJAVA - -%typemap(javabody) CVC4::UnsatCore %{ - private long swigCPtr; - protected boolean swigCMemOwn; - private ExprManager em; - - protected $javaclassname(ExprManager em, long cPtr, boolean cMemoryOwn) { - swigCMemOwn = cMemoryOwn; - swigCPtr = cPtr; - this.em = em; - } - - protected static long getCPtr($javaclassname obj) { - return (obj == null) ? 0 : obj.swigCPtr; - } - - public JavaIteratorAdapter_UnsatCore iterator() { - return new JavaIteratorAdapter_UnsatCore(this.em, this); - } -%} - -%typemap(javaout) CVC4::Expr { - return new Expr(this.em, $jnicall, true); -} - -%ignore CVC4::UnsatCore::UnsatCore(); -%ignore CVC4::UnsatCore::UnsatCore(SmtEngine* smt, std::vector<Expr> core); - -// Instead of UnsatCore::begin() and end(), create an -// iterator() method on the Java side that returns a Java-style -// Iterator. -%ignore CVC4::UnsatCore::begin(); -%ignore CVC4::UnsatCore::end(); -%ignore CVC4::UnsatCore::begin() const; -%ignore CVC4::UnsatCore::end() const; - -%extend CVC4::UnsatCore { - std::string toString() - { - std::stringstream ss; - ss << (*$self); - return ss.str(); - } -} - -// UnsatCore is "iterable" on the Java side -%typemap(javainterfaces) CVC4::UnsatCore "java.lang.Iterable<edu.stanford.CVC4.Expr>"; - -#endif /* SWIGJAVA */ - -%include "proof/unsat_core.h" - -#ifdef SWIGJAVA - -SWIG_JAVA_ITERATOR_ADAPTER(CVC4::UnsatCore, CVC4::Expr) -%template(JavaIteratorAdapter_UnsatCore) CVC4::JavaIteratorAdapter<CVC4::UnsatCore, CVC4::Expr>; - -#endif /* SWIGJAVA */ |