mcrl2::core::parse_node_exception Class Reference

#include <parse.h>

Inheritance diagram for mcrl2::core::parse_node_exception:

Public Member Functions
	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.

Protected Member Functions
	parse_node_exception (const std::string &message)

Static Protected Member Functions
static std::string	get_error_message (const parse_node &node, const std::string &user_message)

Detailed Description

Definition at line 34 of file parse.h.

Constructor & Destructor Documentation

parse_node_exception() [1/2]

mcrl2::core::parse_node_exception::parse_node_exception ( const std::string &  message )

inlineprotected

Definition at line 49 of file parse.h.

parse_node_exception() [2/2]

mcrl2::core::parse_node_exception::parse_node_exception ( const parse_node &  node, const std::string &  message  )

inline

Definition at line 54 of file parse.h.

Member Function Documentation

get_error_message()

static std::string mcrl2::core::parse_node_exception::get_error_message ( const parse_node &  node, const std::string &  user_message  )

inlinestaticprotected

Definition at line 37 of file parse.h.

---

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

• core/include/mcrl2/core/parse.h