Struct rustc_ast_lowering::index::NodeCollector
source · struct NodeCollector<'a, 'hir> {
tcx: TyCtxt<'hir>,
bodies: &'a SortedMap<ItemLocalId, &'hir Body<'hir>>,
nodes: IndexVec<ItemLocalId, ParentedNode<'hir>>,
parenting: LocalDefIdMap<ItemLocalId>,
parent_node: ItemLocalId,
owner: OwnerId,
}
Expand description
A visitor that walks over the HIR and collects Node
s into a HIR map.
Fields§
§tcx: TyCtxt<'hir>
§bodies: &'a SortedMap<ItemLocalId, &'hir Body<'hir>>
§nodes: IndexVec<ItemLocalId, ParentedNode<'hir>>
Outputs
parenting: LocalDefIdMap<ItemLocalId>
§parent_node: ItemLocalId
The parent of this node
owner: OwnerId
Implementations§
source§impl<'a, 'hir> NodeCollector<'a, 'hir>
impl<'a, 'hir> NodeCollector<'a, 'hir>
fn insert(&mut self, span: Span, hir_id: HirId, node: Node<'hir>)
fn with_parent<F: FnOnce(&mut Self)>(&mut self, parent_node_id: HirId, f: F)
fn insert_nested(&mut self, item: LocalDefId)
Trait Implementations§
source§impl<'a, 'hir> Visitor<'hir> for NodeCollector<'a, 'hir>
impl<'a, 'hir> Visitor<'hir> for NodeCollector<'a, 'hir>
source§fn visit_nested_item(&mut self, item: ItemId)
fn visit_nested_item(&mut self, item: ItemId)
Because we want to track parent items and so forth, enable deep walking so that we walk nested items in the context of their outer items.
source§fn visit_nested_trait_item(&mut self, item_id: TraitItemId)
fn visit_nested_trait_item(&mut self, item_id: TraitItemId)
Like
visit_nested_item()
, but for trait items. See
visit_nested_item()
for advice on when to override this
method.source§fn visit_nested_impl_item(&mut self, item_id: ImplItemId)
fn visit_nested_impl_item(&mut self, item_id: ImplItemId)
Like
visit_nested_item()
, but for impl items. See
visit_nested_item()
for advice on when to override this
method.source§fn visit_nested_foreign_item(&mut self, foreign_id: ForeignItemId)
fn visit_nested_foreign_item(&mut self, foreign_id: ForeignItemId)
Like
visit_nested_item()
, but for foreign items. See
visit_nested_item()
for advice on when to override this
method.source§fn visit_nested_body(&mut self, id: BodyId)
fn visit_nested_body(&mut self, id: BodyId)
Invoked to visit the body of a function, method or closure. Like
visit_nested_item
, does nothing by default unless you override
Self::NestedFilter
.fn visit_param(&mut self, param: &'hir Param<'hir>)
source§fn visit_item(&mut self, i: &'hir Item<'hir>)
fn visit_item(&mut self, i: &'hir Item<'hir>)
Visits the top-level item and (optionally) nested items / impl items. See
visit_nested_item
for details.fn visit_foreign_item(&mut self, fi: &'hir ForeignItem<'hir>)
fn visit_generic_param(&mut self, param: &'hir GenericParam<'hir>)
fn visit_const_param_default(&mut self, param: HirId, ct: &'hir ConstArg<'hir>)
fn visit_trait_item(&mut self, ti: &'hir TraitItem<'hir>)
fn visit_impl_item(&mut self, ii: &'hir ImplItem<'hir>)
fn visit_pat(&mut self, pat: &'hir Pat<'hir>)
fn visit_pat_field(&mut self, field: &'hir PatField<'hir>)
fn visit_arm(&mut self, arm: &'hir Arm<'hir>)
fn visit_anon_const(&mut self, constant: &'hir AnonConst)
fn visit_inline_const(&mut self, constant: &'hir ConstBlock)
fn visit_const_arg(&mut self, const_arg: &'hir ConstArg<'hir>)
fn visit_expr(&mut self, expr: &'hir Expr<'hir>)
fn visit_expr_field(&mut self, field: &'hir ExprField<'hir>)
fn visit_stmt(&mut self, stmt: &'hir Stmt<'hir>)
fn visit_path_segment(&mut self, path_segment: &'hir PathSegment<'hir>)
fn visit_ty(&mut self, ty: &'hir Ty<'hir>)
fn visit_infer(&mut self, inf: &'hir InferArg)
fn visit_trait_ref(&mut self, tr: &'hir TraitRef<'hir>)
fn visit_block(&mut self, block: &'hir Block<'hir>)
fn visit_local(&mut self, l: &'hir LetStmt<'hir>)
fn visit_lifetime(&mut self, lifetime: &'hir Lifetime)
fn visit_variant(&mut self, v: &'hir Variant<'hir>)
fn visit_field_def(&mut self, field: &'hir FieldDef<'hir>)
fn visit_assoc_item_constraint( &mut self, constraint: &'hir AssocItemConstraint<'hir>, )
fn visit_trait_item_ref(&mut self, ii: &'hir TraitItemRef)
fn visit_impl_item_ref(&mut self, ii: &'hir ImplItemRef)
fn visit_foreign_item_ref(&mut self, fi: &'hir ForeignItemRef)
fn visit_where_predicate(&mut self, predicate: &'hir WherePredicate<'hir>)
fn visit_array_length(&mut self, len: &'hir ArrayLen<'hir>)
fn visit_pattern_type_pattern(&mut self, p: &'hir Pat<'hir>)
fn visit_precise_capturing_arg( &mut self, arg: &'hir PreciseCapturingArg<'hir>, ) -> Self::Result
type Map = <Self::NestedFilter as NestedFilter<'v>>::Map
source§type NestedFilter = None
type NestedFilter = None
Override this type to control which nested HIR are visited; see
NestedFilter
for details. If you override this type, you
must also override nested_visit_map
. Read moresource§fn nested_visit_map(&mut self) -> Self::Map
fn nested_visit_map(&mut self) -> Self::Map
If
type NestedFilter
is set to visit nested items, this method
must also be overridden to provide a map to retrieve nested items.fn visit_body(&mut self, b: &Body<'v>) -> Self::Result
fn visit_id(&mut self, _hir_id: HirId) -> Self::Result
fn visit_name(&mut self, _name: Symbol) -> Self::Result
fn visit_ident(&mut self, ident: Ident) -> Self::Result
fn visit_mod(&mut self, m: &'v Mod<'v>, _s: Span, n: HirId) -> Self::Result
fn visit_generics(&mut self, g: &'v Generics<'v>) -> Self::Result
fn visit_fn_ret_ty(&mut self, ret_ty: &'v FnRetTy<'v>) -> Self::Result
fn visit_fn_decl(&mut self, fd: &'v FnDecl<'v>) -> Self::Result
fn visit_fn( &mut self, fk: FnKind<'v>, fd: &'v FnDecl<'v>, b: BodyId, _: Span, id: LocalDefId, ) -> Self::Result
fn visit_use( &mut self, path: &'v Path<'v, SmallVec<[Res; 3]>>, hir_id: HirId, ) -> Self::Result
fn visit_param_bound(&mut self, bounds: &'v GenericBound<'v>) -> Self::Result
fn visit_poly_trait_ref(&mut self, t: &'v PolyTraitRef<'v>) -> Self::Result
fn visit_variant_data(&mut self, s: &'v VariantData<'v>) -> Self::Result
fn visit_enum_def( &mut self, enum_definition: &'v EnumDef<'v>, item_id: HirId, ) -> Self::Result
fn visit_label(&mut self, label: &'v Label) -> Self::Result
fn visit_generic_arg(&mut self, generic_arg: &'v GenericArg<'v>) -> Self::Result
fn visit_qpath( &mut self, qpath: &'v QPath<'v>, id: HirId, _span: Span, ) -> Self::Result
fn visit_path(&mut self, path: &Path<'v>, _id: HirId) -> Self::Result
fn visit_generic_args( &mut self, generic_args: &'v GenericArgs<'v>, ) -> Self::Result
fn visit_attribute(&mut self, _attr: &'v Attribute) -> Self::Result
fn visit_associated_item_kind( &mut self, kind: &'v AssocItemKind, ) -> Self::Result
fn visit_defaultness(&mut self, defaultness: &'v Defaultness) -> Self::Result
fn visit_inline_asm( &mut self, asm: &'v InlineAsm<'v>, id: HirId, ) -> Self::Result
Auto Trait Implementations§
impl<'a, 'hir> Freeze for NodeCollector<'a, 'hir>
impl<'a, 'hir> !RefUnwindSafe for NodeCollector<'a, 'hir>
impl<'a, 'hir> !Send for NodeCollector<'a, 'hir>
impl<'a, 'hir> !Sync for NodeCollector<'a, 'hir>
impl<'a, 'hir> Unpin for NodeCollector<'a, 'hir>
impl<'a, 'hir> !UnwindSafe for NodeCollector<'a, 'hir>
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
source§impl<T> Filterable for T
impl<T> Filterable for T
source§fn filterable(
self,
filter_name: &'static str,
) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
Creates a filterable data provider with the given name for debugging. Read more
source§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§impl<P> IntoQueryParam<P> for P
impl<P> IntoQueryParam<P> for P
fn into_query_param(self) -> P
source§impl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
source§impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
source§impl<I, T> UpcastFrom<I, T> for T
impl<I, T> UpcastFrom<I, T> for T
fn upcast_from(from: T, _tcx: I) -> T
source§impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
default fn from_cycle_error( tcx: Tcx, cycle_error: &CycleError, _guar: ErrorGuaranteed, ) -> T
source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
impl<T> ErasedDestructor for Twhere
T: 'static,
impl<T> MaybeSendSync for T
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: 80 bytes