Struct rustc_passes::stability::Annotator
source · struct Annotator<'a, 'tcx> {
tcx: TyCtxt<'tcx>,
index: &'a mut Index,
parent_stab: Option<Stability>,
parent_const_stab: Option<ConstStability>,
parent_depr: Option<DeprecationEntry>,
in_trait_impl: bool,
}
Expand description
A private tree-walker for producing an Index
.
Fields
tcx: TyCtxt<'tcx>
index: &'a mut Index
parent_stab: Option<Stability>
parent_const_stab: Option<ConstStability>
parent_depr: Option<DeprecationEntry>
in_trait_impl: bool
Implementations
sourceimpl<'a, 'tcx> Annotator<'a, 'tcx>
impl<'a, 'tcx> Annotator<'a, 'tcx>
sourcefn annotate<F>(
&mut self,
def_id: LocalDefId,
item_sp: Span,
fn_sig: Option<&'tcx FnSig<'tcx>>,
kind: AnnotationKind,
inherit_deprecation: InheritDeprecation,
inherit_const_stability: InheritConstStability,
inherit_from_parent: InheritStability,
visit_children: F
)where
F: FnOnce(&mut Self),
fn annotate<F>(
&mut self,
def_id: LocalDefId,
item_sp: Span,
fn_sig: Option<&'tcx FnSig<'tcx>>,
kind: AnnotationKind,
inherit_deprecation: InheritDeprecation,
inherit_const_stability: InheritConstStability,
inherit_from_parent: InheritStability,
visit_children: F
)where
F: FnOnce(&mut Self),
Determine the stability for a node based on its attributes and inherited stability. The
stability is recorded in the index and used as the parent. If the node is a function,
fn_sig
is its signature.
fn recurse_with_stability_attrs(
&mut self,
depr: Option<DeprecationEntry>,
stab: Option<Stability>,
const_stab: Option<ConstStability>,
f: impl FnOnce(&mut Self)
)
Trait Implementations
sourceimpl<'a, 'tcx> Visitor<'tcx> for Annotator<'a, 'tcx>
impl<'a, 'tcx> Visitor<'tcx> for Annotator<'a, 'tcx>
type NestedFilter = All
type NestedFilter = All
Because stability levels are scoped lexically, we want to walk nested items in the context of the outer item, so enable deep-walking.
sourcefn 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. Read moresourcefn visit_item(&mut self, i: &'tcx Item<'tcx>)
fn visit_item(&mut self, i: &'tcx Item<'tcx>)
Visits the top-level item and (optionally) nested items / impl items. See
visit_nested_item
for details. Read morefn visit_trait_item(&mut self, ti: &'tcx TraitItem<'tcx>)
fn visit_impl_item(&mut self, ii: &'tcx ImplItem<'tcx>)
fn visit_variant(&mut self, var: &'tcx Variant<'tcx>)
fn visit_field_def(&mut self, s: &'tcx FieldDef<'tcx>)
fn visit_foreign_item(&mut self, i: &'tcx ForeignItem<'tcx>)
fn visit_generic_param(&mut self, p: &'tcx GenericParam<'tcx>)
type Map = <Self::NestedFilter as NestedFilter<'v>>::Map
sourcefn visit_nested_item(&mut self, id: ItemId)
fn visit_nested_item(&mut self, id: ItemId)
Invoked when a nested item is encountered. By default, when
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)
Like
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)
Like
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)
Like
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)
Invoked to visit the body of a function, method or closure. Like
visit_nested_item
, does nothing by default unless you override
Self::NestedFilter
. Read morefn visit_param(&mut self, param: &'v Param<'v>)
fn 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_mod(&mut self, m: &'v Mod<'v>, _s: Span, n: HirId)
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_expr(&mut self, ex: &'v Expr<'v>)
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_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_use(&mut self, path: &'v Path<'v>, hir_id: HirId)
fn visit_trait_item_ref(&mut self, ii: &'v TraitItemRef)
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_enum_def(&mut self, enum_definition: &'v EnumDef<'v>, item_id: HirId)
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(&mut self, path: &'v Path<'v>, _id: HirId)
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<'a, 'tcx> !RefUnwindSafe for Annotator<'a, 'tcx>
impl<'a, 'tcx> !Send for Annotator<'a, 'tcx>
impl<'a, 'tcx> !Sync for Annotator<'a, 'tcx>
impl<'a, 'tcx> Unpin for Annotator<'a, 'tcx>
impl<'a, 'tcx> !UnwindSafe for Annotator<'a, '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
Mutably borrows from an owned value. Read more
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: 88 bytes