mcrl2::command_line_error Class Reference

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

#include <exception.h>

Inheritance diagram for mcrl2::command_line_error:

Public Member Functions
	command_line_error (const std::string &name, const std::string &message) noexcept
	~command_line_error () noexcept override=default
Public Member Functions inherited from mcrl2::runtime_error
	runtime_error (const std::string &message)
	Constructor.

Static Private Member Functions
static std::string	format (const std::string &name, const std::string &message)

Private Attributes
std::string	m_msg

Detailed Description

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

Definition at line 38 of file exception.h.

Constructor & Destructor Documentation

command_line_error()

mcrl2::command_line_error::command_line_error ( const std::string &  name, const std::string &  message  )

inlinenoexcept

Definition at line 53 of file exception.h.

~command_line_error()

mcrl2::command_line_error::~command_line_error ( )

overridedefaultnoexcept

Member Function Documentation

format()

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

inlinestaticprivate

Returns

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

Definition at line 44 of file exception.h.

Member Data Documentation

m_msg

std::string mcrl2::command_line_error::m_msg

private

Definition at line 41 of file exception.h.

---

The documentation for this class was generated from the following file:

• utilities/include/mcrl2/utilities/exception.h