mCRL2
Loading...
Searching...
No Matches
Public Member Functions | List of all members
mcrl2::core::default_parser_actions Struct Reference

#include <parse.h>

Inheritance diagram for mcrl2::core::default_parser_actions:
mcrl2::core::parser_actions mcrl2::data::detail::sort_expression_actions mcrl2::pbes_system::pg_actions mcrl2::data::detail::data_expression_actions mcrl2::data::detail::data_specification_actions mcrl2::data::type_check_tree_generator mcrl2::pbes_system::detail::pbes_actions mcrl2::pres_system::detail::pres_actions mcrl2::process::detail::action_actions mcrl2::lps::detail::action_rename_actions mcrl2::lps::detail::multi_action_actions mcrl2::process::detail::process_actions mcrl2::action_formulas::detail::action_formula_actions mcrl2::regular_formulas::detail::regular_formula_actions mcrl2::state_formulas::detail::state_formula_actions

Public Member Functions

 default_parser_actions (const parser &parser_)
 
template<typename T , typename Function >
atermpp::term_list< T > parse_list (const parse_node &node, const std::string &type, const Function &f) const
 
template<typename T , typename Function >
std::vector< T > parse_vector (const parse_node &node, const std::string &type, const Function &f) const
 
core::identifier_string parse_Id (const parse_node &node) const
 
core::identifier_string parse_Number (const parse_node &node) const
 
core::identifier_string_list parse_IdList (const parse_node &node) const
 
- Public Member Functions inherited from mcrl2::core::parser_actions
 parser_actions (const parser &parser_)
 
template<typename Function >
void traverse (const parse_node &node, const Function &f) const
 
template<typename Function >
visitor< Function > make_visitor (const parser_table &table, const std::string &type, const Function &f) const
 
template<typename Container , typename Function >
collector< Container, Function > make_collector (const parser_table &table, const std::string &type, Container &container, const Function &f) const
 
template<typename SetContainer , typename Function >
set_collector< SetContainer, Function > make_set_collector (const parser_table &table, const std::string &type, SetContainer &container, const Function &f) const
 
std::string symbol_name (const parse_node &node) const
 

Additional Inherited Members

- Public Attributes inherited from mcrl2::core::parser_actions
const parser & m_parser
 

Detailed Description

Definition at line 209 of file parse.h.

Constructor & Destructor Documentation

◆ default_parser_actions()

mcrl2::core::default_parser_actions::default_parser_actions ( const parser &  parser_)
inline

Definition at line 211 of file parse.h.

Member Function Documentation

◆ parse_Id()

core::identifier_string mcrl2::core::default_parser_actions::parse_Id ( const parse_node &  node) const
inline

Definition at line 231 of file parse.h.

◆ parse_IdList()

core::identifier_string_list mcrl2::core::default_parser_actions::parse_IdList ( const parse_node &  node) const
inline

Definition at line 241 of file parse.h.

◆ parse_list()

template<typename T , typename Function >
atermpp::term_list< T > mcrl2::core::default_parser_actions::parse_list ( const parse_node &  node,
const std::string &  type,
const Function &  f 
) const
inline

Definition at line 216 of file parse.h.

◆ parse_Number()

core::identifier_string mcrl2::core::default_parser_actions::parse_Number ( const parse_node &  node) const
inline

Definition at line 236 of file parse.h.

◆ parse_vector()

template<typename T , typename Function >
std::vector< T > mcrl2::core::default_parser_actions::parse_vector ( const parse_node &  node,
const std::string &  type,
const Function &  f 
) const
inline

Definition at line 224 of file parse.h.

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