option_exception.h
Go to the documentation of this file.
/********************* */
#include "cvc4_public.h"
#ifndef __CVC4__OPTION_EXCEPTION_H
#define __CVC4__OPTION_EXCEPTION_H
#include "util/exception.h"
namespace CVC4 {
class CVC4_PUBLIC OptionException : public CVC4::Exception {
public:
OptionException(const std::string& s) throw() :
CVC4::Exception("Error in option parsing: " + s) {
}
};/* class OptionException */
class CVC4_PUBLIC UnrecognizedOptionException : public CVC4::OptionException {
public:
UnrecognizedOptionException() :
CVC4::OptionException("Unrecognized informational or option key or setting") {
}
UnrecognizedOptionException(const std::string& msg) :
CVC4::OptionException("Unrecognized informational or option key or setting: " + msg) {
}
};/* class UnrecognizedOptionException */
}/* CVC4 namespace */
#endif /* __CVC4__OPTION_EXCEPTION_H */
CVC4::Exception
Definition exception.h:32
CVC4::OptionException
Class representing an option-parsing exception such as badly-typed or missing arguments,...
Definition option_exception.h:32
CVC4::OptionException::OptionException
OptionException(const std::string &s)
Definition option_exception.h:34
CVC4::UnrecognizedOptionException
Class representing an exception in option processing due to an unrecognized or unsupported option key...
Definition option_exception.h:43
CVC4::UnrecognizedOptionException::UnrecognizedOptionException
UnrecognizedOptionException()
Definition option_exception.h:45
CVC4::UnrecognizedOptionException::UnrecognizedOptionException
UnrecognizedOptionException(const std::string &msg)
Definition option_exception.h:49
cvc4_public.h
Macros that should be defined everywhere during the building of the libraries and driver binary,...
CVC4_PUBLIC
#define CVC4_PUBLIC
Definition cvc4_public.h:30
exception.h
CVC4's exception base class and some associated utilities.
CVC4
Definition expr.h:106