mcrl2::core::parse_node_unexpected_exception Class Reference

#include <parse.h>

Inheritance diagram for mcrl2::core::parse_node_unexpected_exception:

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 57 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 76 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 60 of file parse.h.

---

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

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