Wrapper for D_Parser and its corresponding D_ParserTables. More...

#include <dparser.h>

Public Member Functions
	parser (D_ParserTables &tables, D_AmbiguityFn ambiguity_fn=nullptr, D_SyntaxErrorFn syntax_error_fn=nullptr, std::size_t max_error_message_count=1)

	~parser ()

const parser_table &	symbol_table () const

unsigned int	start_symbol_index (const std::string &name) const

parse_node	parse (const std::string &text, unsigned int start_symbol_index=0, bool partial_parses=false)
	Parses a string. N.B. The user is responsible for destruction of the returned value by calling destroy_parse_node!!!

void	print_symbol_table () const

std::string	indent (unsigned int count) const

std::string	truncate (const std::string &s, unsigned int max_size=20) const

void	print_tree (const parse_node &node, unsigned int level=0) const

void	destroy_parse_node (const parse_node &node)

void	custom_parse_error (const std::string &message) const

void	announce (D_ParseNode &node_ref)
	Callback function for nodes in the parse tree.

void	print_node (std::ostream &out, const parse_node &node) const

std::string	print_node (const parse_node &node) const

Public Attributes
parser_table	m_table

D_Parser *	m_parser

std::size_t	m_max_error_message_count = 0UL

Detailed Description

Wrapper for D_Parser and its corresponding D_ParserTables.

Definition at line 145 of file dparser.h.

Constructor & Destructor Documentation

◆ parser()

mcrl2::core::parser::parser	(	D_ParserTables &	tables,
		D_AmbiguityFn	ambiguity_fn = `nullptr`,
		D_SyntaxErrorFn	syntax_error_fn = `nullptr`,
		std::size_t	max_error_message_count = `1`
	)

explicit

Definition at line 202 of file dparser.cpp.

◆ ~parser()

mcrl2::core::parser::~parser ( )

Definition at line 224 of file dparser.cpp.

Member Function Documentation

◆ announce()

void mcrl2::core::parser::announce ( D_ParseNode & node_ref )

Callback function for nodes in the parse tree.

Definition at line 299 of file dparser.cpp.

◆ custom_parse_error()

void mcrl2::core::parser::custom_parse_error ( const std::string & message ) const

Definition at line 508 of file dparser.cpp.

◆ destroy_parse_node()

void mcrl2::core::parser::destroy_parse_node ( const parse_node & node )

Definition at line 293 of file dparser.cpp.

◆ indent()

std::string mcrl2::core::parser::indent ( unsigned int count ) const

Definition at line 260 of file dparser.cpp.

◆ parse()

parse_node mcrl2::core::parser::parse	(	const std::string &	text,
		unsigned int	start_symbol_index = `0`,
		bool	partial_parses = `false`
	)

Parses a string. N.B. The user is responsible for destruction of the returned value by calling destroy_parse_node!!!

Definition at line 239 of file dparser.cpp.

◆ print_node() [1/2]

std::string mcrl2::core::parser::print_node ( const parse_node & node ) const

inline

Definition at line 191 of file dparser.h.

◆ print_node() [2/2]

void mcrl2::core::parser::print_node	(	std::ostream &	out,
		const parse_node &	node
	)		const

inline

Definition at line 178 of file dparser.h.

◆ print_symbol_table()

void mcrl2::core::parser::print_symbol_table ( ) const

Definition at line 255 of file dparser.cpp.

◆ print_tree()

void mcrl2::core::parser::print_tree	(	const parse_node &	node,
		unsigned int	level = `0`
	)		const

Definition at line 279 of file dparser.cpp.

◆ start_symbol_index()

unsigned int mcrl2::core::parser::start_symbol_index ( const std::string & name ) const

Definition at line 234 of file dparser.cpp.

◆ symbol_table()

const parser_table & mcrl2::core::parser::symbol_table ( ) const

Definition at line 229 of file dparser.cpp.

◆ truncate()

std::string mcrl2::core::parser::truncate	(	const std::string &	s,
		unsigned int	max_size = `20`
	)		const

Definition at line 265 of file dparser.cpp.

Member Data Documentation

◆ m_max_error_message_count

std::size_t mcrl2::core::parser::m_max_error_message_count = 0UL

Definition at line 149 of file dparser.h.

◆ m_parser

D_Parser* mcrl2::core::parser::m_parser

Definition at line 148 of file dparser.h.

◆ m_table

parser_table mcrl2::core::parser::m_table

Definition at line 147 of file dparser.h.

The documentation for this struct was generated from the following files:

core/include/mcrl2/core/dparser.h
core/source/dparser.cpp

Public Member Functions

Public Attributes