mcrl2::core::parse_node_exception¶

Include file:

#include "mcrl2/core/parse.h

class mcrl2::core::parse_node_exception¶

Protected static member functions¶

static std::string get_error_message(const parse_node &node, const std::string &user_message)¶

Protected member functions¶

parse_node_exception(const std::string &message)¶

Public member functions¶

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