]>
Commit | Line | Data |
---|---|---|
a2a8927a XL |
1 | use rustc_ast::{Attribute, MetaItem}; |
2 | use rustc_expand::base::{Annotatable, ExtCtxt}; | |
60c5eb7d | 3 | use rustc_feature::AttributeTemplate; |
a2a8927a | 4 | use rustc_lint_defs::builtin::DUPLICATE_MACRO_ATTRIBUTES; |
dfeec247 XL |
5 | use rustc_parse::validate_attr; |
6 | use rustc_span::Symbol; | |
e74abb32 XL |
7 | |
8 | pub fn check_builtin_macro_attribute(ecx: &ExtCtxt<'_>, meta_item: &MetaItem, name: Symbol) { | |
9 | // All the built-in macro attributes are "words" at the moment. | |
ba9703b0 | 10 | let template = AttributeTemplate { word: true, ..Default::default() }; |
e74abb32 | 11 | let attr = ecx.attribute(meta_item.clone()); |
3dfed10e | 12 | validate_attr::check_builtin_attribute(&ecx.sess.parse_sess, &attr, name, template); |
e74abb32 | 13 | } |
a2a8927a XL |
14 | |
15 | /// Emit a warning if the item is annotated with the given attribute. This is used to diagnose when | |
16 | /// an attribute may have been mistakenly duplicated. | |
17 | pub fn warn_on_duplicate_attribute(ecx: &ExtCtxt<'_>, item: &Annotatable, name: Symbol) { | |
18 | let attrs: Option<&[Attribute]> = match item { | |
19 | Annotatable::Item(item) => Some(&item.attrs), | |
20 | Annotatable::TraitItem(item) => Some(&item.attrs), | |
21 | Annotatable::ImplItem(item) => Some(&item.attrs), | |
22 | Annotatable::ForeignItem(item) => Some(&item.attrs), | |
23 | Annotatable::Expr(expr) => Some(&expr.attrs), | |
24 | Annotatable::Arm(arm) => Some(&arm.attrs), | |
25 | Annotatable::ExprField(field) => Some(&field.attrs), | |
26 | Annotatable::PatField(field) => Some(&field.attrs), | |
27 | Annotatable::GenericParam(param) => Some(¶m.attrs), | |
28 | Annotatable::Param(param) => Some(¶m.attrs), | |
29 | Annotatable::FieldDef(def) => Some(&def.attrs), | |
30 | Annotatable::Variant(variant) => Some(&variant.attrs), | |
31 | _ => None, | |
32 | }; | |
33 | if let Some(attrs) = attrs { | |
34 | if let Some(attr) = ecx.sess.find_by_name(attrs, name) { | |
35 | ecx.parse_sess().buffer_lint( | |
36 | DUPLICATE_MACRO_ATTRIBUTES, | |
37 | attr.span, | |
38 | ecx.current_expansion.lint_node_id, | |
39 | "duplicated attribute", | |
40 | ); | |
41 | } | |
42 | } | |
43 | } |