Struct rustc_expand::expand::InvocationCollector

struct InvocationCollector<'a, 'b> {
    cx: &'a mut ExtCtxt<'b>,
    cfg: StripUnconfigured<'a>,
    invocations: Vec<(Invocation, Option<Lrc<SyntaxExtension>>)>,
    monotonic: bool,
}

Fields

cx: &'a mut ExtCtxt<'b>

cfg: StripUnconfigured<'a>

invocations: Vec<(Invocation, Option<Lrc<SyntaxExtension>>)>

monotonic: bool

Implementations

impl<'a, 'b> InvocationCollector<'a, 'b>

fn collect(
    &mut self,
    fragment_kind: AstFragmentKind,
    kind: InvocationKind
) -> AstFragment

fn collect_bang(
    &mut self,
    mac: MacCall,
    span: Span,
    kind: AstFragmentKind
) -> AstFragment

fn collect_attr(
    &mut self,
    (attr, pos, derives): (Attribute, usize, Vec<Path>),
    item: Annotatable,
    kind: AstFragmentKind
) -> AstFragment

fn take_first_attr(
    &mut self,
    item: &mut impl AstLike
) -> Option<(Attribute, usize, Vec<Path>)>

If item is an attribute invocation, remove the attribute and return it together with its position and derives following it. We have to collect the derives in order to resolve legacy derive helpers (helpers written before derives that introduce them).

fn configure<T: AstLike>(&mut self, node: T) -> Option<T>

fn check_attributes(&mut self, attrs: &[Attribute])

Trait Implementations

impl<'a, 'b> MutVisitor for InvocationCollector<'a, 'b>

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

fn flat_map_arm(&mut self, arm: Arm) -> SmallVec<[Arm; 1]>

fn flat_map_expr_field(&mut self, field: ExprField) -> SmallVec<[ExprField; 1]>

fn flat_map_pat_field(&mut self, fp: PatField) -> SmallVec<[PatField; 1]>

fn flat_map_param(&mut self, p: Param) -> SmallVec<[Param; 1]>

fn flat_map_field_def(&mut self, sf: FieldDef) -> SmallVec<[FieldDef; 1]>

fn flat_map_variant(&mut self, variant: Variant) -> SmallVec<[Variant; 1]>

fn filter_map_expr(&mut self, expr: P<Expr>) -> Option<P<Expr>>

fn visit_pat(&mut self, pat: &mut P<Pat>)

fn flat_map_stmt(&mut self, stmt: Stmt) -> SmallVec<[Stmt; 1]>

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

fn flat_map_item(&mut self, item: P<Item>) -> SmallVec<[P<Item>; 1]>

fn flat_map_trait_item(
    &mut self,
    item: P<AssocItem>
) -> SmallVec<[P<AssocItem>; 1]>

fn flat_map_impl_item(
    &mut self,
    item: P<AssocItem>
) -> SmallVec<[P<AssocItem>; 1]>

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

fn flat_map_foreign_item(
    &mut self,
    foreign_item: P<ForeignItem>
) -> SmallVec<[P<ForeignItem>; 1]>

fn flat_map_generic_param(
    &mut self,
    param: GenericParam
) -> SmallVec<[GenericParam; 1]>

fn visit_attribute(&mut self, at: &mut Attribute)

fn visit_id(&mut self, id: &mut NodeId)

pub fn token_visiting_enabled(&self) -> bool

Mutable token visiting only exists for the macro_rules token marker and should not be used otherwise. Token visitor would be entirely separate from the regular visitor if the marker didn’t have to visit AST fragments in nonterminal tokens.

pub fn visit_crate(&mut self, c: &mut Crate)

pub fn visit_meta_list_item(&mut self, list_item: &mut NestedMetaItem)

pub fn visit_meta_item(&mut self, meta_item: &mut MetaItem)

pub fn visit_use_tree(&mut self, use_tree: &mut UseTree)

pub fn visit_fn_header(&mut self, header: &mut FnHeader)

pub fn visit_item_kind(&mut self, i: &mut ItemKind)

pub fn visit_fn_decl(&mut self, d: &mut P<FnDecl>)

pub fn visit_asyncness(&mut self, a: &mut Async)

pub fn visit_anon_const(&mut self, c: &mut AnonConst)

pub fn visit_generic_arg(&mut self, arg: &mut GenericArg)

pub fn visit_lifetime(&mut self, l: &mut Lifetime)

pub fn visit_ty_constraint(&mut self, t: &mut AssocTyConstraint)

pub fn visit_foreign_mod(&mut self, nm: &mut ForeignMod)

pub fn visit_ident(&mut self, i: &mut Ident)

pub fn visit_path(&mut self, p: &mut Path)

pub fn visit_qself(&mut self, qs: &mut Option<QSelf>)

pub fn visit_generic_args(&mut self, p: &mut GenericArgs)

pub fn visit_angle_bracketed_parameter_data(
    &mut self,
    p: &mut AngleBracketedArgs
)

pub fn visit_parenthesized_parameter_data(&mut self, p: &mut ParenthesizedArgs)

pub fn visit_local(&mut self, l: &mut P<Local>)

pub fn visit_mac_call(&mut self, mac: &mut MacCall)

pub fn visit_macro_def(&mut self, def: &mut MacroDef)

pub fn visit_label(&mut self, label: &mut Label)

pub fn visit_generics(&mut self, generics: &mut Generics)

pub fn visit_trait_ref(&mut self, tr: &mut TraitRef)

pub fn visit_poly_trait_ref(&mut self, p: &mut PolyTraitRef)

pub fn visit_variant_data(&mut self, vdata: &mut VariantData)

pub fn visit_param_bound(&mut self, tpb: &mut GenericBound)

pub fn visit_mt(&mut self, mt: &mut MutTy)

pub fn visit_where_clause(&mut self, where_clause: &mut WhereClause)

pub fn visit_where_predicate(&mut self, where_predicate: &mut WherePredicate)

pub fn visit_vis(&mut self, vis: &mut Visibility)

pub fn visit_span(&mut self, _sp: &mut Span)