FatalException.h

Go to the documentation of this file.

// -*- mode: C++; c-file-style: "stroustrup"; c-basic-offset: 4; indent-tabs-mode: nil; -*-
////////////////////////////////////////////////////////////////////
//
// Filename : FatalException (base)
//
// This file is a part of the UPPAAL toolkit.
// Copyright (c) 1995 - 2003, Uppsala University and Aalborg University.
// All right reserved.
//
// $Id: FatalException.h,v 1.1 2004/02/16 14:09:11 adavid Exp $
//
///////////////////////////////////////////////////////////////////

#ifndef INCLUDE_BASE_FATALEXCEPTION_H
#define INCLUDE_BASE_FATALEXCEPTION_H

#include <iostream>
#include <exception>

namespace base
{
    /** Fatal exception: something fatal
     * (and forbidden) has happened.
     */
    class FatalException : public std::exception
    {
    public:

        /** Constructor:
         * @param whichone: which fatal event has happened.
         */
        FatalException(const char *whichone) throw()
            : message(whichone) {}

        /** Overrides exception::what()
         */
        virtual const char* what() const throw();

    private:
        const char *message;
    };

    /** Overload operator <<
     */
    static inline
    std::ostream& operator << (std::ostream& os,
                               const FatalException& x)
    {
        return os << x.what();
    }

} // namespace base

/** Macros for convenience:
 * print & throw fatal exception.
 */
#define FATAL(MSG) do {            \
  std::cerr << "Fatal exception: " \
            << MSG << std::endl;   \
  throw base::FatalException(MSG); \
} while(0)

#endif // INCLUDE_BASE_FATAL_EXCEPTION

---