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/expr | |
parent | cc8385b0dbb58419d91e3349a0fd52f6b8452d90 (diff) |
Support setting :regular-output-channel and :diagnostic-output-channel.
Also some cleanup of option-related exceptions infrastructure.
Diffstat (limited to 'src/expr')
-rw-r--r-- | src/expr/command.cpp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/expr/command.cpp b/src/expr/command.cpp index 576707fca..7f10c533e 100644 --- a/src/expr/command.cpp +++ b/src/expr/command.cpp @@ -25,7 +25,7 @@ #include "expr/command.h" #include "smt/smt_engine.h" -#include "smt/bad_option_exception.h" +#include "options/options.h" #include "util/output.h" #include "util/dump.h" #include "util/sexpr.h" @@ -963,7 +963,7 @@ void SetInfoCommand::invoke(SmtEngine* smtEngine) throw() { try { smtEngine->setInfo(d_flag, d_sexpr); d_commandStatus = CommandSuccess::instance(); - } catch(BadOptionException&) { + } catch(UnrecognizedOptionException&) { d_commandStatus = new CommandUnsupported(); } catch(exception& e) { d_commandStatus = new CommandFailure(e.what()); @@ -997,7 +997,7 @@ void GetInfoCommand::invoke(SmtEngine* smtEngine) throw() { << response; d_result = ss.str(); d_commandStatus = CommandSuccess::instance(); - } catch(BadOptionException&) { + } catch(UnrecognizedOptionException&) { d_commandStatus = new CommandUnsupported(); } catch(exception& e) { d_commandStatus = new CommandFailure(e.what()); @@ -1047,7 +1047,7 @@ void SetOptionCommand::invoke(SmtEngine* smtEngine) throw() { try { smtEngine->setOption(d_flag, d_sexpr); d_commandStatus = CommandSuccess::instance(); - } catch(BadOptionException&) { + } catch(UnrecognizedOptionException&) { d_commandStatus = new CommandUnsupported(); } catch(exception& e) { d_commandStatus = new CommandFailure(e.what()); @@ -1082,7 +1082,7 @@ void GetOptionCommand::invoke(SmtEngine* smtEngine) throw() { ss << SExpr(v); d_result = ss.str(); d_commandStatus = CommandSuccess::instance(); - } catch(BadOptionException&) { + } catch(UnrecognizedOptionException&) { d_commandStatus = new CommandUnsupported(); } catch(exception& e) { d_commandStatus = new CommandFailure(e.what()); |