mCRL2
Loading...
Searching...
No Matches
mcrl2::core::parse_node_unexpected_exception Class Reference

#include <parse.h>

Inheritance diagram for mcrl2::core::parse_node_unexpected_exception:
mcrl2::core::parse_node_exception mcrl2::runtime_error

Public Member Functions

 parse_node_unexpected_exception (const parser &p, const parse_node &node)
 
- Public Member Functions inherited from mcrl2::core::parse_node_exception
 parse_node_exception (const parse_node &node, const std::string &message)
 
- Public Member Functions inherited from mcrl2::runtime_error
 runtime_error (const std::string &message)
 Constructor.
 

Static Private Member Functions

static std::string get_error_message (const parser &p, const parse_node &node)
 

Additional Inherited Members

- Protected Member Functions inherited from mcrl2::core::parse_node_exception
 parse_node_exception (const std::string &message)
 
- Static Protected Member Functions inherited from mcrl2::core::parse_node_exception
static std::string get_error_message (const parse_node &node, const std::string &user_message)
 

Detailed Description

Definition at line 59 of file parse.h.

Constructor & Destructor Documentation

◆ parse_node_unexpected_exception()

mcrl2::core::parse_node_unexpected_exception::parse_node_unexpected_exception ( const parser p,
const parse_node node 
)
inline

Definition at line 78 of file parse.h.

Member Function Documentation

◆ get_error_message()

static std::string mcrl2::core::parse_node_unexpected_exception::get_error_message ( const parser p,
const parse_node node 
)
inlinestaticprivate

Definition at line 62 of file parse.h.


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