Exception class for errors raised by the command-line parser.
More...
#include <exception.h>
|
static std::string | format (const std::string &name, const std::string &message) |
|
Exception class for errors raised by the command-line parser.
Definition at line 38 of file exception.h.
◆ command_line_error()
mcrl2::command_line_error::command_line_error |
( |
const std::string & |
name, |
|
|
const std::string & |
message |
|
) |
| |
throw | ( | |
| ) | | |
|
inline |
◆ ~command_line_error()
virtual mcrl2::command_line_error::~command_line_error |
( |
| ) |
|
throw | ( | |
| ) | | |
|
inlinevirtual |
◆ 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.
◆ m_msg
std::string mcrl2::command_line_error::m_msg |
|
private |
The documentation for this class was generated from the following file: