Module visitor

Defines two overrideable visitor traits that can be used to conveniently traverse the whole contents of an item. This is useful when e.g. dealing with types, which show up pretty much everywhere in the ast.

The crate defines two traits:

Structs

AstVisitableWrapper

Implementation detail: wrapper that implements Visit[Mut]<T> for T: #trait_name, and delegates all the visiting to our trait’s drive[_mut]. Used in the implementation of visit_inner

BodyVisitableWrapper

Implementation detail: wrapper that implements Visit[Mut]<T> for T: #trait_name, and delegates all the visiting to our trait’s drive[_mut]. Used in the implementation of visit_inner

DynVisitor

Ast and body visitor that uses dynamic dispatch to call the provided function on the visited values of the right type.

Traits

AstVisitable

An overrideable visitor trait that can be used to conveniently traverse the whole contents of an item. This is useful when e.g. dealing with types, which show up pretty much everywhere in the ast.

BodyVisitable

A smaller visitor group just for function bodies. This explores statements, places and operands, but does not recurse into types.

VisitAst

VisitAstMut

VisitBody

VisitBodyMut