Module syntax::visit

Unstable (rustc_private)

AST walker. Each overridden visit method has full control over what happens with its node, it can do its own traversal of the node's children, call visit::walk_* to apply the default traversal algorithm, or prevent deeper traversal by doing nothing.

Note: it is an important invariant that the default visitor walks the body of a function in "execution order" (more concretely, reverse post-order with respect to the CFG implied by the AST), meaning that if AST node A may execute before AST node B, then A is visited first. The borrow checker in particular relies on this property.

Note: walking an AST before macro expansion is probably a bad idea. For instance, a walker looking for item names in a module will miss all of those that are created by the expansion of a macro.

Enums

FnKind

[Unstable]

Traits

Visitor

[Unstable] Each method of the Visitor trait is a hook to be potentially overridden. Each method's default implementation recursively visits the substructure of the input via the corresponding walk method; e.g. the visit_mod method by default calls visit::walk_mod.

Functions

walk_arm	[Unstable]
walk_assoc_type_binding	[Unstable]
walk_block	[Unstable]
walk_crate	[Unstable]
walk_decl	[Unstable]
walk_enum_def	[Unstable]
walk_explicit_self	[Unstable]
walk_expr	[Unstable]
walk_fn	[Unstable]
walk_fn_decl	[Unstable]
walk_fn_kind	[Unstable]
walk_fn_ret_ty	[Unstable]
walk_foreign_item	[Unstable]
walk_generics	[Unstable]
walk_ident	[Unstable]
walk_impl_item	[Unstable]
walk_item	[Unstable]
walk_lifetime	[Unstable]
walk_lifetime_def	[Unstable]
walk_local	[Unstable]
walk_mac	[Unstable]
walk_macro_def	[Unstable]
walk_mod	[Unstable]
walk_opt_ident	[Unstable]
walk_opt_name	[Unstable]
walk_pat	[Unstable]
walk_path	[Unstable]
walk_path_list_item	[Unstable]
walk_path_parameters	[Unstable]
walk_path_segment	[Unstable]
walk_poly_trait_ref	[Unstable]
walk_stmt	[Unstable]
walk_struct_def	[Unstable]
walk_struct_field	[Unstable]
walk_trait_item	[Unstable]
walk_trait_ref	[Unstable]
walk_ty	[Unstable]
walk_ty_param_bound	[Unstable]
walk_variant	[Unstable]
walk_vis	[Unstable]