exception.h
Go to the documentation of this file.
/********************* */
#include "cvc4_public.h"
#ifndef __CVC4__EXCEPTION_H
#define __CVC4__EXCEPTION_H
#include <iostream>
#include <string>
#include <sstream>
#include <stdexcept>
#include <exception>
#include <cstdlib>
#include <cstdarg>
namespace CVC4 {
class CVC4_PUBLIC Exception : public std::exception {
protected:
std::string d_msg;
public:
// Constructors
Exception() throw() : d_msg("Unknown exception") {}
Exception(const std::string& msg) throw() : d_msg(msg) {}
Exception(const char* msg) throw() : d_msg(msg) {}
// Destructor
virtual ~Exception() throw() {}
// NON-VIRTUAL METHOD for setting and printing the error message
void setMessage(const std::string& msg) throw() { d_msg = msg; }
std::string getMessage() const throw() { return d_msg; }
// overridden from base class std::exception
virtual const char* what() const throw() { return d_msg.c_str(); }
std::string toString() const throw() {
std::stringstream ss;
toStream(ss);
return ss.str();
}
virtual void toStream(std::ostream& os) const throw() { os << d_msg; }
};/* class Exception */
class CVC4_PUBLIC IllegalArgumentException : public Exception {
protected:
IllegalArgumentException() : Exception() {}
void construct(const char* header, const char* extra,
const char* function, const char* fmt, ...) {
va_list args;
va_start(args, fmt);
construct(header, extra, function, fmt, args);
va_end(args);
}
void construct(const char* header, const char* extra,
const char* function, const char* fmt, va_list args);
void construct(const char* header, const char* extra,
const char* function);
public:
IllegalArgumentException(const char* condStr, const char* argDesc,
const char* function, const char* fmt, ...) :
Exception() {
va_list args;
va_start(args, fmt);
construct("Illegal argument detected",
( std::string("`") + argDesc + "' is a bad argument"
+ (*condStr == '\0' ? std::string() :
( std::string("; expected ") +
condStr + " to hold" )) ).c_str(),
function, fmt, args);
va_end(args);
}
IllegalArgumentException(const char* condStr, const char* argDesc,
const char* function) :
Exception() {
construct("Illegal argument detected",
( std::string("`") + argDesc + "' is a bad argument"
+ (*condStr == '\0' ? std::string() :
( std::string("; expected ") +
condStr + " to hold" )) ).c_str(),
function);
}
};/* class IllegalArgumentException */
inline std::ostream& operator<<(std::ostream& os, const Exception& e) throw() CVC4_PUBLIC;
inline std::ostream& operator<<(std::ostream& os, const Exception& e) throw() {
e.toStream(os);
return os;
}
}/* CVC4 namespace */
#if (defined(__BUILDING_CVC4LIB) || defined(__BUILDING_CVC4LIB_UNIT_TEST)) && !defined(__BUILDING_STATISTICS_FOR_EXPORT)
# include "util/cvc4_assert.h"
#endif /* (__BUILDING_CVC4LIB || __BUILDING_CVC4LIB_UNIT_TEST) && !__BUILDING_STATISTICS_FOR_EXPORT */
namespace CVC4 {
#ifndef CheckArgument
template <class T> inline void CheckArgument(bool cond, const T& arg, const char* fmt, ...) CVC4_PUBLIC;
template <class T> inline void CheckArgument(bool cond, const T& arg, const char* fmt, ...) {
if(__builtin_expect( ( !cond ), false )) { \
throw ::CVC4::IllegalArgumentException("", "", ""); \
} \
}
template <class T> inline void CheckArgument(bool cond, const T& arg) CVC4_PUBLIC;
template <class T> inline void CheckArgument(bool cond, const T& arg) {
if(__builtin_expect( ( !cond ), false )) { \
throw ::CVC4::IllegalArgumentException("", "", ""); \
} \
}
#endif /* CheckArgument */
#ifndef DebugCheckArgument
template <class T> inline void DebugCheckArgument(bool cond, const T& arg, const char* fmt, ...) CVC4_PUBLIC;
template <class T> inline void DebugCheckArgument(bool cond, const T& arg, const char* fmt, ...) {
if(__builtin_expect( ( !cond ), false )) { \
throw ::CVC4::IllegalArgumentException("", "", ""); \
} \
}
template <class T> inline void DebugCheckArgument(bool cond, const T& arg) CVC4_PUBLIC;
template <class T> inline void DebugCheckArgument(bool cond, const T& arg) {
if(__builtin_expect( ( !cond ), false )) { \
throw ::CVC4::IllegalArgumentException("", "", ""); \
} \
}
#endif /* DebugCheckArgument */
}/* CVC4 namespace */
#endif /* __CVC4__EXCEPTION_H */
CVC4::Exception
Definition exception.h:32
CVC4::Exception::Exception
Exception()
Definition exception.h:38
CVC4::Exception::toString
std::string toString() const
Get this exception as a string.
Definition exception.h:64
CVC4::Exception::what
virtual const char * what() const
Definition exception.h:50
CVC4::Exception::setMessage
void setMessage(const std::string &msg)
Definition exception.h:46
CVC4::Exception::d_msg
std::string d_msg
Definition exception.h:34
CVC4::Exception::toStream
virtual void toStream(std::ostream &os) const
Printing: feel free to redefine toStream().
Definition exception.h:75
CVC4::Exception::Exception
Exception(const std::string &msg)
Definition exception.h:39
CVC4::Exception::Exception
Exception(const char *msg)
Definition exception.h:40
CVC4::Exception::getMessage
std::string getMessage() const
Definition exception.h:47
CVC4::Exception::~Exception
virtual ~Exception()
Definition exception.h:43
CVC4::IllegalArgumentException
Definition exception.h:79
CVC4::IllegalArgumentException::construct
void construct(const char *header, const char *extra, const char *function, const char *fmt, va_list args)
CVC4::IllegalArgumentException::IllegalArgumentException
IllegalArgumentException()
Definition exception.h:81
CVC4::IllegalArgumentException::IllegalArgumentException
IllegalArgumentException(const char *condStr, const char *argDesc, const char *function)
Definition exception.h:112
CVC4::IllegalArgumentException::IllegalArgumentException
IllegalArgumentException(const char *condStr, const char *argDesc, const char *function, const char *fmt,...)
Definition exception.h:98
CVC4::IllegalArgumentException::construct
void construct(const char *header, const char *extra, const char *function)
CVC4::IllegalArgumentException::construct
void construct(const char *header, const char *extra, const char *function, const char *fmt,...)
Definition exception.h:83
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
CVC4
Definition expr.h:106
CVC4::DebugCheckArgument
void DebugCheckArgument(bool cond, const T &arg, const char *fmt,...)
Definition exception.h:155
CVC4::operator<<
std::ostream & operator<<(std::ostream &out, const TypeCheckingException &e)
CVC4::CheckArgument
void CheckArgument(bool cond, const T &arg, const char *fmt,...)
Definition exception.h:140