Struct rustc_expand::expand::InvocationCollector

pub(in expand) 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>

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

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

pub(in expand) fn collect_attr(
    &mut self,
    (attr, derives, after_derive): (Option<Attribute>, Vec<Path>, bool),
    item: Annotatable,
    kind: AstFragmentKind
) -> AstFragment

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

pub(in expand) fn take_first_attr(
    &mut self,
    item: &mut impl HasAttrs
) -> Option<(Option<Attribute>, Vec<Path>, bool)>

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

pub(in expand) fn take_first_attr_no_derive(
    &mut self,
    nonitem: &mut impl HasAttrs
) -> Option<(Option<Attribute>, Vec<Path>, bool)>

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

pub(in expand) fn configure<T: HasAttrs>(
    &mut self,
    node: T
) -> Option<T>

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

Trait Implementations

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

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

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

pub fn flat_map_field(&mut self, field: Field) -> SmallVec<[Field; 1]>

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

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

pub fn flat_map_struct_field(
    &mut self,
    sf: StructField
) -> SmallVec<[StructField; 1]>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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_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_mod(&mut self, m: &mut Mod)

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)