Include file:

#include "mcrl2/utilities/exception.h
class mcrl2::command_line_error

Exception class for errors raised by the command-line parser.

Private attributes

std::string mcrl2::command_line_error::m_msg

Private static member functions

static std::string format(const std::string &name, const std::string &message)

Returns: A string that contains “<name>: <message>” followed by a message pointing to help on the next line.

Public member functions

command_line_error(const std::string &name, const std::string &message)
virtual ~command_line_error()