cvc4-1.4
option_exception.h
Go to the documentation of this file.
1/********************* */
17#include "cvc4_public.h"
18
19#ifndef __CVC4__OPTION_EXCEPTION_H
20#define __CVC4__OPTION_EXCEPTION_H
21
22#include "util/exception.h"
23
24namespace CVC4 {
25
33public:
34 OptionException(const std::string& s) throw() :
35 CVC4::Exception("Error in option parsing: " + s) {
36 }
37};/* class OptionException */
38
44public:
46 CVC4::OptionException("Unrecognized informational or option key or setting") {
47 }
48
49 UnrecognizedOptionException(const std::string& msg) :
50 CVC4::OptionException("Unrecognized informational or option key or setting: " + msg) {
51 }
52};/* class UnrecognizedOptionException */
53
54}/* CVC4 namespace */
55
56#endif /* __CVC4__OPTION_EXCEPTION_H */
Class representing an option-parsing exception such as badly-typed or missing arguments,...
OptionException(const std::string &s)
Class representing an exception in option processing due to an unrecognized or unsupported option key...
UnrecognizedOptionException(const std::string &msg)
Macros that should be defined everywhere during the building of the libraries and driver binary,...
#define CVC4_PUBLIC
Definition cvc4_public.h:30
CVC4's exception base class and some associated utilities.
Definition expr.h:106