mCRL2
Loading...
Searching...
No Matches
Public Member Functions | List of all members
mcrl2::data::detail::data_expression_actions Struct Reference

#include <parse_impl.h>

Inheritance diagram for mcrl2::data::detail::data_expression_actions:
mcrl2::data::detail::sort_expression_actions mcrl2::core::default_parser_actions mcrl2::core::parser_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

 data_expression_actions (const core::parser &parser_)
 
data_expression make_untyped_set_or_bag_comprehension (const variable &v, const data_expression &x) const
 
data_expression make_list_enumeration (const data_expression_list &x) const
 
data_expression make_set_enumeration (const data_expression_list &x) const
 
data_expression make_bag_enumeration (const data_expression_list &x) const
 
data_expression make_function_update (const data_expression &x, const data_expression &y, const data_expression &z) const
 
template<typename ExpressionContainer >
data::sort_expression_list get_sorts (const ExpressionContainer &x) const
 
data::variable parse_VarDecl (const core::parse_node &node) const
 
bool callback_VarsDecl (const core::parse_node &node, variable_vector &result) const
 
data::variable_list parse_VarsDeclList (const core::parse_node &node) const
 
data::data_expression parse_DataExpr (const core::parse_node &node) const
 
data::data_expression parse_DataExprUnit (const core::parse_node &node) const
 
data::data_expression parse_DataValExpr (const core::parse_node &node) const
 
data::untyped_identifier_assignment parse_Assignment (const core::parse_node &node) const
 
data::untyped_identifier_assignment_list parse_AssignmentList (const core::parse_node &node) const
 
data::data_expression_list parse_DataExprList (const core::parse_node &node) const
 
data::data_expression_list parse_BagEnumEltList (const core::parse_node &node) const
 
- Public Member Functions inherited from mcrl2::data::detail::sort_expression_actions
 sort_expression_actions (const core::parser &parser_)
 
data::sort_expression parse_SortExpr (const core::parse_node &node, data::sort_expression_list *product=nullptr) const
 
data::sort_expression_list parse_SortExpr_as_SortProduct (const core::parse_node &node) const
 
data::sort_expression_list parse_SortProduct (const core::parse_node &node) const
 
data::structured_sort_constructor parse_ConstrDecl (const core::parse_node &node) const
 
data::structured_sort_constructor_list parse_ConstrDeclList (const core::parse_node &node) const
 
data::structured_sort_constructor_argument parse_ProjDecl (const core::parse_node &node) const
 
data::structured_sort_constructor_argument_list parse_ProjDeclList (const core::parse_node &node) const
 
- Public Member Functions inherited from mcrl2::core::default_parser_actions
 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 139 of file parse_impl.h.

Constructor & Destructor Documentation

◆ data_expression_actions()

mcrl2::data::detail::data_expression_actions::data_expression_actions ( const core::parser &  parser_)
inline

Definition at line 141 of file parse_impl.h.

Member Function Documentation

◆ callback_VarsDecl()

bool mcrl2::data::detail::data_expression_actions::callback_VarsDecl ( const core::parse_node &  node,
variable_vector &  result 
) const
inline

Definition at line 189 of file parse_impl.h.

◆ get_sorts()

template<typename ExpressionContainer >
data::sort_expression_list mcrl2::data::detail::data_expression_actions::get_sorts ( const ExpressionContainer &  x) const
inline

Definition at line 174 of file parse_impl.h.

◆ make_bag_enumeration()

data_expression mcrl2::data::detail::data_expression_actions::make_bag_enumeration ( const data_expression_list &  x) const
inline

Definition at line 162 of file parse_impl.h.

◆ make_function_update()

data_expression mcrl2::data::detail::data_expression_actions::make_function_update ( const data_expression &  x,
const data_expression &  y,
const data_expression &  z 
) const
inline

Definition at line 168 of file parse_impl.h.

◆ make_list_enumeration()

data_expression mcrl2::data::detail::data_expression_actions::make_list_enumeration ( const data_expression_list &  x) const
inline

Definition at line 150 of file parse_impl.h.

◆ make_set_enumeration()

data_expression mcrl2::data::detail::data_expression_actions::make_set_enumeration ( const data_expression_list &  x) const
inline

Definition at line 156 of file parse_impl.h.

◆ make_untyped_set_or_bag_comprehension()

data_expression mcrl2::data::detail::data_expression_actions::make_untyped_set_or_bag_comprehension ( const variable &  v,
const data_expression &  x 
) const
inline

Definition at line 145 of file parse_impl.h.

◆ parse_Assignment()

data::untyped_identifier_assignment mcrl2::data::detail::data_expression_actions::parse_Assignment ( const core::parse_node &  node) const
inline

Definition at line 277 of file parse_impl.h.

◆ parse_AssignmentList()

data::untyped_identifier_assignment_list mcrl2::data::detail::data_expression_actions::parse_AssignmentList ( const core::parse_node &  node) const
inline

Definition at line 282 of file parse_impl.h.

◆ parse_BagEnumEltList()

data::data_expression_list mcrl2::data::detail::data_expression_actions::parse_BagEnumEltList ( const core::parse_node &  node) const
inline

Definition at line 292 of file parse_impl.h.

◆ parse_DataExpr()

data::data_expression mcrl2::data::detail::data_expression_actions::parse_DataExpr ( const core::parse_node &  node) const
inline

Definition at line 211 of file parse_impl.h.

◆ parse_DataExprList()

data::data_expression_list mcrl2::data::detail::data_expression_actions::parse_DataExprList ( const core::parse_node &  node) const
inline

Definition at line 287 of file parse_impl.h.

◆ parse_DataExprUnit()

data::data_expression mcrl2::data::detail::data_expression_actions::parse_DataExprUnit ( const core::parse_node &  node) const
inline

Definition at line 258 of file parse_impl.h.

◆ parse_DataValExpr()

data::data_expression mcrl2::data::detail::data_expression_actions::parse_DataValExpr ( const core::parse_node &  node) const
inline

Definition at line 272 of file parse_impl.h.

◆ parse_VarDecl()

data::variable mcrl2::data::detail::data_expression_actions::parse_VarDecl ( const core::parse_node &  node) const
inline

Definition at line 184 of file parse_impl.h.

◆ parse_VarsDeclList()

data::variable_list mcrl2::data::detail::data_expression_actions::parse_VarsDeclList ( const core::parse_node &  node) const
inline

Definition at line 204 of file parse_impl.h.

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