mCRL2
Loading...
Searching...
No Matches
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:
mcrl2::runtime_error

Public Member Functions

 command_line_error (const std::string &name, const std::string &message) throw ()
 
virtual ~command_line_error () throw ()
 
- 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 
)
throw (
)
inline

Definition at line 53 of file exception.h.

◆ ~command_line_error()

virtual mcrl2::command_line_error::~command_line_error ( )
throw (
)
inlinevirtual

Definition at line 57 of file exception.h.

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: