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/options | |
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/options')
-rw-r--r-- | src/options/language.i | 42 | ||||
-rw-r--r-- | src/options/option_exception.i | 5 | ||||
-rw-r--r-- | src/options/options.i | 22 |
3 files changed, 0 insertions, 69 deletions
diff --git a/src/options/language.i b/src/options/language.i deleted file mode 100644 index 7f81ea7c6..000000000 --- a/src/options/language.i +++ /dev/null @@ -1,42 +0,0 @@ -%{ -#include "options/language.h" -%} - -namespace CVC4 { - namespace language { - namespace input { - %ignore operator<<(std::ostream&, Language); - }/* CVC4::language::input namespace */ - - namespace output { - %ignore operator<<(std::ostream&, Language); - }/* CVC4::language::output namespace */ - }/* CVC4::language namespace */ -}/* CVC4 namespace */ - -// These clash in the monolithic Java namespace, so we rename them. -%rename(InputLanguage) CVC4::language::input::Language; -%rename(OutputLanguage) CVC4::language::output::Language; - -%rename(INPUT_LANG_AUTO) CVC4::language::input::LANG_AUTO; -%rename(INPUT_LANG_SMTLIB_V2) CVC4::language::input::LANG_SMTLIB_V2; -%rename(INPUT_LANG_SMTLIB_V2_0) CVC4::language::input::LANG_SMTLIB_V2_0; -%rename(INPUT_LANG_SMTLIB_V2_5) CVC4::language::input::LANG_SMTLIB_V2_5; -%rename(INPUT_LANG_SMTLIB_V2_6) CVC4::language::input::LANG_SMTLIB_V2_6; -%rename(INPUT_LANG_TPTP) CVC4::language::input::LANG_TPTP; -%rename(INPUT_LANG_CVC4) CVC4::language::input::LANG_CVC4; -%rename(INPUT_LANG_MAX) CVC4::language::input::LANG_MAX; -%rename(INPUT_LANG_SYGUS_V2) CVC4::language::input::LANG_SYGUS_V2; - -%rename(OUTPUT_LANG_AUTO) CVC4::language::output::LANG_AUTO; -%rename(OUTPUT_LANG_SMTLIB_V2) CVC4::language::output::LANG_SMTLIB_V2; -%rename(OUTPUT_LANG_SMTLIB_V2_0) CVC4::language::output::LANG_SMTLIB_V2_0; -%rename(OUTPUT_LANG_SMTLIB_V2_5) CVC4::language::output::LANG_SMTLIB_V2_5; -%rename(OUTPUT_LANG_SMTLIB_V2_6) CVC4::language::output::LANG_SMTLIB_V2_6; -%rename(OUTPUT_LANG_TPTP) CVC4::language::output::LANG_TPTP; -%rename(OUTPUT_LANG_CVC4) CVC4::language::output::LANG_CVC4; -%rename(OUTPUT_LANG_AST) CVC4::language::output::LANG_AST; -%rename(OUTPUT_LANG_MAX) CVC4::language::output::LANG_MAX; -%rename(OUTPUT_LANG_SYGUS_V2) CVC4::language::output::LANG_SYGUS_V2; - -%include "options/language.h" diff --git a/src/options/option_exception.i b/src/options/option_exception.i deleted file mode 100644 index ae68d4e0f..000000000 --- a/src/options/option_exception.i +++ /dev/null @@ -1,5 +0,0 @@ -%{ -#include "options/option_exception.h" -%} - -%include "options/option_exception.h" diff --git a/src/options/options.i b/src/options/options.i deleted file mode 100644 index 319b4addb..000000000 --- a/src/options/options.i +++ /dev/null @@ -1,22 +0,0 @@ -%{ -#include "options/options.h" -%} - -%ignore CVC4::Options::registerAndNotify(ListenerCollection& collection, Listener* listener, bool notify); -%ignore CVC4::Options::registerBeforeSearchListener(Listener* listener); -%ignore CVC4::Options::registerTlimitListener(Listener* listener, bool notifyIfSet); -%ignore CVC4::Options::registerTlimitPerListener(Listener* listener, bool notifyIfSet); -%ignore CVC4::Options::registerRlimitListener(Listener* listener, bool notifyIfSet); -%ignore CVC4::Options::registerRlimitPerListener(Listener* listener, bool notifyIfSet); -%ignore CVC4::Options::registerSetDefaultExprDepthListener(Listener* listener, bool notifyIfSet); -%ignore CVC4::Options::registerSetDefaultExprDagListener(Listener* listener, bool notifyIfSet); -%ignore CVC4::Options::registerSetPrintExprTypesListener(Listener* listener, bool notifyIfSet); -%ignore CVC4::Options::registerSetDumpModeListener(Listener* listener, bool notifyIfSet); -%ignore CVC4::Options::registerSetPrintSuccessListener(Listener* listener, bool notifyIfSet); -%ignore CVC4::Options::registerDumpToFileNameListener(Listener* listener, bool notifyIfSet); -%ignore CVC4::Options::registerSetRegularOutputChannelListener(Listener* listener, bool notifyIfSet); -%ignore CVC4::Options::registerSetDiagnosticOutputChannelListener(Listener* listener, bool notifyIfSet); - -%apply char** STRING_ARRAY { char* argv[] } -%include "options/options.h" -%clear char* argv[]; |