https://gcc.gnu.org/g:61d4955bb761c9447e59b505bcaad91b66ae49fd
commit 61d4955bb761c9447e59b505bcaad91b66ae49fd
Author: Pierre-Emmanuel Patry <pierre-emmanuel.pa...@embecosm.com>
Date: Mon Nov 27 14:12:20 2023 +0100
Make expand visitor inherit from default visitor
Many visit functions in the expand visitor simply visit their components
like the default visitor. Making the expand visitor inherit from the
default visitor allows us to keep all visitor in sync without having to
change every visitor.
gcc/rust/ChangeLog:
* expand/rust-expand-visitor.cc (ExpandVisitor::go): Add call to
visit
on the crate.
(ExpandVisitor::visit): Remove some visit functions in favor of
their
default visitor counterpart.
* expand/rust-expand-visitor.h (class ExpandVisitor): Inherit from
default visitor and remove now useless function prototypes.
Signed-off-by: Pierre-Emmanuel Patry <pierre-emmanuel.pa...@embecosm.com>
Diff:
---
gcc/rust/expand/rust-expand-visitor.cc | 492 +--------------------------------
gcc/rust/expand/rust-expand-visitor.h | 82 +-----
2 files changed, 9 insertions(+), 565 deletions(-)
diff --git a/gcc/rust/expand/rust-expand-visitor.cc
b/gcc/rust/expand/rust-expand-visitor.cc
index ad473c2dcb0e..a60c47289268 100644
--- a/gcc/rust/expand/rust-expand-visitor.cc
+++ b/gcc/rust/expand/rust-expand-visitor.cc
@@ -39,7 +39,7 @@ is_builtin (AST::Attribute &attr)
void
ExpandVisitor::go (AST::Crate &crate)
{
- expand_inner_items (crate.items);
+ visit (crate);
}
static std::unique_ptr<AST::Item>
@@ -474,8 +474,10 @@ ExpandVisitor::expand_trait_method_decl
(AST::TraitMethodDecl &decl)
}
void
-ExpandVisitor::visit (AST::Token &)
-{}
+ExpandVisitor::visit (AST::Crate &crate)
+{
+ expand_inner_items (crate.items);
+}
void
ExpandVisitor::visit (AST::DelimTokenTree &)
@@ -489,10 +491,6 @@ void
ExpandVisitor::visit (AST::IdentifierExpr &ident_expr)
{}
-void
-ExpandVisitor::visit (AST::Lifetime &)
-{}
-
void
ExpandVisitor::visit (AST::LifetimeParam &)
{}
@@ -516,10 +514,6 @@ ExpandVisitor::visit (AST::PathInExpression &path)
expand_generic_args (segment.get_generic_args ());
}
-void
-ExpandVisitor::visit (AST::TypePathSegment &)
-{}
-
void
ExpandVisitor::visit (AST::TypePathSegmentGeneric &segment)
{}
@@ -536,13 +530,6 @@ ExpandVisitor::visit (AST::TypePathSegmentFunction
&segment)
maybe_expand_type (type_path_function.get_return_type ());
}
-void
-ExpandVisitor::visit (AST::TypePath &path)
-{
- for (auto &segment : path.get_segments ())
- visit (segment);
-}
-
void
ExpandVisitor::visit (AST::QualifiedPathInExpression &path)
{
@@ -585,30 +572,12 @@ void
ExpandVisitor::visit (AST::MetaItemPathLit &)
{}
-void
-ExpandVisitor::visit (AST::BorrowExpr &expr)
-{
- visit (expr.get_borrowed_expr ());
-}
-
-void
-ExpandVisitor::visit (AST::DereferenceExpr &expr)
-{
- visit (expr.get_dereferenced_expr ());
-}
-
void
ExpandVisitor::visit (AST::ErrorPropagationExpr &expr)
{
visit (expr.get_propagating_expr ());
}
-void
-ExpandVisitor::visit (AST::NegationExpr &expr)
-{
- visit (expr.get_negated_expr ());
-}
-
void
ExpandVisitor::visit (AST::ArithmeticOrLogicalExpr &expr)
{
@@ -630,14 +599,6 @@ ExpandVisitor::visit (AST::LazyBooleanExpr &expr)
maybe_expand_expr (expr.get_right_expr ());
}
-void
-ExpandVisitor::visit (AST::TypeCastExpr &expr)
-{
- visit (expr.get_casted_expr ());
-
- visit (expr.get_type_to_cast_to ());
-}
-
void
ExpandVisitor::visit (AST::AssignmentExpr &expr)
{
@@ -658,84 +619,10 @@ ExpandVisitor::visit (AST::GroupedExpr &expr)
maybe_expand_expr (expr.get_expr_in_parens ());
}
-void
-ExpandVisitor::visit (AST::ArrayElemsValues &elems)
-{
- for (auto &elem : elems.get_values ())
- visit (elem);
-}
-
-void
-ExpandVisitor::visit (AST::ArrayElemsCopied &elems)
-{
- visit (elems.get_elem_to_copy ());
- visit (elems.get_num_copies ());
-}
-
-void
-ExpandVisitor::visit (AST::ArrayExpr &expr)
-{
- visit (expr.get_array_elems ());
-}
-
-void
-ExpandVisitor::visit (AST::ArrayIndexExpr &expr)
-{
- visit (expr.get_array_expr ());
- visit (expr.get_index_expr ());
-}
-
-void
-ExpandVisitor::visit (AST::TupleExpr &expr)
-{
- for (auto &element : expr.get_tuple_elems ())
- visit (element);
-}
-
-void
-ExpandVisitor::visit (AST::TupleIndexExpr &expr)
-{
- visit (expr.get_tuple_expr ());
-
- // We can't have macro invocations for tuple indexes, right? Need a test!
-}
-
void
ExpandVisitor::visit (AST::StructExprStruct &expr)
{}
-void
-ExpandVisitor::visit (AST::StructExprFieldIdentifier &)
-{}
-
-void
-ExpandVisitor::visit (AST::StructExprFieldIdentifierValue &field)
-{
- visit (field.get_value ());
-}
-
-void
-ExpandVisitor::visit (AST::StructExprFieldIndexValue &field)
-{
- visit (field.get_value ());
-}
-
-void
-ExpandVisitor::visit (AST::StructExprStructFields &expr)
-{
- for (auto &field : expr.get_fields ())
- visit (field);
-
- if (expr.has_struct_base ())
- visit (expr.get_struct_base ().get_base_struct ());
-}
-
-void
-ExpandVisitor::visit (AST::StructExprStructBase &expr)
-{
- visit (expr.get_struct_base ().get_base_struct ());
-}
-
void
ExpandVisitor::visit (AST::CallExpr &expr)
{
@@ -754,12 +641,6 @@ ExpandVisitor::visit (AST::MethodCallExpr &expr)
maybe_expand_expr (param);
}
-void
-ExpandVisitor::visit (AST::FieldAccessExpr &expr)
-{
- visit (expr.get_receiver_expr ());
-}
-
void
ExpandVisitor::visit (AST::ClosureExprInner &expr)
{
@@ -792,93 +673,6 @@ void
ExpandVisitor::visit (AST::ContinueExpr &expr)
{}
-void
-ExpandVisitor::visit (AST::BreakExpr &expr)
-{
- if (expr.has_break_expr ())
- visit (expr.get_break_expr ());
-}
-
-void
-ExpandVisitor::visit (AST::RangeFromToExpr &expr)
-{
- visit (expr.get_from_expr ());
- visit (expr.get_to_expr ());
-}
-
-void
-ExpandVisitor::visit (AST::RangeFromExpr &expr)
-{
- visit (expr.get_from_expr ());
-}
-
-void
-ExpandVisitor::visit (AST::RangeToExpr &expr)
-{
- visit (expr.get_to_expr ());
-}
-
-void
-ExpandVisitor::visit (AST::RangeFullExpr &)
-{}
-
-void
-ExpandVisitor::visit (AST::RangeFromToInclExpr &expr)
-{
- visit (expr.get_from_expr ());
- visit (expr.get_to_expr ());
-}
-
-void
-ExpandVisitor::visit (AST::RangeToInclExpr &expr)
-{
- visit (expr.get_to_expr ());
-}
-
-void
-ExpandVisitor::visit (AST::ReturnExpr &expr)
-{
- if (expr.has_returned_expr ())
- visit (expr.get_returned_expr ());
-}
-
-void
-ExpandVisitor::visit (AST::UnsafeBlockExpr &expr)
-{
- visit (expr.get_block_expr ());
-}
-
-void
-ExpandVisitor::visit (AST::LoopExpr &expr)
-{
- visit (expr.get_loop_block ());
-}
-
-void
-ExpandVisitor::visit (AST::WhileLoopExpr &expr)
-{
- visit (expr.get_predicate_expr ());
- visit (expr.get_loop_block ());
-}
-
-void
-ExpandVisitor::visit (AST::WhileLetLoopExpr &expr)
-{
- for (auto &pattern : expr.get_patterns ())
- visit (pattern);
-
- visit (expr.get_scrutinee_expr ());
- visit (expr.get_loop_block ());
-}
-
-void
-ExpandVisitor::visit (AST::ForLoopExpr &expr)
-{
- visit (expr.get_pattern ());
- visit (expr.get_iterator_expr ());
- visit (expr.get_loop_block ());
-}
-
void
ExpandVisitor::visit (AST::IfExpr &expr)
{
@@ -932,18 +726,6 @@ ExpandVisitor::visit (AST::MatchExpr &expr)
}
}
-void
-ExpandVisitor::visit (AST::AwaitExpr &expr)
-{
- visit (expr.get_awaited_expr ());
-}
-
-void
-ExpandVisitor::visit (AST::AsyncBlockExpr &expr)
-{
- visit (expr.get_block_expr ());
-}
-
void
ExpandVisitor::visit (AST::TypeParam ¶m)
{
@@ -967,17 +749,6 @@ ExpandVisitor::visit (AST::TypeBoundWhereClauseItem &item)
visit (bound);
}
-void
-ExpandVisitor::visit (AST::Module &module)
-{
- if (module.get_kind () == AST::Module::ModuleKind::LOADED)
- {
- visit_inner_attrs (module);
- for (auto &item : module.get_items ())
- visit (item);
- }
-}
-
void
ExpandVisitor::visit (AST::ExternCrate &crate)
{}
@@ -1019,12 +790,6 @@ ExpandVisitor::visit (AST::Function &function)
visit (*function.get_definition ());
}
-void
-ExpandVisitor::visit (AST::TypeAlias &type_alias)
-{
- visit (type_alias.get_type_aliased ());
-}
-
void
ExpandVisitor::visit (AST::StructStruct &struct_item)
{
@@ -1071,16 +836,6 @@ ExpandVisitor::visit (AST::EnumItemDiscriminant &item)
maybe_expand_expr (item.get_expr ());
}
-void
-ExpandVisitor::visit (AST::Enum &enum_item)
-{
- for (auto &generic : enum_item.get_generic_params ())
- visit (generic);
-
- for (auto &variant : enum_item.get_variants ())
- variant->accept_vis (*this);
-}
-
void
ExpandVisitor::visit (AST::Union &union_item)
{
@@ -1134,13 +889,6 @@ ExpandVisitor::visit (AST::TraitItemConst &const_item)
maybe_expand_expr (const_item.get_expr ());
}
-void
-ExpandVisitor::visit (AST::TraitItemType &item)
-{
- for (auto &type : item.get_type_param_bounds ())
- visit (type);
-}
-
void
ExpandVisitor::visit (AST::Trait &trait)
{
@@ -1256,11 +1004,6 @@ ExpandVisitor::visit (AST::ExternBlock &block)
block.get_extern_items (), extractor);
}
-// I don't think it would be possible to strip macros without expansion
-void
-ExpandVisitor::visit (AST::MacroMatchFragment &)
-{}
-
void
ExpandVisitor::visit (AST::MacroMatchRepetition &)
{}
@@ -1281,14 +1024,6 @@ void
ExpandVisitor::visit (AST::MetaItemSeq &)
{}
-void
-ExpandVisitor::visit (AST::MetaWord &)
-{}
-
-void
-ExpandVisitor::visit (AST::MetaNameValueStr &)
-{}
-
void
ExpandVisitor::visit (AST::MetaListPaths &)
{}
@@ -1297,152 +1032,16 @@ void
ExpandVisitor::visit (AST::MetaListNameValueStr &)
{}
-void
-ExpandVisitor::visit (AST::LiteralPattern &)
-{}
-
-void
-ExpandVisitor::visit (AST::IdentifierPattern &pattern)
-{
- if (pattern.has_pattern_to_bind ())
- visit (pattern.get_pattern_to_bind ());
-}
-
-void
-ExpandVisitor::visit (AST::WildcardPattern &)
-{}
-
-void
-ExpandVisitor::visit (AST::RestPattern &)
-{}
-
-void
-ExpandVisitor::visit (AST::RangePatternBoundLiteral &)
-{}
-
-void
-ExpandVisitor::visit (AST::RangePatternBoundPath &bound)
-{
- visit (bound.get_path ());
-}
-
-void
-ExpandVisitor::visit (AST::RangePatternBoundQualPath &bound)
-{
- visit (bound.get_qualified_path ());
-}
-
-void
-ExpandVisitor::visit (AST::RangePattern &pattern)
-{
- visit (pattern.get_lower_bound ());
- visit (pattern.get_upper_bound ());
-}
-
-void
-ExpandVisitor::visit (AST::ReferencePattern &pattern)
-{
- visit (pattern.get_referenced_pattern ());
-}
-
-void
-ExpandVisitor::visit (AST::StructPatternFieldTuplePat &field)
-{
- visit (field.get_index_pattern ());
-}
-
-void
-ExpandVisitor::visit (AST::StructPatternFieldIdentPat &field)
-{
- visit (field.get_ident_pattern ());
-}
-
void
ExpandVisitor::visit (AST::StructPatternFieldIdent &field)
{}
-void
-ExpandVisitor::visit (AST::StructPattern &pattern)
-{
- visit (pattern.get_path ());
-
- for (auto &inner :
- pattern.get_struct_pattern_elems ().get_struct_pattern_fields ())
- visit (inner);
-}
-
-void
-ExpandVisitor::visit (AST::TupleStructItemsNoRange &tuple_items)
-{
- for (auto &pattern : tuple_items.get_patterns ())
- visit (pattern);
-}
-
-void
-ExpandVisitor::visit (AST::TupleStructItemsRange &tuple_items)
-{
- for (auto &lower_pattern : tuple_items.get_lower_patterns ())
- visit (lower_pattern);
- for (auto &upper_pattern : tuple_items.get_upper_patterns ())
- visit (upper_pattern);
-}
-
-void
-ExpandVisitor::visit (AST::TupleStructPattern &pattern)
-{
- visit (pattern.get_path ());
-
- if (pattern.has_items ())
- visit (pattern.get_items ());
-}
-
-void
-ExpandVisitor::visit (AST::TuplePatternItemsMultiple &tuple_items)
-{
- for (auto &pattern : tuple_items.get_patterns ())
- visit (pattern);
-}
-
-void
-ExpandVisitor::visit (AST::TuplePatternItemsRanged &tuple_items)
-{
- for (auto &pattern : tuple_items.get_lower_patterns ())
- visit (pattern);
- for (auto &pattern : tuple_items.get_upper_patterns ())
- visit (pattern);
-}
-
-void
-ExpandVisitor::visit (AST::TuplePattern &pattern)
-{
- if (pattern.has_tuple_pattern_items ())
- visit (pattern.get_items ());
-}
-
void
ExpandVisitor::visit (AST::GroupedPattern &pattern)
{
visit (pattern.get_pattern_in_parens ());
}
-void
-ExpandVisitor::visit (AST::SlicePattern &pattern)
-{
- for (auto &item : pattern.get_items ())
- visit (item);
-}
-
-void
-ExpandVisitor::visit (AST::AltPattern &pattern)
-{
- for (auto &alt : pattern.get_alts ())
- visit (alt);
-}
-
-void
-ExpandVisitor::visit (AST::EmptyStmt &)
-{}
-
void
ExpandVisitor::visit (AST::LetStmt &stmt)
{
@@ -1461,83 +1060,6 @@ ExpandVisitor::visit (AST::ExprStmt &stmt)
maybe_expand_expr (stmt.get_expr ());
}
-void
-ExpandVisitor::visit (AST::TraitBound &bound)
-{
- visit (bound.get_type_path ());
-}
-
-void
-ExpandVisitor::visit (AST::ImplTraitType &type)
-{
- for (auto &bound : type.get_type_param_bounds ())
- visit (bound);
-}
-
-void
-ExpandVisitor::visit (AST::TraitObjectType &type)
-{
- for (auto &bound : type.get_type_param_bounds ())
- visit (bound);
-}
-
-void
-ExpandVisitor::visit (AST::ParenthesisedType &type)
-{
- visit (type.get_type_in_parens ());
-}
-
-void
-ExpandVisitor::visit (AST::ImplTraitTypeOneBound &type)
-{
- visit (type.get_trait_bound ());
-}
-
-void
-ExpandVisitor::visit (AST::TraitObjectTypeOneBound &type)
-{
- visit (type.get_trait_bound ());
-}
-
-void
-ExpandVisitor::visit (AST::TupleType &type)
-{
- for (auto &elem : type.get_elems ())
- visit (elem);
-}
-
-void
-ExpandVisitor::visit (AST::NeverType &)
-{}
-
-void
-ExpandVisitor::visit (AST::RawPointerType &type)
-{
- visit (type.get_type_pointed_to ());
-}
-
-void
-ExpandVisitor::visit (AST::ReferenceType &type)
-{
- visit (type.get_type_referenced ());
-}
-
-void
-ExpandVisitor::visit (AST::ArrayType &type)
-{
- visit (type.get_elem_type ());
-}
-
-void
-ExpandVisitor::visit (AST::SliceType &type)
-{
- visit (type.get_elem_type ());
-}
-
-void
-ExpandVisitor::visit (AST::InferredType &)
-{}
-
void
ExpandVisitor::visit (AST::BareFunctionType &type)
{
@@ -1550,10 +1072,6 @@ ExpandVisitor::visit (AST::BareFunctionType &type)
visit (type.get_return_type ());
}
-void
-ExpandVisitor::visit (AST::VariadicParam ¶m)
-{}
-
void
ExpandVisitor::visit (AST::FunctionParam ¶m)
{
diff --git a/gcc/rust/expand/rust-expand-visitor.h
b/gcc/rust/expand/rust-expand-visitor.h
index 74f2673655fd..bae9b0f8fa5a 100644
--- a/gcc/rust/expand/rust-expand-visitor.h
+++ b/gcc/rust/expand/rust-expand-visitor.h
@@ -37,7 +37,7 @@ is_derive (AST::Attribute &attr);
bool
is_builtin (AST::Attribute &attr);
-class ExpandVisitor : public AST::ASTVisitor
+class ExpandVisitor : public AST::DefaultASTVisitor
{
public:
ExpandVisitor (MacroExpander &expander) : expander (expander) {}
@@ -45,6 +45,8 @@ public:
/* Expand all of the macro invocations currently contained in a crate */
void go (AST::Crate &crate);
+ using AST::DefaultASTVisitor::visit;
+
/* Maybe expand a macro invocation in lieu of an expression */
void maybe_expand_expr (std::unique_ptr<AST::Expr> &expr);
@@ -186,21 +188,18 @@ public:
maybe_expand_type (type);
}
- void visit (AST::Token &) override;
+ void visit (AST::Crate &crate) override;
void visit (AST::DelimTokenTree &) override;
void visit (AST::AttrInputMetaItemContainer &) override;
void visit (AST::IdentifierExpr &ident_expr) override;
- void visit (AST::Lifetime &) override;
void visit (AST::LifetimeParam &) override;
void visit (AST::ConstGenericParam &) override;
void visit (AST::MacroInvocation ¯o_invoc) override;
void visit (AST::PathInExpression &path) override;
- void visit (AST::TypePathSegment &) override;
void visit (AST::TypePathSegmentGeneric &segment) override;
void visit (AST::TypePathSegmentFunction &segment) override;
- void visit (AST::TypePath &path) override;
void visit (AST::QualifiedPathInExpression &path) override;
void visit (AST::QualifiedPathInType &path) override;
@@ -209,84 +208,49 @@ public:
void visit (AST::AttrInputMacro &) override;
void visit (AST::MetaItemLitExpr &) override;
void visit (AST::MetaItemPathLit &) override;
- void visit (AST::BorrowExpr &expr) override;
- void visit (AST::DereferenceExpr &expr) override;
void visit (AST::ErrorPropagationExpr &expr) override;
- void visit (AST::NegationExpr &expr) override;
void visit (AST::ArithmeticOrLogicalExpr &expr) override;
void visit (AST::ComparisonExpr &expr) override;
void visit (AST::LazyBooleanExpr &expr) override;
- void visit (AST::TypeCastExpr &expr) override;
void visit (AST::AssignmentExpr &expr) override;
void visit (AST::CompoundAssignmentExpr &expr) override;
void visit (AST::GroupedExpr &expr) override;
- void visit (AST::ArrayElemsValues &elems) override;
- void visit (AST::ArrayElemsCopied &elems) override;
- void visit (AST::ArrayExpr &expr) override;
- void visit (AST::ArrayIndexExpr &expr) override;
- void visit (AST::TupleExpr &expr) override;
- void visit (AST::TupleIndexExpr &expr) override;
void visit (AST::StructExprStruct &expr) override;
- void visit (AST::StructExprFieldIdentifier &) override;
- void visit (AST::StructExprFieldIdentifierValue &field) override;
- void visit (AST::StructExprFieldIndexValue &field) override;
- void visit (AST::StructExprStructFields &expr) override;
- void visit (AST::StructExprStructBase &expr) override;
void visit (AST::CallExpr &expr) override;
void visit (AST::MethodCallExpr &expr) override;
- void visit (AST::FieldAccessExpr &expr) override;
void visit (AST::ClosureExprInner &expr) override;
void visit (AST::BlockExpr &expr) override;
void visit (AST::ClosureExprInnerTyped &expr) override;
void visit (AST::ContinueExpr &expr) override;
- void visit (AST::BreakExpr &expr) override;
- void visit (AST::RangeFromToExpr &expr) override;
- void visit (AST::RangeFromExpr &expr) override;
- void visit (AST::RangeToExpr &expr) override;
- void visit (AST::RangeFullExpr &) override;
- void visit (AST::RangeFromToInclExpr &expr) override;
- void visit (AST::RangeToInclExpr &expr) override;
- void visit (AST::ReturnExpr &expr) override;
- void visit (AST::UnsafeBlockExpr &expr) override;
- void visit (AST::LoopExpr &expr) override;
- void visit (AST::WhileLoopExpr &expr) override;
- void visit (AST::WhileLetLoopExpr &expr) override;
- void visit (AST::ForLoopExpr &expr) override;
void visit (AST::IfExpr &expr) override;
void visit (AST::IfExprConseqElse &expr) override;
void visit (AST::IfLetExpr &expr) override;
void visit (AST::IfLetExprConseqElse &expr) override;
void visit (AST::MatchExpr &expr) override;
- void visit (AST::AwaitExpr &expr) override;
- void visit (AST::AsyncBlockExpr &expr) override;
void visit (AST::TypeParam ¶m) override;
void visit (AST::LifetimeWhereClauseItem &) override;
void visit (AST::TypeBoundWhereClauseItem &item) override;
- void visit (AST::Module &module) override;
void visit (AST::ExternCrate &crate) override;
void visit (AST::UseTreeGlob &) override;
void visit (AST::UseTreeList &) override;
void visit (AST::UseTreeRebind &) override;
void visit (AST::UseDeclaration &use_decl) override;
void visit (AST::Function &function) override;
- void visit (AST::TypeAlias &type_alias) override;
void visit (AST::StructStruct &struct_item) override;
void visit (AST::TupleStruct &tuple_struct) override;
void visit (AST::EnumItem &item) override;
void visit (AST::EnumItemTuple &item) override;
void visit (AST::EnumItemStruct &item) override;
void visit (AST::EnumItemDiscriminant &item) override;
- void visit (AST::Enum &enum_item) override;
void visit (AST::Union &union_item) override;
void visit (AST::ConstantItem &const_item) override;
void visit (AST::StaticItem &static_item) override;
void visit (AST::TraitItemFunc &item) override;
void visit (AST::TraitItemMethod &item) override;
void visit (AST::TraitItemConst &item) override;
- void visit (AST::TraitItemType &item) override;
void visit (AST::Trait &trait) override;
void visit (AST::InherentImpl &impl) override;
void visit (AST::TraitImpl &impl) override;
@@ -296,58 +260,20 @@ public:
void visit (AST::ExternBlock &block) override;
// I don't think it would be possible to strip macros without expansion
- void visit (AST::MacroMatchFragment &) override;
void visit (AST::MacroMatchRepetition &) override;
void visit (AST::MacroMatcher &) override;
void visit (AST::MacroRulesDefinition &rules_def) override;
void visit (AST::MetaItemPath &) override;
void visit (AST::MetaItemSeq &) override;
- void visit (AST::MetaWord &) override;
- void visit (AST::MetaNameValueStr &) override;
void visit (AST::MetaListPaths &) override;
void visit (AST::MetaListNameValueStr &) override;
- void visit (AST::LiteralPattern &) override;
- void visit (AST::IdentifierPattern &pattern) override;
- void visit (AST::WildcardPattern &) override;
- void visit (AST::RestPattern &) override;
- void visit (AST::RangePatternBoundLiteral &) override;
- void visit (AST::RangePatternBoundPath &bound) override;
- void visit (AST::RangePatternBoundQualPath &bound) override;
- void visit (AST::RangePattern &pattern) override;
- void visit (AST::ReferencePattern &pattern) override;
- void visit (AST::StructPatternFieldTuplePat &field) override;
- void visit (AST::StructPatternFieldIdentPat &field) override;
void visit (AST::StructPatternFieldIdent &field) override;
- void visit (AST::StructPattern &pattern) override;
- void visit (AST::TupleStructItemsNoRange &tuple_items) override;
- void visit (AST::TupleStructItemsRange &tuple_items) override;
- void visit (AST::TupleStructPattern &pattern) override;
- void visit (AST::TuplePatternItemsMultiple &tuple_items) override;
- void visit (AST::TuplePatternItemsRanged &tuple_items) override;
- void visit (AST::TuplePattern &pattern) override;
void visit (AST::GroupedPattern &pattern) override;
- void visit (AST::SlicePattern &pattern) override;
- void visit (AST::AltPattern &pattern) override;
- void visit (AST::EmptyStmt &) override;
void visit (AST::LetStmt &stmt) override;
void visit (AST::ExprStmt &stmt) override;
- void visit (AST::TraitBound &bound) override;
- void visit (AST::ImplTraitType &type) override;
- void visit (AST::TraitObjectType &type) override;
- void visit (AST::ParenthesisedType &type) override;
- void visit (AST::ImplTraitTypeOneBound &type) override;
- void visit (AST::TraitObjectTypeOneBound &type) override;
- void visit (AST::TupleType &type) override;
- void visit (AST::NeverType &) override;
- void visit (AST::RawPointerType &type) override;
- void visit (AST::ReferenceType &type) override;
- void visit (AST::ArrayType &type) override;
- void visit (AST::SliceType &type) override;
- void visit (AST::InferredType &) override;
void visit (AST::BareFunctionType &type) override;
- void visit (AST::VariadicParam &type) override;
void visit (AST::FunctionParam &type) override;
void visit (AST::SelfParam &type) override;
