mCRL2
Loading...
Searching...
No Matches
mcrl2::core::parser_actions Struct Reference

#include <parse.h>

Inheritance diagram for mcrl2::core::parser_actions:
mcrl2::core::default_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

Classes

struct  collector
 
struct  set_collector
 
struct  visitor
 

Public Member Functions

 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
 

Public Attributes

const parserm_parser
 

Detailed Description

Definition at line 83 of file parse.h.

Constructor & Destructor Documentation

◆ parser_actions()

mcrl2::core::parser_actions::parser_actions ( const parser parser_)
inline

Definition at line 87 of file parse.h.

Member Function Documentation

◆ make_collector()

template<typename Container , typename Function >
collector< Container, Function > mcrl2::core::parser_actions::make_collector ( const parser_table table,
const std::string &  type,
Container &  container,
const Function &  f 
) const
inline

Definition at line 167 of file parse.h.

◆ make_set_collector()

template<typename SetContainer , typename Function >
set_collector< SetContainer, Function > mcrl2::core::parser_actions::make_set_collector ( const parser_table table,
const std::string &  type,
SetContainer &  container,
const Function &  f 
) const
inline

Definition at line 200 of file parse.h.

◆ make_visitor()

template<typename Function >
visitor< Function > mcrl2::core::parser_actions::make_visitor ( const parser_table table,
const std::string &  type,
const Function &  f 
) const
inline

Definition at line 134 of file parse.h.

◆ symbol_name()

std::string mcrl2::core::parser_actions::symbol_name ( const parse_node node) const
inline

Definition at line 205 of file parse.h.

◆ traverse()

template<typename Function >
void mcrl2::core::parser_actions::traverse ( const parse_node node,
const Function &  f 
) const
inline

Definition at line 93 of file parse.h.

Member Data Documentation

◆ m_parser

const parser& mcrl2::core::parser_actions::m_parser

Definition at line 85 of file parse.h.


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