Struct rustc_expand::expand::InvocationCollector

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

Fields

cx: &'a mut ExtCtxt<'b>

cfg: StripUnconfigured<'a>

invocations: Vec<(Invocation, Option<InvocationRes>)>

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: Option<Attribute>,
    derives: Vec<Path>,
    item: Annotatable,
    kind: AstFragmentKind,
    after_derive: bool
) -> AstFragment

fn find_attr_invoc(
    &self,
    attrs: &mut Vec<Attribute>,
    after_derive: &mut bool
) -> Option<Attribute>

fn classify_item(
    &mut self,
    item: &mut impl HasAttrs
) -> (Option<Attribute>, Vec<Path>, bool)

If item is an attr invocation, remove and return the macro attribute and derive traits.

fn classify_nonitem(
    &mut self,
    nonitem: &mut impl HasAttrs
) -> (Option<Attribute>, bool)

Alternative to classify_item() that ignores #[derive] so invocations fallthrough to the unused-attributes lint (making it an error on statements and expressions is a breaking change)

fn configure<T: HasAttrs>(&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_field(&mut self, field: Field) -> SmallVec<[Field; 1]>

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

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

fn flat_map_struct_field(
    &mut self,
    sf: StructField
) -> SmallVec<[StructField; 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 visit_foreign_mod(&mut self, foreign_mod: &mut ForeignMod)

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

fn visit_item_kind(&mut self, item: &mut ItemKind)

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)

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

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.

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

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

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

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

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

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

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

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

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

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

fn visit_mod(&mut self, m: &mut Mod)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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