struct SpanMapVisitor<'tcx> {
pub(crate) tcx: TyCtxt<'tcx>,
pub(crate) matches: FxHashMap<Span, LinkFromSrc>,
}
Fields
tcx: TyCtxt<'tcx>
matches: FxHashMap<Span, LinkFromSrc>
Implementations
sourceimpl<'tcx> SpanMapVisitor<'tcx>
impl<'tcx> SpanMapVisitor<'tcx>
sourcefn handle_path(&mut self, path: &Path<'_>)
fn handle_path(&mut self, path: &Path<'_>)
This function is where we handle hir::Path
elements and add them into the “span map”.
sourcefn handle_macro(&mut self, span: Span) -> bool
fn handle_macro(&mut self, span: Span) -> bool
Adds the macro call into the span map. Returns true
if the span
was inside a macro
expansion, whether or not it was added to the span map.
The idea for the macro support is to check if the current Span
comes from expansion. If
so, we loop until we find the macro definition by using outer_expn_data
in a loop.
Finally, we get the information about the macro itself (span
if “local”, DefId
otherwise) and store it inside the span map.
Trait Implementations
sourceimpl<'tcx> Visitor<'tcx> for SpanMapVisitor<'tcx>
impl<'tcx> Visitor<'tcx> for SpanMapVisitor<'tcx>
type NestedFilter = All
type NestedFilter = All
NestedFilter
for details. If you override this type, you
must also override nested_visit_map
. Read moresourcefn nested_visit_map(&mut self) -> Self::Map
fn nested_visit_map(&mut self) -> Self::Map
type NestedFilter
is set to visit nested items, this method
must also be overridden to provide a map to retrieve nested items. Read morefn visit_path(&mut self, path: &'tcx Path<'tcx>, _id: HirId)
fn visit_mod(&mut self, m: &'tcx Mod<'tcx>, span: Span, id: HirId)
fn visit_expr(&mut self, expr: &'tcx Expr<'tcx>)
fn visit_use(&mut self, path: &'tcx Path<'tcx>, id: HirId)
type Map = <Self::NestedFilter as NestedFilter<'v>>::Map
sourcefn visit_nested_item(&mut self, id: ItemId)
fn visit_nested_item(&mut self, id: ItemId)
Self::NestedFilter
is nested_filter::None
, this method does
nothing. You probably don’t want to override this method –
instead, override Self::NestedFilter
or use the “shallow” or
“deep” visit patterns described on
itemlikevisit::ItemLikeVisitor
. The only reason to override
this method is if you want a nested pattern but cannot supply a
Map
; see nested_visit_map
for advice. Read moresourcefn visit_nested_trait_item(&mut self, id: TraitItemId)
fn visit_nested_trait_item(&mut self, id: TraitItemId)
visit_nested_item()
, but for trait items. See
visit_nested_item()
for advice on when to override this
method. Read moresourcefn visit_nested_impl_item(&mut self, id: ImplItemId)
fn visit_nested_impl_item(&mut self, id: ImplItemId)
visit_nested_item()
, but for impl items. See
visit_nested_item()
for advice on when to override this
method. Read moresourcefn visit_nested_foreign_item(&mut self, id: ForeignItemId)
fn visit_nested_foreign_item(&mut self, id: ForeignItemId)
visit_nested_item()
, but for foreign items. See
visit_nested_item()
for advice on when to override this
method. Read moresourcefn visit_nested_body(&mut self, id: BodyId)
fn visit_nested_body(&mut self, id: BodyId)
visit_nested_item
, does nothing by default unless you override
Self::NestedFilter
. Read morefn visit_param(&mut self, param: &'v Param<'v>)
sourcefn visit_item(&mut self, i: &'v Item<'v>)
fn visit_item(&mut self, i: &'v Item<'v>)
visit_nested_item
for details. Read morefn visit_body(&mut self, b: &'v Body<'v>)
fn visit_id(&mut self, _hir_id: HirId)
fn visit_name(&mut self, _name: Symbol)
fn visit_ident(&mut self, ident: Ident)
fn visit_foreign_item(&mut self, i: &'v ForeignItem<'v>)
fn visit_local(&mut self, l: &'v Local<'v>)
fn visit_block(&mut self, b: &'v Block<'v>)
fn visit_stmt(&mut self, s: &'v Stmt<'v>)
fn visit_arm(&mut self, a: &'v Arm<'v>)
fn visit_pat(&mut self, p: &'v Pat<'v>)
fn visit_pat_field(&mut self, f: &'v PatField<'v>)
fn visit_array_length(&mut self, len: &'v ArrayLen)
fn visit_anon_const(&mut self, c: &'v AnonConst)
fn visit_let_expr(&mut self, lex: &'v Let<'v>)
fn visit_expr_field(&mut self, field: &'v ExprField<'v>)
fn visit_ty(&mut self, t: &'v Ty<'v>)
fn visit_generic_param(&mut self, p: &'v GenericParam<'v>)
fn visit_const_param_default(&mut self, _param: HirId, ct: &'v AnonConst)
fn visit_generics(&mut self, g: &'v Generics<'v>)
fn visit_where_predicate(&mut self, predicate: &'v WherePredicate<'v>)
fn visit_fn_decl(&mut self, fd: &'v FnDecl<'v>)
fn visit_fn(
&mut self,
fk: FnKind<'v>,
fd: &'v FnDecl<'v>,
b: BodyId,
Span,
id: HirId
)
fn visit_trait_item(&mut self, ti: &'v TraitItem<'v>)
fn visit_trait_item_ref(&mut self, ii: &'v TraitItemRef)
fn visit_impl_item(&mut self, ii: &'v ImplItem<'v>)
fn visit_foreign_item_ref(&mut self, ii: &'v ForeignItemRef)
fn visit_impl_item_ref(&mut self, ii: &'v ImplItemRef)
fn visit_trait_ref(&mut self, t: &'v TraitRef<'v>)
fn visit_param_bound(&mut self, bounds: &'v GenericBound<'v>)
fn visit_poly_trait_ref(&mut self, t: &'v PolyTraitRef<'v>)
fn visit_variant_data(&mut self, s: &'v VariantData<'v>)
fn visit_field_def(&mut self, s: &'v FieldDef<'v>)
fn visit_enum_def(&mut self, enum_definition: &'v EnumDef<'v>, item_id: HirId)
fn visit_variant(&mut self, v: &'v Variant<'v>)
fn visit_label(&mut self, label: &'v Label)
fn visit_infer(&mut self, inf: &'v InferArg)
fn visit_generic_arg(&mut self, generic_arg: &'v GenericArg<'v>)
fn visit_lifetime(&mut self, lifetime: &'v Lifetime)
fn visit_qpath(&mut self, qpath: &'v QPath<'v>, id: HirId, _span: Span)
fn visit_path_segment(&mut self, path_segment: &'v PathSegment<'v>)
fn visit_generic_args(&mut self, generic_args: &'v GenericArgs<'v>)
fn visit_assoc_type_binding(&mut self, type_binding: &'v TypeBinding<'v>)
fn visit_attribute(&mut self, _attr: &'v Attribute)
fn visit_associated_item_kind(&mut self, kind: &'v AssocItemKind)
fn visit_defaultness(&mut self, defaultness: &'v Defaultness)
fn visit_inline_asm(&mut self, asm: &'v InlineAsm<'v>, id: HirId)
Auto Trait Implementations
impl<'tcx> !RefUnwindSafe for SpanMapVisitor<'tcx>
impl<'tcx> !Send for SpanMapVisitor<'tcx>
impl<'tcx> !Sync for SpanMapVisitor<'tcx>
impl<'tcx> Unpin for SpanMapVisitor<'tcx>
impl<'tcx> !UnwindSafe for SpanMapVisitor<'tcx>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
sourceimpl<T> Instrument for T
impl<T> Instrument for T
sourcefn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
sourcefn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
impl<V, T> VZip<V> for Twhere
V: MultiLane<T>,
impl<V, T> VZip<V> for Twhere
V: MultiLane<T>,
fn vzip(self) -> V
sourceimpl<T> WithSubscriber for T
impl<T> WithSubscriber for T
sourcefn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where
S: Into<Dispatch>,
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where
S: Into<Dispatch>,
sourcefn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
Layout
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.
Size: 40 bytes