mcrl2/core/dparser.h

Include file:

#include "mcrl2/core/dparser.h"

add your file description here.

Classes

• mcrl2::core::detail::dparser_error_message_count

• mcrl2::core::parse_node

• mcrl2::core::parser

• mcrl2::core::parser_table

Functions

std::string add_context(const d_loc_t *loc, const std::string &message)

std::size_t mcrl2::core::detail::get_dparser_error_message_count()

std::size_t mcrl2::core::detail::get_dparser_max_error_message_count()

void mcrl2::core::detail::increment_dparser_error_message_count()

void mcrl2::core::detail::reset_dparser_error_message_count()

void mcrl2::core::detail::set_dparser_max_error_message_count(std::size_t n)