Struct rustc_expand::config::StripUnconfigured

pub struct StripUnconfigured<'a> {
    pub sess: &'a Session,
    pub features: Option<&'a Features>,
}

A folder that strips out items that do not belong in the current configuration.

Fields

sess: &'a Session

features: Option<&'a Features>

Implementations

impl<'a> StripUnconfigured<'a>

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

pub fn process_cfg_attrs<T: HasAttrs>(&mut self, node: &mut T)

Parse and expand all cfg_attr attributes into a list of attributes that are within each cfg_attr that has a true configuration predicate.

Gives compiler warnings if any cfg_attr does not contain any attributes and is in the original source code. Gives compiler errors if the syntax of any cfg_attr is incorrect.

pub(in config) fn process_cfg_attr(
    &mut self,
    attr: Attribute
) -> Vec<Attribute>

Parse and expand a single cfg_attr attribute into a list of attributes when the configuration predicate is true, or otherwise expand into an empty list of attributes.

Gives a compiler warning when the cfg_attr contains no attributes and is in the original source file. Gives a compiler error if the syntax of the attribute is incorrect.

pub(in config) fn parse_cfg_attr(
    &self,
    attr: &Attribute
) -> Option<(MetaItem, Vec<(AttrItem, Span)>)>

pub(in config) fn error_malformed_cfg_attr_missing(
    &self,
    span: Span
)

pub fn in_cfg(&self, attrs: &[Attribute]) -> bool

Determines if a node with the given attributes should be included in this configuration.

pub(in config) fn visit_expr_attrs(
    &mut self,
    attrs: &[Attribute]
)

Visit attributes on expression and statements (but not attributes on items in blocks).

pub fn maybe_emit_expr_attr_err(&self, attr: &Attribute)

If attributes are not allowed on expressions, emit an error for attr

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

pub(in config) fn configure_variant_data(
    &mut self,
    vdata: &mut VariantData
)

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

pub fn configure_expr_kind(&mut self, expr_kind: &mut ExprKind)

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

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

pub fn configure_fn_decl(&mut self, fn_decl: &mut FnDecl)

pub fn fully_configure(&mut self, item: Annotatable) -> Annotatable

Trait Implementations

impl<'a> MutVisitor for StripUnconfigured<'a>

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

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

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

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

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

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

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

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

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

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

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 flat_map_foreign_item(
    &mut self,
    ni: P<Item<ForeignItemKind>>
) -> SmallVec<[P<Item<ForeignItemKind>>; 1]>

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

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

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

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

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

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

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

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

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 flat_map_variant(&mut self, v: Variant) -> SmallVec<[Variant; 1]>

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_attribute(&mut self, at: &mut Attribute)

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

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 flat_map_field(&mut self, f: Field) -> SmallVec<[Field; 1]>

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_id(&mut self, _id: &mut NodeId)

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

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