|
| type_check_tree_generator (type_check_context &context_, const core::parser &parser_) |
|
std::vector< type_check_node_ptr > | parse_DataExprList (const core::parse_node &node) const |
|
std::vector< type_check_node_ptr > | parse_BagEnumEltList (const core::parse_node &node) const |
|
std::pair< std::string, type_check_node_ptr > | parse_Assignment (const core::parse_node &node) const |
|
std::vector< std::pair< std::string, type_check_node_ptr > > | parse_AssignmentList (const core::parse_node &node) const |
|
type_check_node_ptr | parse_DataExpr (const core::parse_node &node) const |
|
| 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 |
|
| 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 |
|
| 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 |
|
| 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 |
|
Definition at line 1161 of file type_check_tree.h.