diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-08-06 22:05:12 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-08-06 22:05:12 +0000 |
commit | a99a3693b2c69ffd6a4268c9020593f62a3474eb (patch) | |
tree | f71e299b8ba2de95141d5ccfc3a150fd8b1b97b1 /src/smt/smt_options_template.cpp | |
parent | cc8385b0dbb58419d91e3349a0fd52f6b8452d90 (diff) |
Support setting :regular-output-channel and :diagnostic-output-channel.
Also some cleanup of option-related exceptions infrastructure.
Diffstat (limited to 'src/smt/smt_options_template.cpp')
-rw-r--r-- | src/smt/smt_options_template.cpp | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/src/smt/smt_options_template.cpp b/src/smt/smt_options_template.cpp index f34a0e2db..b254a3b30 100644 --- a/src/smt/smt_options_template.cpp +++ b/src/smt/smt_options_template.cpp @@ -17,7 +17,6 @@ **/ #include "smt/smt_engine.h" -#include "smt/bad_option_exception.h" #include "smt/modal_exception.h" #include "util/sexpr.h" #include "util/dump.h" @@ -30,14 +29,14 @@ ${include_all_option_headers} ${option_handler_includes} -#line 34 "${template}" +#line 33 "${template}" using namespace std; namespace CVC4 { void SmtEngine::setOption(const std::string& key, const CVC4::SExpr& value) - throw(BadOptionException, ModalException) { + throw(OptionException, ModalException) { NodeManagerScope nms(d_nodeManager); SmtEngine* const smt = this; @@ -51,13 +50,13 @@ void SmtEngine::setOption(const std::string& key, const CVC4::SExpr& value) ${smt_setoption_handlers} -#line 55 "${template}" +#line 54 "${template}" - throw BadOptionException(); + throw UnrecognizedOptionException(); } CVC4::SExpr SmtEngine::getOption(const std::string& key) const - throw(BadOptionException) { + throw(OptionException) { NodeManagerScope nms(d_nodeManager); @@ -68,9 +67,9 @@ CVC4::SExpr SmtEngine::getOption(const std::string& key) const ${smt_getoption_handlers} -#line 72 "${template}" +#line 71 "${template}" - throw BadOptionException(); + throw UnrecognizedOptionException(); } }/* CVC4 namespace */ |