OpenE2K/rust
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

syntax::visit: pub walk_explicit_self so impls can call it as defaults do.

Browse Source 
drive-by: added some doc.
This commit is contained in:
Felix S. Klock II 2014-05-12 18:58:23 +02:00
parent 73a68cdba0
commit d6cf0dfbab
1 changed files with 13 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/libsyntax/visit.rs
View File

@ -61,7 +61,17 @@ pub fn generics_of_fn(fk: &FnKind) -> Generics {
} }
} }
/// Each method of the Visitor trait is a hook to be potentially
/// overriden. 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`.
///
/// If you want to ensure that your code handles every variant
/// explicitly, you need to override each method. (And you also need
/// to monitor future changes to `Visitor` in case a new method with a
/// new default implementation gets introduced.)
pub trait Visitor<E: Clone> { pub trait Visitor<E: Clone> {
fn visit_ident(&mut self, _sp: Span, _ident: Ident, _e: E) { fn visit_ident(&mut self, _sp: Span, _ident: Ident, _e: E) {
/*! Visit the idents */ /*! Visit the idents */
} }
@ -179,9 +189,9 @@ pub fn walk_local<E: Clone, V: Visitor<E>>(visitor: &mut V, local: &Local, env:
} }
} }
fn walk_explicit_self<E: Clone, V: Visitor<E>>(visitor: &mut V, pub fn walk_explicit_self<E: Clone, V: Visitor<E>>(visitor: &mut V,
explicit_self: &ExplicitSelf, explicit_self: &ExplicitSelf,
env: E) { env: E) {
match explicit_self.node { match explicit_self.node {
SelfStatic | SelfValue | SelfUniq => {} SelfStatic | SelfValue | SelfUniq => {}
SelfRegion(ref lifetime, _) => { SelfRegion(ref lifetime, _) => {