Struct rustc_middle::hir::map::collector::NodeCollector

pub(super) struct NodeCollector<'a, 'hir> {
    arena: &'hir Arena<'hir>,
    krate: &'hir Crate<'hir>,
    source_map: &'a SourceMap,
    map: IndexVec<LocalDefId, HirOwnerData<'hir>>,
    parenting: FxHashMap<LocalDefId, HirId>,
    parent_node: HirId,
    current_dep_node_owner: LocalDefId,
    definitions: &'a Definitions,
    hcx: StableHashingContext<'a>,
}

A visitor that walks over the HIR and collects Nodes into a HIR map.

Fields

arena: &'hir Arena<'hir>

krate: &'hir Crate<'hir>

The crate

source_map: &'a SourceMap

Source map

map: IndexVec<LocalDefId, HirOwnerData<'hir>>

parenting: FxHashMap<LocalDefId, HirId>

parent_node: HirId

The parent of this node

current_dep_node_owner: LocalDefId

definitions: &'a Definitions

hcx: StableHashingContext<'a>

Implementations

impl<'a, 'hir> NodeCollector<'a, 'hir>

pub(super) fn root(
    sess: &'a Session,
    arena: &'hir Arena<'hir>,
    krate: &'hir Crate<'hir>,
    definitions: &'a Definitions,
    hcx: StableHashingContext<'a>
) -> NodeCollector<'a, 'hir>

pub(super) fn finalize_and_compute_crate_hash(self) -> IndexedHir<'hir>

fn insert_entry(&mut self, id: HirId, entry: Entry<'hir>, hash: Fingerprint)

fn insert(&mut self, span: Span, hir_id: HirId, node: Node<'hir>)

fn insert_with_hash(
    &mut self,
    span: Span,
    hir_id: HirId,
    node: Node<'hir>,
    hash: Fingerprint
)

fn with_parent<F: FnOnce(&mut Self)>(&mut self, parent_node_id: HirId, f: F)

fn with_dep_node_owner<T: for<'b> HashStable<StableHashingContext<'b>>, F: FnOnce(&mut Self, Fingerprint)>(
    &mut self,
    dep_node_owner: LocalDefId,
    item_like: &T,
    f: F
)

fn insert_nested(&mut self, item: LocalDefId)

Trait Implementations

impl<'a, 'hir> Visitor<'hir> for NodeCollector<'a, 'hir>

fn nested_visit_map(&mut self) -> NestedVisitorMap<Self::Map>

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.

type Map = Map<'hir>

fn visit_nested_item(&mut self, item: ItemId)

Invoked when a nested item is encountered. By default does nothing unless you override nested_visit_map to return other than None, in which case it will walk the item. You probably don’t want to override this method – instead, override nested_visit_map 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.

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.

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.

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.

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 nested_visit_map to return other than None, in which case it will walk the body.

fn visit_param(&mut self, param: &'hir Param<'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 AnonConst)

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_arm(&mut self, arm: &'hir Arm<'hir>)

fn visit_anon_const(&mut self, constant: &'hir AnonConst)

fn visit_expr(&mut self, expr: &'hir Expr<'hir>)

fn visit_stmt(&mut self, stmt: &'hir Stmt<'hir>)

fn visit_path_segment(
    &mut self,
    path_span: Span,
    path_segment: &'hir PathSegment<'hir>
)

fn visit_ty(&mut self, ty: &'hir Ty<'hir>)

fn visit_trait_ref(&mut self, tr: &'hir TraitRef<'hir>)

fn visit_fn(
    &mut self,
    fk: FnKind<'hir>,
    fd: &'hir FnDecl<'hir>,
    b: BodyId,
    s: Span,
    id: HirId
)

fn visit_block(&mut self, block: &'hir Block<'hir>)

fn visit_local(&mut self, l: &'hir Local<'hir>)

fn visit_lifetime(&mut self, lifetime: &'hir Lifetime)

fn visit_vis(&mut self, visibility: &'hir Visibility<'hir>)

fn visit_macro_def(&mut self, macro_def: &'hir MacroDef<'hir>)

fn visit_variant(
    &mut self,
    v: &'hir Variant<'hir>,
    g: &'hir Generics<'hir>,
    item_id: HirId
)

fn visit_field_def(&mut self, field: &'hir FieldDef<'hir>)

fn visit_trait_item_ref(&mut self, ii: &'hir TraitItemRef)

fn visit_impl_item_ref(&mut self, ii: &'hir ImplItemRef<'hir>)

fn visit_foreign_item_ref(&mut self, fi: &'hir ForeignItemRef<'hir>)

fn visit_body(&mut self, b: &'v Body<'v>)

fn as_deep_visitor(&mut self) -> DeepVisitor<'_, Self>

When invoking visit_all_item_likes(), you need to supply an item-like visitor. This method converts a “intra-visit” visitor into an item-like visitor that walks the entire tree. If you use this, you probably don’t want to process the contents of nested item-like things, since the outer loop will visit them as well.

fn visit_id(&mut self, _hir_id: HirId)

fn visit_name(&mut self, _span: Span, _name: Symbol)

fn visit_ident(&mut self, ident: Ident)

fn visit_mod(&mut self, m: &'v Mod<'v>, _s: Span, n: HirId)

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_use(&mut self, path: &'v Path<'v>, hir_id: HirId)

fn visit_param_bound(&mut self, bounds: &'v GenericBound<'v>)

fn visit_poly_trait_ref(
    &mut self,
    t: &'v PolyTraitRef<'v>,
    m: TraitBoundModifier
)

fn visit_variant_data(
    &mut self,
    s: &'v VariantData<'v>,
    Symbol,
    &'v Generics<'v>,
    _parent_id: HirId,
    Span
)

fn visit_enum_def(
    &mut self,
    enum_definition: &'v EnumDef<'v>,
    generics: &'v Generics<'v>,
    item_id: HirId,
    Span
)

fn visit_label(&mut self, label: &'v Label)

fn visit_generic_arg(&mut self, generic_arg: &'v GenericArg<'v>)

fn visit_qpath(&mut self, qpath: &'v QPath<'v>, id: HirId, span: Span)

fn visit_path(&mut self, path: &'v Path<'v>, _id: HirId)

fn visit_generic_args(
    &mut self,
    path_span: Span,
    generic_args: &'v GenericArgs<'v>
)

fn visit_assoc_type_binding(&mut self, type_binding: &'v TypeBinding<'v>)

fn visit_attribute(&mut self, _id: HirId, _attr: &'v Attribute)

fn visit_associated_item_kind(&mut self, kind: &'v AssocItemKind)

fn visit_defaultness(&mut self, defaultness: &'v Defaultness)