parse.h File Reference

Parser for data specifications. More...

Go to the source code of this file.

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::data
	Namespace for all data library functionality.
namespace	mcrl2::data::detail

Functions
sort_expression	mcrl2::data::detail::parse_sort_expression (const std::string &text)
variable_list	mcrl2::data::detail::parse_variables (const std::string &text)
data_expression	mcrl2::data::detail::parse_data_expression (const std::string &text)
data_specification	mcrl2::data::detail::parse_data_specification_new (const std::string &text)
variable_list	mcrl2::data::detail::parse_variable_declaration_list (const std::string &text)
static data_specification const &	mcrl2::data::detail::default_specification ()
std::pair< basic_sort_vector, alias_vector >	mcrl2::data::parse_sort_specification (const std::string &text)
data_specification	mcrl2::data::parse_data_specification (std::istream &in)
	Parses a and type checks a data specification.
data_specification	mcrl2::data::parse_data_specification (const std::string &text)
	Parses a and type checks a data specification.
template<typename OutputIterator , typename VariableIterator >
void	mcrl2::data::parse_variables (std::istream &in, OutputIterator o, VariableIterator begin, VariableIterator end, const data_specification &data_spec=detail::default_specification())
	Parses and type checks a data variable declaration list checking for double occurrences of variables in an existing variable range.
template<typename OutputIterator , typename VariableIterator >
void	mcrl2::data::parse_variables (const std::string &text, OutputIterator i, VariableIterator begin, VariableIterator end, const data_specification &data_spec=detail::default_specification())
	Parses and type checks a data variable declaration list checking for double occurrences of variables in an existing variable range.
template<typename OutputIterator >
void	mcrl2::data::parse_variables (std::istream &text, OutputIterator i, const data_specification &data_spec=detail::default_specification())
	Parses and type checks a data variable declaration list.
template<typename OutputIterator >
void	mcrl2::data::parse_variables (const std::string &text, OutputIterator i, const data_specification &data_spec=detail::default_specification())
	Parses and type checks a data variable declaration list.
variable	mcrl2::data::parse_variable (const std::string &text, const data_specification &data_spec=detail::default_specification())
	Parses and type checks a data variable declaration.
variable	mcrl2::data::parse_variable (std::istream &text, const data_specification &data_spec=detail::default_specification())
	Parses and type checks a data variable declaration.
template<typename VariableContainer >
data_expression	mcrl2::data::parse_data_expression (std::istream &in, const VariableContainer &variables, const data_specification &dataspec=detail::default_specification(), bool type_check=true, bool translate_user_notation=true, bool normalize_sorts=true)
	Parses and type checks a data expression.
template<typename VariableContainer >
data_expression	mcrl2::data::parse_data_expression (const std::string &text, const VariableContainer &variables, const data_specification &data_spec=detail::default_specification(), bool type_check=true, bool translate_user_notation=true, bool normalize_sorts=true)
	Parses and type checks a data expression.
data_expression	mcrl2::data::parse_data_expression (std::istream &text, const data_specification &data_spec=detail::default_specification(), bool type_check=true, bool translate_user_notation=true, bool normalize_sorts=true)
	Parses and type checks a data expression.
data_expression	mcrl2::data::parse_data_expression (const std::string &text, const data_specification &data_spec=detail::default_specification(), bool type_check=true, bool translate_user_notation=true, bool normalize_sorts=true)
	Parses and type checks a data expression.
variable_list	mcrl2::data::parse_variables (const std::string &text)
sort_expression	mcrl2::data::parse_sort_expression (std::istream &in, const data_specification &data_spec=detail::default_specification())
	Parses and type checks a sort expression.
sort_expression	mcrl2::data::parse_sort_expression (const std::string &text, const data_specification &data_spec=detail::default_specification())
	Parses and type checks a sort expression.
data::function_symbol	mcrl2::data::parse_function_symbol (const std::string &text, const std::string &dataspec_text="")
variable_list	mcrl2::data::parse_variable_declaration_list (const std::string &text, const data_specification &dataspec=detail::default_specification())
	Parses a variable declaration list.

Detailed Description

Parser for data specifications.

Definition in file parse.h.