exception.h

Go to the documentation of this file.

// Author(s): Jeroen van der Wulp
// Copyright: see the accompanying file COPYING or copy at
// https://github.com/mCRL2org/mCRL2/blob/master/COPYING
//
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)
//
 
#ifndef MCRL2_UTILITIES_EXCEPTION_H
#define MCRL2_UTILITIES_EXCEPTION_H
 
#include <cassert>
#include <iostream>
#include <sstream>
#include <stdexcept>
 
namespace mcrl2
{
 
class runtime_error : public std::runtime_error
{
public:
  runtime_error(const std::string& message) : std::runtime_error(message)
  {}
};
 
class command_line_error : public runtime_error
{
private:
  std::string m_msg;
 
  static std::string format(const std::string& name, const std::string& message)
  {
    std::stringstream s;
    s << name << ": " << message << "\n"
      << "Try '" << name << " --help' for more information.";
    return s.str();
  }
 
public:
  command_line_error(const std::string& name, const std::string& message) throw()
    : runtime_error(format(name, message))
  {}
 
  virtual ~command_line_error() throw() {}
};
 
} // namespace mcrl2
 
#endif