2014-02-11 22:43:23 -08:00
|
|
|
// Copyright 2012-2014 The Rust Project Developers. See the COPYRIGHT
|
2012-12-03 16:48:01 -08:00
|
|
|
// file at the top-level directory of this distribution and at
|
|
|
|
// http://rust-lang.org/COPYRIGHT.
|
|
|
|
//
|
|
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
|
|
// option. This file may not be copied, modified, or distributed
|
|
|
|
// except according to those terms.
|
|
|
|
|
2017-03-16 10:23:33 +00:00
|
|
|
use ast::{self, Block, Ident, NodeId, PatKind, Path};
|
2017-03-08 23:13:35 +00:00
|
|
|
use ast::{MacStmtStyle, StmtKind, ItemKind};
|
2016-06-22 08:03:42 +00:00
|
|
|
use attr::{self, HasAttrs};
|
2017-09-21 22:37:00 -05:00
|
|
|
use codemap::{ExpnInfo, NameAndSpan, MacroBang, MacroAttribute, dummy_spanned};
|
2016-09-23 07:23:01 +00:00
|
|
|
use config::{is_test_or_bench, StripUnconfigured};
|
2017-03-17 04:04:41 +00:00
|
|
|
use errors::FatalError;
|
2012-09-04 11:37:29 -07:00
|
|
|
use ext::base::*;
|
2017-02-02 07:01:15 +00:00
|
|
|
use ext::derive::{add_derived_markers, collect_derives};
|
2017-03-28 05:32:43 +00:00
|
|
|
use ext::hygiene::{Mark, SyntaxContext};
|
2017-02-01 21:03:09 +10:30
|
|
|
use ext::placeholders::{placeholder, PlaceholderExpander};
|
2017-02-02 07:01:15 +00:00
|
|
|
use feature_gate::{self, Features, is_builtin_attr};
|
2014-07-02 23:16:01 -07:00
|
|
|
use fold;
|
2012-12-23 17:41:37 -05:00
|
|
|
use fold::*;
|
2017-03-29 01:55:01 +00:00
|
|
|
use parse::{DirectoryOwnership, PResult};
|
|
|
|
use parse::token::{self, Token};
|
2016-09-06 17:57:58 +12:00
|
|
|
use parse::parser::Parser;
|
2014-09-13 19:06:01 +03:00
|
|
|
use ptr::P;
|
2017-02-01 21:03:09 +10:30
|
|
|
use symbol::Symbol;
|
2016-11-16 08:21:52 +00:00
|
|
|
use symbol::keywords;
|
2017-12-14 08:09:19 +01:00
|
|
|
use syntax_pos::{Span, DUMMY_SP, FileName};
|
2017-11-14 01:24:36 +02:00
|
|
|
use syntax_pos::hygiene::ExpnFormat;
|
2017-03-29 01:55:01 +00:00
|
|
|
use tokenstream::{TokenStream, TokenTree};
|
2014-09-13 19:06:01 +03:00
|
|
|
use util::small_vector::SmallVector;
|
2016-09-07 23:21:59 +00:00
|
|
|
use visit::Visitor;
|
2011-08-05 13:06:11 -07:00
|
|
|
|
2017-02-02 07:01:15 +00:00
|
|
|
use std::collections::HashMap;
|
2017-09-21 22:37:00 -05:00
|
|
|
use std::fs::File;
|
|
|
|
use std::io::Read;
|
2016-09-02 09:12:47 +00:00
|
|
|
use std::mem;
|
2016-09-01 06:44:54 +00:00
|
|
|
use std::rc::Rc;
|
2017-12-14 08:09:19 +01:00
|
|
|
use std::path::PathBuf;
|
2016-08-31 09:02:45 +00:00
|
|
|
|
2016-08-27 05:27:59 +00:00
|
|
|
macro_rules! expansions {
|
2016-09-02 09:12:47 +00:00
|
|
|
($($kind:ident: $ty:ty [$($vec:ident, $ty_elt:ty)*], $kind_name:expr, .$make:ident,
|
2016-09-07 23:21:59 +00:00
|
|
|
$(.$fold:ident)* $(lift .$fold_elt:ident)*,
|
|
|
|
$(.$visit:ident)* $(lift .$visit_elt:ident)*;)*) => {
|
2016-09-23 09:32:58 +00:00
|
|
|
#[derive(Copy, Clone, PartialEq, Eq)]
|
2016-08-29 05:32:41 +00:00
|
|
|
pub enum ExpansionKind { OptExpr, $( $kind, )* }
|
|
|
|
pub enum Expansion { OptExpr(Option<P<ast::Expr>>), $( $kind($ty), )* }
|
2016-08-27 05:27:59 +00:00
|
|
|
|
|
|
|
impl ExpansionKind {
|
2016-09-23 09:32:58 +00:00
|
|
|
pub fn name(self) -> &'static str {
|
2016-08-27 05:27:59 +00:00
|
|
|
match self {
|
|
|
|
ExpansionKind::OptExpr => "expression",
|
|
|
|
$( ExpansionKind::$kind => $kind_name, )*
|
|
|
|
}
|
|
|
|
}
|
2016-05-24 06:12:54 +00:00
|
|
|
|
2016-08-27 05:27:59 +00:00
|
|
|
fn make_from<'a>(self, result: Box<MacResult + 'a>) -> Option<Expansion> {
|
|
|
|
match self {
|
|
|
|
ExpansionKind::OptExpr => result.make_expr().map(Some).map(Expansion::OptExpr),
|
|
|
|
$( ExpansionKind::$kind => result.$make().map(Expansion::$kind), )*
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2016-06-17 11:02:42 +00:00
|
|
|
|
2016-08-27 05:27:59 +00:00
|
|
|
impl Expansion {
|
2016-08-29 05:32:41 +00:00
|
|
|
pub fn make_opt_expr(self) -> Option<P<ast::Expr>> {
|
2016-08-27 05:27:59 +00:00
|
|
|
match self {
|
|
|
|
Expansion::OptExpr(expr) => expr,
|
|
|
|
_ => panic!("Expansion::make_* called on the wrong kind of expansion"),
|
|
|
|
}
|
|
|
|
}
|
2016-08-29 05:32:41 +00:00
|
|
|
$( pub fn $make(self) -> $ty {
|
2016-08-27 05:27:59 +00:00
|
|
|
match self {
|
|
|
|
Expansion::$kind(ast) => ast,
|
|
|
|
_ => panic!("Expansion::make_* called on the wrong kind of expansion"),
|
|
|
|
}
|
|
|
|
} )*
|
2016-05-19 09:45:37 +00:00
|
|
|
|
2016-08-29 05:32:41 +00:00
|
|
|
pub fn fold_with<F: Folder>(self, folder: &mut F) -> Self {
|
2016-08-27 05:27:59 +00:00
|
|
|
use self::Expansion::*;
|
|
|
|
match self {
|
|
|
|
OptExpr(expr) => OptExpr(expr.and_then(|expr| folder.fold_opt_expr(expr))),
|
|
|
|
$($( $kind(ast) => $kind(folder.$fold(ast)), )*)*
|
|
|
|
$($( $kind(ast) => {
|
|
|
|
$kind(ast.into_iter().flat_map(|ast| folder.$fold_elt(ast)).collect())
|
|
|
|
}, )*)*
|
|
|
|
}
|
2016-05-19 09:45:37 +00:00
|
|
|
}
|
2016-09-07 23:21:59 +00:00
|
|
|
|
2016-12-06 11:26:52 +01:00
|
|
|
pub fn visit_with<'a, V: Visitor<'a>>(&'a self, visitor: &mut V) {
|
2016-09-07 23:21:59 +00:00
|
|
|
match *self {
|
|
|
|
Expansion::OptExpr(Some(ref expr)) => visitor.visit_expr(expr),
|
|
|
|
Expansion::OptExpr(None) => {}
|
|
|
|
$($( Expansion::$kind(ref ast) => visitor.$visit(ast), )*)*
|
2016-11-02 22:33:35 -06:00
|
|
|
$($( Expansion::$kind(ref ast) => for ast in &ast[..] {
|
2016-09-07 23:21:59 +00:00
|
|
|
visitor.$visit_elt(ast);
|
|
|
|
}, )*)*
|
|
|
|
}
|
|
|
|
}
|
2016-05-19 09:45:37 +00:00
|
|
|
}
|
2016-09-02 09:12:47 +00:00
|
|
|
|
|
|
|
impl<'a, 'b> Folder for MacroExpander<'a, 'b> {
|
|
|
|
fn fold_opt_expr(&mut self, expr: P<ast::Expr>) -> Option<P<ast::Expr>> {
|
|
|
|
self.expand(Expansion::OptExpr(Some(expr))).make_opt_expr()
|
|
|
|
}
|
|
|
|
$($(fn $fold(&mut self, node: $ty) -> $ty {
|
|
|
|
self.expand(Expansion::$kind(node)).$make()
|
|
|
|
})*)*
|
|
|
|
$($(fn $fold_elt(&mut self, node: $ty_elt) -> $ty {
|
|
|
|
self.expand(Expansion::$kind(SmallVector::one(node))).$make()
|
|
|
|
})*)*
|
|
|
|
}
|
2016-09-23 09:32:58 +00:00
|
|
|
|
|
|
|
impl<'a> MacResult for ::ext::tt::macro_rules::ParserAnyMacro<'a> {
|
|
|
|
$(fn $make(self: Box<::ext::tt::macro_rules::ParserAnyMacro<'a>>) -> Option<$ty> {
|
|
|
|
Some(self.make(ExpansionKind::$kind).$make())
|
|
|
|
})*
|
|
|
|
}
|
2016-08-27 05:27:59 +00:00
|
|
|
}
|
2016-05-19 09:45:37 +00:00
|
|
|
}
|
|
|
|
|
2016-08-27 05:27:59 +00:00
|
|
|
expansions! {
|
2016-09-07 23:21:59 +00:00
|
|
|
Expr: P<ast::Expr> [], "expression", .make_expr, .fold_expr, .visit_expr;
|
|
|
|
Pat: P<ast::Pat> [], "pattern", .make_pat, .fold_pat, .visit_pat;
|
|
|
|
Ty: P<ast::Ty> [], "type", .make_ty, .fold_ty, .visit_ty;
|
2016-09-02 09:12:47 +00:00
|
|
|
Stmts: SmallVector<ast::Stmt> [SmallVector, ast::Stmt],
|
2016-09-07 23:21:59 +00:00
|
|
|
"statement", .make_stmts, lift .fold_stmt, lift .visit_stmt;
|
2016-09-02 09:12:47 +00:00
|
|
|
Items: SmallVector<P<ast::Item>> [SmallVector, P<ast::Item>],
|
2016-09-07 23:21:59 +00:00
|
|
|
"item", .make_items, lift .fold_item, lift .visit_item;
|
2016-09-02 09:12:47 +00:00
|
|
|
TraitItems: SmallVector<ast::TraitItem> [SmallVector, ast::TraitItem],
|
2016-09-07 23:21:59 +00:00
|
|
|
"trait item", .make_trait_items, lift .fold_trait_item, lift .visit_trait_item;
|
2016-09-02 09:12:47 +00:00
|
|
|
ImplItems: SmallVector<ast::ImplItem> [SmallVector, ast::ImplItem],
|
2016-09-07 23:21:59 +00:00
|
|
|
"impl item", .make_impl_items, lift .fold_impl_item, lift .visit_impl_item;
|
2016-05-19 09:45:37 +00:00
|
|
|
}
|
|
|
|
|
2016-08-27 05:27:59 +00:00
|
|
|
impl ExpansionKind {
|
|
|
|
fn dummy(self, span: Span) -> Expansion {
|
|
|
|
self.make_from(DummyResult::any(span)).unwrap()
|
2016-06-11 22:59:33 +00:00
|
|
|
}
|
2016-09-02 06:14:38 +00:00
|
|
|
|
|
|
|
fn expect_from_annotatables<I: IntoIterator<Item = Annotatable>>(self, items: I) -> Expansion {
|
|
|
|
let items = items.into_iter();
|
|
|
|
match self {
|
|
|
|
ExpansionKind::Items =>
|
|
|
|
Expansion::Items(items.map(Annotatable::expect_item).collect()),
|
|
|
|
ExpansionKind::ImplItems =>
|
|
|
|
Expansion::ImplItems(items.map(Annotatable::expect_impl_item).collect()),
|
|
|
|
ExpansionKind::TraitItems =>
|
|
|
|
Expansion::TraitItems(items.map(Annotatable::expect_trait_item).collect()),
|
|
|
|
_ => unreachable!(),
|
|
|
|
}
|
|
|
|
}
|
2016-05-16 10:09:23 +00:00
|
|
|
}
|
2015-01-27 01:22:12 +01:00
|
|
|
|
2017-11-14 01:24:36 +02:00
|
|
|
fn macro_bang_format(path: &ast::Path) -> ExpnFormat {
|
|
|
|
// We don't want to format a path using pretty-printing,
|
|
|
|
// `format!("{}", path)`, because that tries to insert
|
|
|
|
// line-breaks and is slow.
|
|
|
|
let mut path_str = String::with_capacity(64);
|
|
|
|
for (i, segment) in path.segments.iter().enumerate() {
|
|
|
|
if i != 0 {
|
|
|
|
path_str.push_str("::");
|
|
|
|
}
|
|
|
|
|
|
|
|
if segment.identifier.name != keywords::CrateRoot.name() &&
|
|
|
|
segment.identifier.name != keywords::DollarCrate.name()
|
|
|
|
{
|
|
|
|
path_str.push_str(&segment.identifier.name.as_str())
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
MacroBang(Symbol::intern(&path_str))
|
|
|
|
}
|
|
|
|
|
2016-08-27 05:27:59 +00:00
|
|
|
pub struct Invocation {
|
2016-09-07 23:21:59 +00:00
|
|
|
pub kind: InvocationKind,
|
2016-09-02 06:14:38 +00:00
|
|
|
expansion_kind: ExpansionKind,
|
2017-03-01 23:48:16 +00:00
|
|
|
pub expansion_data: ExpansionData,
|
2016-09-02 06:14:38 +00:00
|
|
|
}
|
|
|
|
|
2016-09-07 23:21:59 +00:00
|
|
|
pub enum InvocationKind {
|
2016-09-02 06:14:38 +00:00
|
|
|
Bang {
|
|
|
|
mac: ast::Mac,
|
|
|
|
ident: Option<Ident>,
|
|
|
|
span: Span,
|
|
|
|
},
|
|
|
|
Attr {
|
2017-02-02 07:01:15 +00:00
|
|
|
attr: Option<ast::Attribute>,
|
2017-03-08 23:13:35 +00:00
|
|
|
traits: Vec<Path>,
|
2016-09-02 06:14:38 +00:00
|
|
|
item: Annotatable,
|
|
|
|
},
|
2017-02-01 21:03:09 +10:30
|
|
|
Derive {
|
2017-03-08 23:13:35 +00:00
|
|
|
path: Path,
|
2017-02-01 21:03:09 +10:30
|
|
|
item: Annotatable,
|
|
|
|
},
|
2011-07-06 15:22:23 -07:00
|
|
|
}
|
2013-07-29 17:25:00 -07:00
|
|
|
|
2016-09-07 23:21:59 +00:00
|
|
|
impl Invocation {
|
|
|
|
fn span(&self) -> Span {
|
|
|
|
match self.kind {
|
|
|
|
InvocationKind::Bang { span, .. } => span,
|
2017-02-02 07:01:15 +00:00
|
|
|
InvocationKind::Attr { attr: Some(ref attr), .. } => attr.span,
|
2017-03-08 23:13:35 +00:00
|
|
|
InvocationKind::Attr { attr: None, .. } => DUMMY_SP,
|
|
|
|
InvocationKind::Derive { ref path, .. } => path.span,
|
2016-09-07 23:21:59 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-08-27 21:46:52 -04:00
|
|
|
pub struct MacroExpander<'a, 'b:'a> {
|
2014-03-27 15:39:48 -07:00
|
|
|
pub cx: &'a mut ExtCtxt<'b>,
|
2016-09-06 05:42:45 +00:00
|
|
|
monotonic: bool, // c.f. `cx.monotonic_expander()`
|
2014-12-14 15:42:41 +13:00
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a, 'b> MacroExpander<'a, 'b> {
|
2016-09-06 05:42:45 +00:00
|
|
|
pub fn new(cx: &'a mut ExtCtxt<'b>, monotonic: bool) -> Self {
|
2016-09-12 09:47:54 +00:00
|
|
|
MacroExpander { cx: cx, monotonic: monotonic }
|
2014-12-14 15:42:41 +13:00
|
|
|
}
|
2016-05-16 10:09:23 +00:00
|
|
|
|
2016-09-29 00:22:46 +00:00
|
|
|
pub fn expand_crate(&mut self, mut krate: ast::Crate) -> ast::Crate {
|
|
|
|
let mut module = ModuleData {
|
2016-11-16 08:21:52 +00:00
|
|
|
mod_path: vec![Ident::from_str(&self.cx.ecfg.crate_name)],
|
2017-12-14 08:09:19 +01:00
|
|
|
directory: match self.cx.codemap().span_to_unmapped_path(krate.span) {
|
|
|
|
FileName::Real(path) => path,
|
|
|
|
other => PathBuf::from(other.to_string()),
|
|
|
|
},
|
2016-09-29 00:22:46 +00:00
|
|
|
};
|
|
|
|
module.directory.pop();
|
2017-09-21 22:37:00 -05:00
|
|
|
self.cx.root_path = module.directory.clone();
|
2016-09-29 00:22:46 +00:00
|
|
|
self.cx.current_expansion.module = Rc::new(module);
|
2016-09-02 09:12:47 +00:00
|
|
|
|
2017-04-20 16:13:13 -07:00
|
|
|
let orig_mod_span = krate.module.inner;
|
|
|
|
|
2016-09-21 09:20:42 +00:00
|
|
|
let krate_item = Expansion::Items(SmallVector::one(P(ast::Item {
|
|
|
|
attrs: krate.attrs,
|
|
|
|
span: krate.span,
|
|
|
|
node: ast::ItemKind::Mod(krate.module),
|
|
|
|
ident: keywords::Invalid.ident(),
|
|
|
|
id: ast::DUMMY_NODE_ID,
|
|
|
|
vis: ast::Visibility::Public,
|
2017-07-10 17:44:46 -07:00
|
|
|
tokens: None,
|
2016-09-21 09:20:42 +00:00
|
|
|
})));
|
|
|
|
|
2017-04-20 16:13:13 -07:00
|
|
|
match self.expand(krate_item).make_items().pop().map(P::unwrap) {
|
|
|
|
Some(ast::Item { attrs, node: ast::ItemKind::Mod(module), .. }) => {
|
2016-09-21 09:20:42 +00:00
|
|
|
krate.attrs = attrs;
|
|
|
|
krate.module = module;
|
|
|
|
},
|
2017-04-20 16:13:13 -07:00
|
|
|
None => {
|
|
|
|
// Resolution failed so we return an empty expansion
|
|
|
|
krate.attrs = vec![];
|
|
|
|
krate.module = ast::Mod {
|
|
|
|
inner: orig_mod_span,
|
|
|
|
items: vec![],
|
|
|
|
};
|
|
|
|
},
|
2016-09-06 01:45:23 +00:00
|
|
|
_ => unreachable!(),
|
|
|
|
};
|
2017-05-05 21:49:59 -07:00
|
|
|
self.cx.trace_macros_diag();
|
2016-09-02 09:12:47 +00:00
|
|
|
krate
|
|
|
|
}
|
|
|
|
|
|
|
|
// Fully expand all the invocations in `expansion`.
|
|
|
|
fn expand(&mut self, expansion: Expansion) -> Expansion {
|
2016-09-07 23:21:59 +00:00
|
|
|
let orig_expansion_data = self.cx.current_expansion.clone();
|
|
|
|
self.cx.current_expansion.depth = 0;
|
|
|
|
|
2017-02-02 07:01:15 +00:00
|
|
|
let (expansion, mut invocations) = self.collect_invocations(expansion, &[]);
|
2016-11-10 10:11:25 +00:00
|
|
|
self.resolve_imports();
|
2016-09-02 09:12:47 +00:00
|
|
|
invocations.reverse();
|
|
|
|
|
2016-09-26 22:54:36 +00:00
|
|
|
let mut expansions = Vec::new();
|
2017-02-02 07:01:15 +00:00
|
|
|
let mut derives = HashMap::new();
|
2016-10-11 03:41:48 +00:00
|
|
|
let mut undetermined_invocations = Vec::new();
|
|
|
|
let (mut progress, mut force) = (false, !self.monotonic);
|
|
|
|
loop {
|
2017-02-02 07:01:15 +00:00
|
|
|
let mut invoc = if let Some(invoc) = invocations.pop() {
|
2016-10-11 03:41:48 +00:00
|
|
|
invoc
|
|
|
|
} else {
|
2016-11-10 10:11:25 +00:00
|
|
|
self.resolve_imports();
|
|
|
|
if undetermined_invocations.is_empty() { break }
|
2016-10-11 03:41:48 +00:00
|
|
|
invocations = mem::replace(&mut undetermined_invocations, Vec::new());
|
|
|
|
force = !mem::replace(&mut progress, false);
|
|
|
|
continue
|
|
|
|
};
|
|
|
|
|
|
|
|
let scope =
|
|
|
|
if self.monotonic { invoc.expansion_data.mark } else { orig_expansion_data.mark };
|
2017-03-01 08:44:05 +00:00
|
|
|
let ext = match self.cx.resolver.resolve_invoc(&mut invoc, scope, force) {
|
2016-10-11 03:41:48 +00:00
|
|
|
Ok(ext) => Some(ext),
|
|
|
|
Err(Determinacy::Determined) => None,
|
|
|
|
Err(Determinacy::Undetermined) => {
|
|
|
|
undetermined_invocations.push(invoc);
|
|
|
|
continue
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
progress = true;
|
2016-09-07 23:21:59 +00:00
|
|
|
let ExpansionData { depth, mark, .. } = invoc.expansion_data;
|
|
|
|
self.cx.current_expansion = invoc.expansion_data.clone();
|
2016-09-02 09:12:47 +00:00
|
|
|
|
2016-09-19 07:27:20 +00:00
|
|
|
self.cx.current_expansion.mark = scope;
|
2017-02-02 07:01:15 +00:00
|
|
|
// FIXME(jseyfried): Refactor out the following logic
|
|
|
|
let (expansion, new_invocations) = if let Some(ext) = ext {
|
|
|
|
if let Some(ext) = ext {
|
|
|
|
let expansion = self.expand_invoc(invoc, ext);
|
|
|
|
self.collect_invocations(expansion, &[])
|
|
|
|
} else if let InvocationKind::Attr { attr: None, traits, item } = invoc.kind {
|
2017-08-22 19:22:52 -07:00
|
|
|
let derive_allowed = match item {
|
|
|
|
Annotatable::Item(ref item) => match item.node {
|
|
|
|
ast::ItemKind::Struct(..) |
|
|
|
|
ast::ItemKind::Enum(..) |
|
|
|
|
ast::ItemKind::Union(..) => true,
|
|
|
|
_ => false,
|
|
|
|
},
|
|
|
|
_ => false,
|
|
|
|
};
|
|
|
|
if !derive_allowed {
|
2017-09-21 20:29:29 -07:00
|
|
|
let attr = item.attrs().iter()
|
2017-08-22 19:22:52 -07:00
|
|
|
.find(|attr| attr.check_name("derive"))
|
2017-09-21 20:29:29 -07:00
|
|
|
.expect("`derive` attribute should exist");
|
|
|
|
let span = attr.span;
|
|
|
|
let mut err = self.cx.mut_span_err(span,
|
|
|
|
"`derive` may only be applied to \
|
|
|
|
structs, enums and unions");
|
|
|
|
if let ast::AttrStyle::Inner = attr.style {
|
|
|
|
let trait_list = traits.iter()
|
|
|
|
.map(|t| format!("{}", t)).collect::<Vec<_>>();
|
|
|
|
let suggestion = format!("#[derive({})]", trait_list.join(", "));
|
|
|
|
err.span_suggestion(span, "try an outer attribute", suggestion);
|
|
|
|
}
|
|
|
|
err.emit();
|
2017-08-22 19:22:52 -07:00
|
|
|
}
|
|
|
|
|
2017-09-12 21:55:41 +02:00
|
|
|
let item = self.fully_configure(item)
|
2017-03-03 09:23:59 +00:00
|
|
|
.map_attrs(|mut attrs| { attrs.retain(|a| a.path != "derive"); attrs });
|
2017-02-02 07:01:15 +00:00
|
|
|
let item_with_markers =
|
2017-03-17 04:04:41 +00:00
|
|
|
add_derived_markers(&mut self.cx, item.span(), &traits, item.clone());
|
2017-02-02 07:01:15 +00:00
|
|
|
let derives = derives.entry(invoc.expansion_data.mark).or_insert_with(Vec::new);
|
|
|
|
|
2017-03-08 23:13:35 +00:00
|
|
|
for path in &traits {
|
2017-03-22 08:39:51 +00:00
|
|
|
let mark = Mark::fresh(self.cx.current_expansion.mark);
|
2017-02-02 07:01:15 +00:00
|
|
|
derives.push(mark);
|
2017-02-06 22:14:38 +10:30
|
|
|
let item = match self.cx.resolver.resolve_macro(
|
2017-03-08 23:13:35 +00:00
|
|
|
Mark::root(), path, MacroKind::Derive, false) {
|
2017-02-02 07:01:15 +00:00
|
|
|
Ok(ext) => match *ext {
|
2017-08-07 10:22:28 +02:00
|
|
|
BuiltinDerive(..) => item_with_markers.clone(),
|
2017-02-02 07:01:15 +00:00
|
|
|
_ => item.clone(),
|
|
|
|
},
|
|
|
|
_ => item.clone(),
|
|
|
|
};
|
|
|
|
invocations.push(Invocation {
|
2017-03-08 23:13:35 +00:00
|
|
|
kind: InvocationKind::Derive { path: path.clone(), item: item },
|
2017-02-02 07:01:15 +00:00
|
|
|
expansion_kind: invoc.expansion_kind,
|
|
|
|
expansion_data: ExpansionData {
|
2017-08-06 22:54:09 -07:00
|
|
|
mark,
|
2017-02-02 07:01:15 +00:00
|
|
|
..invoc.expansion_data.clone()
|
|
|
|
},
|
|
|
|
});
|
|
|
|
}
|
|
|
|
let expansion = invoc.expansion_kind
|
|
|
|
.expect_from_annotatables(::std::iter::once(item_with_markers));
|
|
|
|
self.collect_invocations(expansion, derives)
|
|
|
|
} else {
|
|
|
|
unreachable!()
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
self.collect_invocations(invoc.expansion_kind.dummy(invoc.span()), &[])
|
2016-09-07 23:21:59 +00:00
|
|
|
};
|
2016-09-02 09:12:47 +00:00
|
|
|
|
2016-09-26 22:54:36 +00:00
|
|
|
if expansions.len() < depth {
|
2016-09-02 03:35:59 +00:00
|
|
|
expansions.push(Vec::new());
|
|
|
|
}
|
2016-12-01 22:49:32 +00:00
|
|
|
expansions[depth - 1].push((mark, expansion));
|
2016-09-12 09:47:54 +00:00
|
|
|
if !self.cx.ecfg.single_step {
|
2016-09-02 09:12:47 +00:00
|
|
|
invocations.extend(new_invocations.into_iter().rev());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-09-07 23:21:59 +00:00
|
|
|
self.cx.current_expansion = orig_expansion_data;
|
|
|
|
|
2016-09-06 05:42:45 +00:00
|
|
|
let mut placeholder_expander = PlaceholderExpander::new(self.cx, self.monotonic);
|
2016-09-02 03:35:59 +00:00
|
|
|
while let Some(expansions) = expansions.pop() {
|
|
|
|
for (mark, expansion) in expansions.into_iter().rev() {
|
2017-02-02 07:01:15 +00:00
|
|
|
let derives = derives.remove(&mark).unwrap_or_else(Vec::new);
|
2017-03-16 10:23:33 +00:00
|
|
|
placeholder_expander.add(NodeId::placeholder_from_mark(mark), expansion, derives);
|
2016-09-02 03:35:59 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-09-26 22:54:36 +00:00
|
|
|
expansion.fold_with(&mut placeholder_expander)
|
2016-09-02 09:12:47 +00:00
|
|
|
}
|
|
|
|
|
2016-11-10 10:11:25 +00:00
|
|
|
fn resolve_imports(&mut self) {
|
|
|
|
if self.monotonic {
|
|
|
|
let err_count = self.cx.parse_sess.span_diagnostic.err_count();
|
|
|
|
self.cx.resolver.resolve_imports();
|
|
|
|
self.cx.resolve_err_count += self.cx.parse_sess.span_diagnostic.err_count() - err_count;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-02-02 07:01:15 +00:00
|
|
|
fn collect_invocations(&mut self, expansion: Expansion, derives: &[Mark])
|
|
|
|
-> (Expansion, Vec<Invocation>) {
|
2016-09-07 22:24:01 +00:00
|
|
|
let result = {
|
|
|
|
let mut collector = InvocationCollector {
|
|
|
|
cfg: StripUnconfigured {
|
|
|
|
should_test: self.cx.ecfg.should_test,
|
|
|
|
sess: self.cx.parse_sess,
|
|
|
|
features: self.cx.ecfg.features,
|
|
|
|
},
|
|
|
|
cx: self.cx,
|
|
|
|
invocations: Vec::new(),
|
2016-09-06 05:42:45 +00:00
|
|
|
monotonic: self.monotonic,
|
2016-09-07 22:24:01 +00:00
|
|
|
};
|
|
|
|
(expansion.fold_with(&mut collector), collector.invocations)
|
|
|
|
};
|
2016-09-07 23:21:59 +00:00
|
|
|
|
2016-09-19 07:27:20 +00:00
|
|
|
if self.monotonic {
|
2016-09-20 06:33:42 +00:00
|
|
|
let err_count = self.cx.parse_sess.span_diagnostic.err_count();
|
2016-09-19 07:27:20 +00:00
|
|
|
let mark = self.cx.current_expansion.mark;
|
2017-02-02 07:01:15 +00:00
|
|
|
self.cx.resolver.visit_expansion(mark, &result.0, derives);
|
2016-09-20 06:33:42 +00:00
|
|
|
self.cx.resolve_err_count += self.cx.parse_sess.span_diagnostic.err_count() - err_count;
|
2016-09-19 07:27:20 +00:00
|
|
|
}
|
|
|
|
|
2016-09-07 22:24:01 +00:00
|
|
|
result
|
2016-05-16 10:09:23 +00:00
|
|
|
}
|
2016-06-12 01:50:52 +00:00
|
|
|
|
2017-09-12 21:55:41 +02:00
|
|
|
fn fully_configure(&mut self, item: Annotatable) -> Annotatable {
|
|
|
|
let mut cfg = StripUnconfigured {
|
|
|
|
should_test: self.cx.ecfg.should_test,
|
|
|
|
sess: self.cx.parse_sess,
|
|
|
|
features: self.cx.ecfg.features,
|
|
|
|
};
|
|
|
|
// Since the item itself has already been configured by the InvocationCollector,
|
|
|
|
// we know that fold result vector will contain exactly one element
|
|
|
|
match item {
|
|
|
|
Annotatable::Item(item) => {
|
|
|
|
Annotatable::Item(cfg.fold_item(item).pop().unwrap())
|
|
|
|
}
|
|
|
|
Annotatable::TraitItem(item) => {
|
|
|
|
Annotatable::TraitItem(item.map(|item| cfg.fold_trait_item(item).pop().unwrap()))
|
|
|
|
}
|
|
|
|
Annotatable::ImplItem(item) => {
|
|
|
|
Annotatable::ImplItem(item.map(|item| cfg.fold_impl_item(item).pop().unwrap()))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-09-07 23:21:59 +00:00
|
|
|
fn expand_invoc(&mut self, invoc: Invocation, ext: Rc<SyntaxExtension>) -> Expansion {
|
2017-03-17 04:04:41 +00:00
|
|
|
let result = match invoc.kind {
|
2016-09-07 23:21:59 +00:00
|
|
|
InvocationKind::Bang { .. } => self.expand_bang_invoc(invoc, ext),
|
|
|
|
InvocationKind::Attr { .. } => self.expand_attr_invoc(invoc, ext),
|
2017-02-01 21:03:09 +10:30
|
|
|
InvocationKind::Derive { .. } => self.expand_derive_invoc(invoc, ext),
|
2017-03-17 04:04:41 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
if self.cx.current_expansion.depth > self.cx.ecfg.recursion_limit {
|
|
|
|
let info = self.cx.current_expansion.mark.expn_info().unwrap();
|
|
|
|
let suggested_limit = self.cx.ecfg.recursion_limit * 2;
|
2017-09-02 18:13:25 +02:00
|
|
|
let mut err = self.cx.struct_span_err(info.call_site,
|
2017-03-17 04:04:41 +00:00
|
|
|
&format!("recursion limit reached while expanding the macro `{}`",
|
|
|
|
info.callee.name()));
|
|
|
|
err.help(&format!(
|
|
|
|
"consider adding a `#![recursion_limit=\"{}\"]` attribute to your crate",
|
|
|
|
suggested_limit));
|
|
|
|
err.emit();
|
2017-08-25 20:46:49 +02:00
|
|
|
self.cx.trace_macros_diag();
|
2017-03-17 04:04:41 +00:00
|
|
|
panic!(FatalError);
|
2016-09-01 07:01:45 +00:00
|
|
|
}
|
2017-03-17 04:04:41 +00:00
|
|
|
|
|
|
|
result
|
2016-09-01 07:01:45 +00:00
|
|
|
}
|
|
|
|
|
2016-09-07 23:21:59 +00:00
|
|
|
fn expand_attr_invoc(&mut self, invoc: Invocation, ext: Rc<SyntaxExtension>) -> Expansion {
|
2016-09-01 07:01:45 +00:00
|
|
|
let Invocation { expansion_kind: kind, .. } = invoc;
|
|
|
|
let (attr, item) = match invoc.kind {
|
2017-02-02 07:01:15 +00:00
|
|
|
InvocationKind::Attr { attr, item, .. } => (attr.unwrap(), item),
|
2016-09-01 07:01:45 +00:00
|
|
|
_ => unreachable!(),
|
|
|
|
};
|
|
|
|
|
|
|
|
attr::mark_used(&attr);
|
2017-03-17 04:04:41 +00:00
|
|
|
invoc.expansion_data.mark.set_expn_info(ExpnInfo {
|
2016-09-01 07:01:45 +00:00
|
|
|
call_site: attr.span,
|
|
|
|
callee: NameAndSpan {
|
2017-03-08 23:13:35 +00:00
|
|
|
format: MacroAttribute(Symbol::intern(&format!("{}", attr.path))),
|
2017-03-17 04:04:41 +00:00
|
|
|
span: None,
|
2016-09-01 07:01:45 +00:00
|
|
|
allow_internal_unstable: false,
|
2017-08-08 18:21:20 +03:00
|
|
|
allow_internal_unsafe: false,
|
2016-09-01 07:01:45 +00:00
|
|
|
}
|
|
|
|
});
|
|
|
|
|
2016-09-07 23:21:59 +00:00
|
|
|
match *ext {
|
2016-09-01 07:01:45 +00:00
|
|
|
MultiModifier(ref mac) => {
|
2017-05-12 20:05:39 +02:00
|
|
|
let meta = panictry!(attr.parse_meta(self.cx.parse_sess));
|
2017-03-03 09:23:59 +00:00
|
|
|
let item = mac.expand(self.cx, attr.span, &meta, item);
|
2016-09-01 07:01:45 +00:00
|
|
|
kind.expect_from_annotatables(item)
|
|
|
|
}
|
|
|
|
MultiDecorator(ref mac) => {
|
|
|
|
let mut items = Vec::new();
|
2017-05-12 20:05:39 +02:00
|
|
|
let meta = panictry!(attr.parse_meta(self.cx.parse_sess));
|
2017-03-03 09:23:59 +00:00
|
|
|
mac.expand(self.cx, attr.span, &meta, &item, &mut |item| items.push(item));
|
2016-09-01 07:01:45 +00:00
|
|
|
items.push(item);
|
|
|
|
kind.expect_from_annotatables(items)
|
|
|
|
}
|
2017-08-07 10:22:28 +02:00
|
|
|
AttrProcMacro(ref mac) => {
|
2017-03-29 01:55:01 +00:00
|
|
|
let item_tok = TokenTree::Token(DUMMY_SP, Token::interpolated(match item {
|
|
|
|
Annotatable::Item(item) => token::NtItem(item),
|
|
|
|
Annotatable::TraitItem(item) => token::NtTraitItem(item.unwrap()),
|
|
|
|
Annotatable::ImplItem(item) => token::NtImplItem(item.unwrap()),
|
|
|
|
})).into();
|
|
|
|
let tok_result = mac.expand(self.cx, attr.span, attr.tokens, item_tok);
|
|
|
|
self.parse_expansion(tok_result, kind, &attr.path, attr.span)
|
2016-08-29 16:16:43 +12:00
|
|
|
}
|
2017-08-07 10:22:28 +02:00
|
|
|
ProcMacroDerive(..) | BuiltinDerive(..) => {
|
2017-03-08 23:13:35 +00:00
|
|
|
self.cx.span_err(attr.span, &format!("`{}` is a derive mode", attr.path));
|
2017-08-25 20:46:49 +02:00
|
|
|
self.cx.trace_macros_diag();
|
2016-10-15 20:50:30 +00:00
|
|
|
kind.dummy(attr.span)
|
|
|
|
}
|
|
|
|
_ => {
|
2017-03-08 23:13:35 +00:00
|
|
|
let msg = &format!("macro `{}` may not be used in attributes", attr.path);
|
2017-05-12 20:05:39 +02:00
|
|
|
self.cx.span_err(attr.span, msg);
|
2017-08-25 20:46:49 +02:00
|
|
|
self.cx.trace_macros_diag();
|
2016-10-15 20:50:30 +00:00
|
|
|
kind.dummy(attr.span)
|
|
|
|
}
|
2016-09-02 09:12:47 +00:00
|
|
|
}
|
2016-09-01 07:01:45 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Expand a macro invocation. Returns the result of expansion.
|
2016-09-07 23:21:59 +00:00
|
|
|
fn expand_bang_invoc(&mut self, invoc: Invocation, ext: Rc<SyntaxExtension>) -> Expansion {
|
2016-09-19 07:27:20 +00:00
|
|
|
let (mark, kind) = (invoc.expansion_data.mark, invoc.expansion_kind);
|
2016-12-01 11:54:01 +00:00
|
|
|
let (mac, ident, span) = match invoc.kind {
|
|
|
|
InvocationKind::Bang { mac, ident, span } => (mac, ident, span),
|
2016-09-01 07:01:45 +00:00
|
|
|
_ => unreachable!(),
|
|
|
|
};
|
2017-02-21 05:05:59 +00:00
|
|
|
let path = &mac.node.path;
|
2016-09-01 07:01:45 +00:00
|
|
|
|
2017-05-12 20:05:39 +02:00
|
|
|
let ident = ident.unwrap_or_else(|| keywords::Invalid.ident());
|
2017-08-08 18:21:20 +03:00
|
|
|
let validate_and_set_expn_info = |def_site_span,
|
|
|
|
allow_internal_unstable,
|
|
|
|
allow_internal_unsafe| {
|
2017-03-22 08:39:51 +00:00
|
|
|
if ident.name != keywords::Invalid.name() {
|
|
|
|
return Err(format!("macro {}! expects no ident argument, given '{}'", path, ident));
|
|
|
|
}
|
|
|
|
mark.set_expn_info(ExpnInfo {
|
|
|
|
call_site: span,
|
|
|
|
callee: NameAndSpan {
|
2017-11-14 01:24:36 +02:00
|
|
|
format: macro_bang_format(path),
|
2017-03-22 08:39:51 +00:00
|
|
|
span: def_site_span,
|
2017-08-08 18:21:20 +03:00
|
|
|
allow_internal_unstable,
|
|
|
|
allow_internal_unsafe,
|
2017-03-22 08:39:51 +00:00
|
|
|
},
|
|
|
|
});
|
|
|
|
Ok(())
|
|
|
|
};
|
|
|
|
|
2016-09-07 23:21:59 +00:00
|
|
|
let opt_expanded = match *ext {
|
2017-08-07 10:22:28 +02:00
|
|
|
DeclMacro(ref expand, def_span) => {
|
2017-05-31 17:03:41 +02:00
|
|
|
if let Err(msg) = validate_and_set_expn_info(def_span.map(|(_, s)| s),
|
2017-08-08 18:21:20 +03:00
|
|
|
false, false) {
|
2016-09-01 07:01:45 +00:00
|
|
|
self.cx.span_err(path.span, &msg);
|
2017-08-25 20:46:49 +02:00
|
|
|
self.cx.trace_macros_diag();
|
2016-09-01 07:01:45 +00:00
|
|
|
return kind.dummy(span);
|
|
|
|
}
|
2017-03-28 05:32:43 +00:00
|
|
|
kind.make_from(expand.expand(self.cx, span, mac.node.stream()))
|
2017-03-22 08:39:51 +00:00
|
|
|
}
|
2016-09-01 07:01:45 +00:00
|
|
|
|
2017-08-08 18:21:20 +03:00
|
|
|
NormalTT {
|
|
|
|
ref expander,
|
|
|
|
def_info,
|
|
|
|
allow_internal_unstable,
|
|
|
|
allow_internal_unsafe
|
|
|
|
} => {
|
2017-03-22 08:39:51 +00:00
|
|
|
if let Err(msg) = validate_and_set_expn_info(def_info.map(|(_, s)| s),
|
2017-08-08 18:21:20 +03:00
|
|
|
allow_internal_unstable,
|
|
|
|
allow_internal_unsafe) {
|
2017-03-22 08:39:51 +00:00
|
|
|
self.cx.span_err(path.span, &msg);
|
2017-08-25 20:46:49 +02:00
|
|
|
self.cx.trace_macros_diag();
|
2017-03-22 08:39:51 +00:00
|
|
|
return kind.dummy(span);
|
|
|
|
}
|
2017-08-08 18:21:20 +03:00
|
|
|
kind.make_from(expander.expand(self.cx, span, mac.node.stream()))
|
2016-09-01 07:01:45 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
IdentTT(ref expander, tt_span, allow_internal_unstable) => {
|
|
|
|
if ident.name == keywords::Invalid.name() {
|
|
|
|
self.cx.span_err(path.span,
|
2017-03-08 23:13:35 +00:00
|
|
|
&format!("macro {}! expects an ident argument", path));
|
2017-08-25 20:46:49 +02:00
|
|
|
self.cx.trace_macros_diag();
|
2016-09-01 07:01:45 +00:00
|
|
|
return kind.dummy(span);
|
|
|
|
};
|
|
|
|
|
2017-03-17 04:04:41 +00:00
|
|
|
invoc.expansion_data.mark.set_expn_info(ExpnInfo {
|
2016-09-01 07:01:45 +00:00
|
|
|
call_site: span,
|
|
|
|
callee: NameAndSpan {
|
2017-11-14 01:24:36 +02:00
|
|
|
format: macro_bang_format(path),
|
2016-09-01 07:01:45 +00:00
|
|
|
span: tt_span,
|
2017-08-08 18:21:20 +03:00
|
|
|
allow_internal_unstable,
|
|
|
|
allow_internal_unsafe: false,
|
2016-09-01 07:01:45 +00:00
|
|
|
}
|
|
|
|
});
|
|
|
|
|
2017-03-28 05:32:43 +00:00
|
|
|
let input: Vec<_> = mac.node.stream().into_trees().collect();
|
2017-02-21 05:05:59 +00:00
|
|
|
kind.make_from(expander.expand(self.cx, span, ident, input))
|
2016-09-01 07:01:45 +00:00
|
|
|
}
|
|
|
|
|
2017-08-07 10:22:28 +02:00
|
|
|
MultiDecorator(..) | MultiModifier(..) | AttrProcMacro(..) => {
|
2016-09-01 07:01:45 +00:00
|
|
|
self.cx.span_err(path.span,
|
2017-03-08 23:13:35 +00:00
|
|
|
&format!("`{}` can only be used in attributes", path));
|
2017-08-25 20:46:49 +02:00
|
|
|
self.cx.trace_macros_diag();
|
2016-09-01 07:01:45 +00:00
|
|
|
return kind.dummy(span);
|
|
|
|
}
|
2016-08-29 16:16:43 +12:00
|
|
|
|
2017-08-07 10:22:28 +02:00
|
|
|
ProcMacroDerive(..) | BuiltinDerive(..) => {
|
2017-03-08 23:13:35 +00:00
|
|
|
self.cx.span_err(path.span, &format!("`{}` is a derive mode", path));
|
2017-08-25 20:46:49 +02:00
|
|
|
self.cx.trace_macros_diag();
|
2016-10-15 20:50:30 +00:00
|
|
|
return kind.dummy(span);
|
|
|
|
}
|
|
|
|
|
2017-08-07 10:22:28 +02:00
|
|
|
ProcMacro(ref expandfun) => {
|
2016-08-29 16:16:43 +12:00
|
|
|
if ident.name != keywords::Invalid.name() {
|
|
|
|
let msg =
|
2017-03-08 23:13:35 +00:00
|
|
|
format!("macro {}! expects no ident argument, given '{}'", path, ident);
|
2016-09-06 17:57:58 +12:00
|
|
|
self.cx.span_err(path.span, &msg);
|
2017-08-25 20:46:49 +02:00
|
|
|
self.cx.trace_macros_diag();
|
2016-09-06 17:57:58 +12:00
|
|
|
return kind.dummy(span);
|
2016-08-29 16:16:43 +12:00
|
|
|
}
|
|
|
|
|
2017-03-17 04:04:41 +00:00
|
|
|
invoc.expansion_data.mark.set_expn_info(ExpnInfo {
|
2016-09-06 17:57:58 +12:00
|
|
|
call_site: span,
|
2016-08-29 16:16:43 +12:00
|
|
|
callee: NameAndSpan {
|
2017-11-14 01:24:36 +02:00
|
|
|
format: macro_bang_format(path),
|
2016-08-29 16:16:43 +12:00
|
|
|
// FIXME procedural macros do not have proper span info
|
|
|
|
// yet, when they do, we should use it here.
|
|
|
|
span: None,
|
|
|
|
// FIXME probably want to follow macro_rules macros here.
|
|
|
|
allow_internal_unstable: false,
|
2017-08-08 18:21:20 +03:00
|
|
|
allow_internal_unsafe: false,
|
2016-08-29 16:16:43 +12:00
|
|
|
},
|
|
|
|
});
|
|
|
|
|
2017-03-28 05:32:43 +00:00
|
|
|
let tok_result = expandfun.expand(self.cx, span, mac.node.stream());
|
2017-03-08 23:13:35 +00:00
|
|
|
Some(self.parse_expansion(tok_result, kind, path, span))
|
2016-08-29 16:16:43 +12:00
|
|
|
}
|
2016-09-01 07:01:45 +00:00
|
|
|
};
|
|
|
|
|
2017-03-28 05:32:43 +00:00
|
|
|
unwrap_or!(opt_expanded, {
|
2016-09-01 07:01:45 +00:00
|
|
|
let msg = format!("non-{kind} macro in {kind} position: {name}",
|
|
|
|
name = path.segments[0].identifier.name, kind = kind.name());
|
|
|
|
self.cx.span_err(path.span, &msg);
|
2017-08-25 20:46:49 +02:00
|
|
|
self.cx.trace_macros_diag();
|
2017-03-28 05:32:43 +00:00
|
|
|
kind.dummy(span)
|
|
|
|
})
|
2016-09-02 09:12:47 +00:00
|
|
|
}
|
2016-09-26 04:16:55 +00:00
|
|
|
|
2017-02-01 21:03:09 +10:30
|
|
|
/// Expand a derive invocation. Returns the result of expansion.
|
|
|
|
fn expand_derive_invoc(&mut self, invoc: Invocation, ext: Rc<SyntaxExtension>) -> Expansion {
|
|
|
|
let Invocation { expansion_kind: kind, .. } = invoc;
|
2017-03-08 23:13:35 +00:00
|
|
|
let (path, item) = match invoc.kind {
|
|
|
|
InvocationKind::Derive { path, item } => (path, item),
|
2017-02-01 21:03:09 +10:30
|
|
|
_ => unreachable!(),
|
|
|
|
};
|
|
|
|
|
2017-03-08 23:13:35 +00:00
|
|
|
let pretty_name = Symbol::intern(&format!("derive({})", path));
|
|
|
|
let span = path.span;
|
|
|
|
let attr = ast::Attribute {
|
2017-08-06 22:54:09 -07:00
|
|
|
path, span,
|
|
|
|
tokens: TokenStream::empty(),
|
2017-03-08 23:13:35 +00:00
|
|
|
// irrelevant:
|
|
|
|
id: ast::AttrId(0), style: ast::AttrStyle::Outer, is_sugared_doc: false,
|
|
|
|
};
|
2017-02-01 21:03:09 +10:30
|
|
|
|
2017-03-17 04:04:41 +00:00
|
|
|
let mut expn_info = ExpnInfo {
|
2017-02-02 07:01:15 +00:00
|
|
|
call_site: span,
|
2017-02-01 21:03:09 +10:30
|
|
|
callee: NameAndSpan {
|
2017-02-02 07:01:15 +00:00
|
|
|
format: MacroAttribute(pretty_name),
|
2017-03-08 23:13:35 +00:00
|
|
|
span: None,
|
2017-02-01 21:03:09 +10:30
|
|
|
allow_internal_unstable: false,
|
2017-08-08 18:21:20 +03:00
|
|
|
allow_internal_unsafe: false,
|
2017-02-01 21:03:09 +10:30
|
|
|
}
|
2017-03-17 04:04:41 +00:00
|
|
|
};
|
2017-02-01 21:03:09 +10:30
|
|
|
|
|
|
|
match *ext {
|
2017-08-07 10:22:28 +02:00
|
|
|
ProcMacroDerive(ref ext, _) => {
|
2017-03-17 04:04:41 +00:00
|
|
|
invoc.expansion_data.mark.set_expn_info(expn_info);
|
2017-07-31 23:04:34 +03:00
|
|
|
let span = span.with_ctxt(self.cx.backtrace());
|
2017-03-08 23:13:35 +00:00
|
|
|
let dummy = ast::MetaItem { // FIXME(jseyfried) avoid this
|
|
|
|
name: keywords::Invalid.name(),
|
|
|
|
span: DUMMY_SP,
|
|
|
|
node: ast::MetaItemKind::Word,
|
|
|
|
};
|
2017-03-17 04:04:41 +00:00
|
|
|
kind.expect_from_annotatables(ext.expand(self.cx, span, &dummy, item))
|
2017-02-01 21:03:09 +10:30
|
|
|
}
|
2017-08-07 10:22:28 +02:00
|
|
|
BuiltinDerive(func) => {
|
2017-03-17 04:04:41 +00:00
|
|
|
expn_info.callee.allow_internal_unstable = true;
|
|
|
|
invoc.expansion_data.mark.set_expn_info(expn_info);
|
2017-07-31 23:04:34 +03:00
|
|
|
let span = span.with_ctxt(self.cx.backtrace());
|
2017-02-01 21:03:09 +10:30
|
|
|
let mut items = Vec::new();
|
2017-03-08 23:13:35 +00:00
|
|
|
func(self.cx, span, &attr.meta().unwrap(), &item, &mut |a| items.push(a));
|
2017-03-17 04:04:41 +00:00
|
|
|
kind.expect_from_annotatables(items)
|
2017-02-01 21:03:09 +10:30
|
|
|
}
|
|
|
|
_ => {
|
2017-03-08 23:13:35 +00:00
|
|
|
let msg = &format!("macro `{}` may not be used for derive attributes", attr.path);
|
2017-05-12 20:05:39 +02:00
|
|
|
self.cx.span_err(span, msg);
|
2017-08-25 20:46:49 +02:00
|
|
|
self.cx.trace_macros_diag();
|
2017-02-02 07:01:15 +00:00
|
|
|
kind.dummy(span)
|
2017-02-01 21:03:09 +10:30
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-03-08 23:13:35 +00:00
|
|
|
fn parse_expansion(&mut self, toks: TokenStream, kind: ExpansionKind, path: &Path, span: Span)
|
2016-09-23 23:09:23 +00:00
|
|
|
-> Expansion {
|
2017-02-18 06:18:29 +00:00
|
|
|
let mut parser = self.cx.new_parser_from_tts(&toks.into_trees().collect::<Vec<_>>());
|
2016-09-26 04:16:55 +00:00
|
|
|
let expansion = match parser.parse_expansion(kind, false) {
|
|
|
|
Ok(expansion) => expansion,
|
|
|
|
Err(mut err) => {
|
|
|
|
err.emit();
|
2017-09-02 18:13:25 +02:00
|
|
|
self.cx.trace_macros_diag();
|
2016-09-26 04:16:55 +00:00
|
|
|
return kind.dummy(span);
|
|
|
|
}
|
|
|
|
};
|
2017-03-08 23:13:35 +00:00
|
|
|
parser.ensure_complete_parse(path, kind.name(), span);
|
2017-03-28 05:32:43 +00:00
|
|
|
expansion
|
2016-09-26 04:16:55 +00:00
|
|
|
}
|
2016-09-02 09:12:47 +00:00
|
|
|
}
|
|
|
|
|
2016-09-23 09:32:58 +00:00
|
|
|
impl<'a> Parser<'a> {
|
2016-09-26 04:16:55 +00:00
|
|
|
pub fn parse_expansion(&mut self, kind: ExpansionKind, macro_legacy_warnings: bool)
|
|
|
|
-> PResult<'a, Expansion> {
|
2016-09-23 09:32:58 +00:00
|
|
|
Ok(match kind {
|
|
|
|
ExpansionKind::Items => {
|
2016-11-02 22:33:35 -06:00
|
|
|
let mut items = SmallVector::new();
|
2016-09-23 09:32:58 +00:00
|
|
|
while let Some(item) = self.parse_item()? {
|
|
|
|
items.push(item);
|
|
|
|
}
|
|
|
|
Expansion::Items(items)
|
|
|
|
}
|
|
|
|
ExpansionKind::TraitItems => {
|
2016-11-02 22:33:35 -06:00
|
|
|
let mut items = SmallVector::new();
|
2016-09-23 09:32:58 +00:00
|
|
|
while self.token != token::Eof {
|
2017-04-13 22:37:05 +03:00
|
|
|
items.push(self.parse_trait_item(&mut false)?);
|
2016-09-23 09:32:58 +00:00
|
|
|
}
|
|
|
|
Expansion::TraitItems(items)
|
|
|
|
}
|
|
|
|
ExpansionKind::ImplItems => {
|
2016-11-02 22:33:35 -06:00
|
|
|
let mut items = SmallVector::new();
|
2016-09-23 09:32:58 +00:00
|
|
|
while self.token != token::Eof {
|
2017-04-13 22:37:05 +03:00
|
|
|
items.push(self.parse_impl_item(&mut false)?);
|
2016-09-23 09:32:58 +00:00
|
|
|
}
|
|
|
|
Expansion::ImplItems(items)
|
|
|
|
}
|
|
|
|
ExpansionKind::Stmts => {
|
2016-11-02 22:33:35 -06:00
|
|
|
let mut stmts = SmallVector::new();
|
2016-10-17 21:01:36 -07:00
|
|
|
while self.token != token::Eof &&
|
|
|
|
// won't make progress on a `}`
|
|
|
|
self.token != token::CloseDelim(token::Brace) {
|
2016-09-26 04:16:55 +00:00
|
|
|
if let Some(stmt) = self.parse_full_stmt(macro_legacy_warnings)? {
|
2016-09-23 09:32:58 +00:00
|
|
|
stmts.push(stmt);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
Expansion::Stmts(stmts)
|
|
|
|
}
|
|
|
|
ExpansionKind::Expr => Expansion::Expr(self.parse_expr()?),
|
|
|
|
ExpansionKind::OptExpr => Expansion::OptExpr(Some(self.parse_expr()?)),
|
2017-03-17 00:47:32 +03:00
|
|
|
ExpansionKind::Ty => Expansion::Ty(self.parse_ty()?),
|
2016-09-23 09:32:58 +00:00
|
|
|
ExpansionKind::Pat => Expansion::Pat(self.parse_pat()?),
|
|
|
|
})
|
|
|
|
}
|
2016-09-26 11:24:10 +00:00
|
|
|
|
2017-03-08 23:13:35 +00:00
|
|
|
pub fn ensure_complete_parse(&mut self, macro_path: &Path, kind_name: &str, span: Span) {
|
2016-09-26 11:24:10 +00:00
|
|
|
if self.token != token::Eof {
|
|
|
|
let msg = format!("macro expansion ignores token `{}` and any following",
|
|
|
|
self.this_token_to_string());
|
2017-07-31 23:04:34 +03:00
|
|
|
// Avoid emitting backtrace info twice.
|
|
|
|
let def_site_span = self.span.with_ctxt(SyntaxContext::empty());
|
2017-03-28 05:32:43 +00:00
|
|
|
let mut err = self.diagnostic().struct_span_err(def_site_span, &msg);
|
2016-09-26 11:24:10 +00:00
|
|
|
let msg = format!("caused by the macro expansion here; the usage \
|
|
|
|
of `{}!` is likely invalid in {} context",
|
2017-03-08 23:13:35 +00:00
|
|
|
macro_path, kind_name);
|
2016-09-26 11:24:10 +00:00
|
|
|
err.span_note(span, &msg).emit();
|
|
|
|
}
|
|
|
|
}
|
2016-09-02 09:12:47 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
struct InvocationCollector<'a, 'b: 'a> {
|
|
|
|
cx: &'a mut ExtCtxt<'b>,
|
2016-09-07 22:24:01 +00:00
|
|
|
cfg: StripUnconfigured<'a>,
|
2016-09-02 09:12:47 +00:00
|
|
|
invocations: Vec<Invocation>,
|
2016-09-06 05:42:45 +00:00
|
|
|
monotonic: bool,
|
2016-09-02 09:12:47 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a, 'b> InvocationCollector<'a, 'b> {
|
|
|
|
fn collect(&mut self, expansion_kind: ExpansionKind, kind: InvocationKind) -> Expansion {
|
2017-03-22 08:39:51 +00:00
|
|
|
let mark = Mark::fresh(self.cx.current_expansion.mark);
|
2016-09-02 09:12:47 +00:00
|
|
|
self.invocations.push(Invocation {
|
2017-08-06 22:54:09 -07:00
|
|
|
kind,
|
|
|
|
expansion_kind,
|
2016-09-26 22:54:36 +00:00
|
|
|
expansion_data: ExpansionData {
|
2017-08-06 22:54:09 -07:00
|
|
|
mark,
|
2016-09-26 22:54:36 +00:00
|
|
|
depth: self.cx.current_expansion.depth + 1,
|
|
|
|
..self.cx.current_expansion.clone()
|
|
|
|
},
|
2016-09-01 07:01:45 +00:00
|
|
|
});
|
2017-03-16 10:23:33 +00:00
|
|
|
placeholder(expansion_kind, NodeId::placeholder_from_mark(mark))
|
2016-09-02 09:12:47 +00:00
|
|
|
}
|
2016-09-01 07:01:45 +00:00
|
|
|
|
2016-12-01 11:54:01 +00:00
|
|
|
fn collect_bang(&mut self, mac: ast::Mac, span: Span, kind: ExpansionKind) -> Expansion {
|
|
|
|
self.collect(kind, InvocationKind::Bang { mac: mac, ident: None, span: span })
|
2016-09-02 09:12:47 +00:00
|
|
|
}
|
2016-09-01 07:01:45 +00:00
|
|
|
|
2017-02-02 07:01:15 +00:00
|
|
|
fn collect_attr(&mut self,
|
|
|
|
attr: Option<ast::Attribute>,
|
2017-03-08 23:13:35 +00:00
|
|
|
traits: Vec<Path>,
|
2017-02-02 07:01:15 +00:00
|
|
|
item: Annotatable,
|
|
|
|
kind: ExpansionKind)
|
2016-09-02 09:12:47 +00:00
|
|
|
-> Expansion {
|
2017-09-21 00:20:56 -07:00
|
|
|
self.collect(kind, InvocationKind::Attr { attr, traits, item })
|
2016-09-02 09:12:47 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// If `item` is an attr invocation, remove and return the macro attribute.
|
2017-03-08 23:13:35 +00:00
|
|
|
fn classify_item<T>(&mut self, mut item: T) -> (Option<ast::Attribute>, Vec<Path>, T)
|
2017-02-02 07:01:15 +00:00
|
|
|
where T: HasAttrs,
|
|
|
|
{
|
|
|
|
let (mut attr, mut traits) = (None, Vec::new());
|
2017-02-01 21:03:09 +10:30
|
|
|
|
2016-09-02 09:12:47 +00:00
|
|
|
item = item.map_attrs(|mut attrs| {
|
2017-02-02 07:01:15 +00:00
|
|
|
if let Some(legacy_attr_invoc) = self.cx.resolver.find_legacy_attr_invoc(&mut attrs) {
|
|
|
|
attr = Some(legacy_attr_invoc);
|
|
|
|
return attrs;
|
|
|
|
}
|
2017-02-01 21:03:09 +10:30
|
|
|
|
2017-02-02 07:01:15 +00:00
|
|
|
if self.cx.ecfg.proc_macro_enabled() {
|
|
|
|
attr = find_attr_invoc(&mut attrs);
|
|
|
|
}
|
|
|
|
traits = collect_derives(&mut self.cx, &mut attrs);
|
2016-09-02 09:12:47 +00:00
|
|
|
attrs
|
|
|
|
});
|
2017-02-01 21:03:09 +10:30
|
|
|
|
2017-02-02 07:01:15 +00:00
|
|
|
(attr, traits, item)
|
2016-09-02 09:12:47 +00:00
|
|
|
}
|
|
|
|
|
2016-09-07 22:24:01 +00:00
|
|
|
fn configure<T: HasAttrs>(&mut self, node: T) -> Option<T> {
|
|
|
|
self.cfg.configure(node)
|
|
|
|
}
|
2016-12-01 11:20:04 +00:00
|
|
|
|
|
|
|
// Detect use of feature-gated or invalid attributes on macro invocations
|
|
|
|
// since they will not be detected after macro expansion.
|
|
|
|
fn check_attributes(&mut self, attrs: &[ast::Attribute]) {
|
|
|
|
let features = self.cx.ecfg.features.unwrap();
|
|
|
|
for attr in attrs.iter() {
|
2017-05-12 20:05:39 +02:00
|
|
|
feature_gate::check_attribute(attr, self.cx.parse_sess, features);
|
2016-12-01 11:20:04 +00:00
|
|
|
}
|
|
|
|
}
|
2017-09-21 22:37:00 -05:00
|
|
|
|
|
|
|
fn check_attribute(&mut self, at: &ast::Attribute) {
|
|
|
|
let features = self.cx.ecfg.features.unwrap();
|
|
|
|
feature_gate::check_attribute(at, self.cx.parse_sess, features);
|
|
|
|
}
|
2013-08-29 12:10:02 -07:00
|
|
|
}
|
|
|
|
|
2017-03-01 08:44:05 +00:00
|
|
|
pub fn find_attr_invoc(attrs: &mut Vec<ast::Attribute>) -> Option<ast::Attribute> {
|
2017-05-12 20:05:39 +02:00
|
|
|
attrs.iter()
|
|
|
|
.position(|a| !attr::is_known(a) && !is_builtin_attr(a))
|
|
|
|
.map(|i| attrs.remove(i))
|
2017-02-02 07:01:15 +00:00
|
|
|
}
|
|
|
|
|
2016-09-02 09:12:47 +00:00
|
|
|
impl<'a, 'b> Folder for InvocationCollector<'a, 'b> {
|
2014-09-13 19:06:01 +03:00
|
|
|
fn fold_expr(&mut self, expr: P<ast::Expr>) -> P<ast::Expr> {
|
2016-09-07 22:24:01 +00:00
|
|
|
let mut expr = self.cfg.configure_expr(expr).unwrap();
|
|
|
|
expr.node = self.cfg.configure_expr_kind(expr.node);
|
|
|
|
|
2016-08-30 23:03:52 +00:00
|
|
|
if let ast::ExprKind::Mac(mac) = expr.node {
|
2016-12-01 11:54:01 +00:00
|
|
|
self.check_attributes(&expr.attrs);
|
|
|
|
self.collect_bang(mac, expr.span, ExpansionKind::Expr).make_expr()
|
2016-08-30 23:03:52 +00:00
|
|
|
} else {
|
|
|
|
P(noop_fold_expr(expr, self))
|
|
|
|
}
|
2013-08-29 12:10:02 -07:00
|
|
|
}
|
|
|
|
|
2016-05-16 10:09:23 +00:00
|
|
|
fn fold_opt_expr(&mut self, expr: P<ast::Expr>) -> Option<P<ast::Expr>> {
|
2016-09-07 22:24:01 +00:00
|
|
|
let mut expr = configure!(self, expr).unwrap();
|
|
|
|
expr.node = self.cfg.configure_expr_kind(expr.node);
|
|
|
|
|
2016-08-30 23:03:52 +00:00
|
|
|
if let ast::ExprKind::Mac(mac) = expr.node {
|
2016-12-01 11:54:01 +00:00
|
|
|
self.check_attributes(&expr.attrs);
|
|
|
|
self.collect_bang(mac, expr.span, ExpansionKind::OptExpr).make_opt_expr()
|
2016-08-30 23:03:52 +00:00
|
|
|
} else {
|
|
|
|
Some(P(noop_fold_expr(expr, self)))
|
|
|
|
}
|
2013-08-29 12:10:02 -07:00
|
|
|
}
|
|
|
|
|
2014-09-13 19:06:01 +03:00
|
|
|
fn fold_pat(&mut self, pat: P<ast::Pat>) -> P<ast::Pat> {
|
2017-01-03 19:13:01 -08:00
|
|
|
let pat = self.cfg.configure_pat(pat);
|
2016-08-30 23:03:52 +00:00
|
|
|
match pat.node {
|
|
|
|
PatKind::Mac(_) => {}
|
2016-09-01 07:01:45 +00:00
|
|
|
_ => return noop_fold_pat(pat, self),
|
2016-08-30 23:03:52 +00:00
|
|
|
}
|
2014-05-19 13:59:35 -07:00
|
|
|
|
2016-08-30 23:03:52 +00:00
|
|
|
pat.and_then(|pat| match pat.node {
|
2016-12-01 11:54:01 +00:00
|
|
|
PatKind::Mac(mac) => self.collect_bang(mac, pat.span, ExpansionKind::Pat).make_pat(),
|
2016-08-30 23:03:52 +00:00
|
|
|
_ => unreachable!(),
|
|
|
|
})
|
2013-08-29 12:10:02 -07:00
|
|
|
}
|
|
|
|
|
2016-02-11 23:33:09 +03:00
|
|
|
fn fold_stmt(&mut self, stmt: ast::Stmt) -> SmallVector<ast::Stmt> {
|
2016-09-07 22:24:01 +00:00
|
|
|
let stmt = match self.cfg.configure_stmt(stmt) {
|
|
|
|
Some(stmt) => stmt,
|
2016-11-02 22:33:35 -06:00
|
|
|
None => return SmallVector::new(),
|
2016-09-07 22:24:01 +00:00
|
|
|
};
|
|
|
|
|
2016-09-05 00:10:27 +00:00
|
|
|
let (mac, style, attrs) = if let StmtKind::Mac(mac) = stmt.node {
|
|
|
|
mac.unwrap()
|
|
|
|
} else {
|
|
|
|
// The placeholder expander gives ids to statements, so we avoid folding the id here.
|
|
|
|
let ast::Stmt { id, node, span } = stmt;
|
|
|
|
return noop_fold_stmt_kind(node, self).into_iter().map(|node| {
|
|
|
|
ast::Stmt { id: id, node: node, span: span }
|
|
|
|
}).collect()
|
2016-08-30 23:03:52 +00:00
|
|
|
};
|
|
|
|
|
2016-12-01 11:54:01 +00:00
|
|
|
self.check_attributes(&attrs);
|
|
|
|
let mut placeholder = self.collect_bang(mac, stmt.span, ExpansionKind::Stmts).make_stmts();
|
2016-08-30 23:03:52 +00:00
|
|
|
|
|
|
|
// If this is a macro invocation with a semicolon, then apply that
|
|
|
|
// semicolon to the final statement produced by expansion.
|
|
|
|
if style == MacStmtStyle::Semicolon {
|
2016-09-02 09:12:47 +00:00
|
|
|
if let Some(stmt) = placeholder.pop() {
|
|
|
|
placeholder.push(stmt.add_trailing_semicolon());
|
2016-08-30 23:03:52 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-09-02 09:12:47 +00:00
|
|
|
placeholder
|
2013-08-29 12:10:02 -07:00
|
|
|
}
|
|
|
|
|
2013-12-27 20:34:51 -07:00
|
|
|
fn fold_block(&mut self, block: P<Block>) -> P<Block> {
|
2016-11-05 04:16:26 +00:00
|
|
|
let old_directory_ownership = self.cx.current_expansion.directory_ownership;
|
|
|
|
self.cx.current_expansion.directory_ownership = DirectoryOwnership::UnownedViaBlock;
|
2016-09-01 06:44:54 +00:00
|
|
|
let result = noop_fold_block(block, self);
|
2016-11-05 04:16:26 +00:00
|
|
|
self.cx.current_expansion.directory_ownership = old_directory_ownership;
|
2016-03-01 09:28:42 +00:00
|
|
|
result
|
2013-08-29 12:10:02 -07:00
|
|
|
}
|
|
|
|
|
2016-08-30 23:03:52 +00:00
|
|
|
fn fold_item(&mut self, item: P<ast::Item>) -> SmallVector<P<ast::Item>> {
|
2016-09-07 22:24:01 +00:00
|
|
|
let item = configure!(self, item);
|
|
|
|
|
2017-02-02 07:01:15 +00:00
|
|
|
let (attr, traits, mut item) = self.classify_item(item);
|
|
|
|
if attr.is_some() || !traits.is_empty() {
|
2017-09-12 21:55:41 +02:00
|
|
|
let item = Annotatable::Item(item);
|
2017-02-02 07:01:15 +00:00
|
|
|
return self.collect_attr(attr, traits, item, ExpansionKind::Items).make_items();
|
2016-08-30 23:03:52 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
match item.node {
|
|
|
|
ast::ItemKind::Mac(..) => {
|
2016-12-01 11:20:04 +00:00
|
|
|
self.check_attributes(&item.attrs);
|
2017-03-05 05:15:58 +00:00
|
|
|
item.and_then(|item| match item.node {
|
2016-08-30 23:03:52 +00:00
|
|
|
ItemKind::Mac(mac) => {
|
2016-09-02 09:12:47 +00:00
|
|
|
self.collect(ExpansionKind::Items, InvocationKind::Bang {
|
2017-08-06 22:54:09 -07:00
|
|
|
mac,
|
2016-08-30 23:03:52 +00:00
|
|
|
ident: Some(item.ident),
|
|
|
|
span: item.span,
|
2016-09-02 09:12:47 +00:00
|
|
|
}).make_items()
|
2016-08-30 23:03:52 +00:00
|
|
|
}
|
|
|
|
_ => unreachable!(),
|
|
|
|
})
|
|
|
|
}
|
|
|
|
ast::ItemKind::Mod(ast::Mod { inner, .. }) => {
|
2016-09-06 01:45:23 +00:00
|
|
|
if item.ident == keywords::Invalid.ident() {
|
|
|
|
return noop_fold_item(item, self);
|
|
|
|
}
|
|
|
|
|
2016-11-05 04:16:26 +00:00
|
|
|
let orig_directory_ownership = self.cx.current_expansion.directory_ownership;
|
2016-09-07 23:21:59 +00:00
|
|
|
let mut module = (*self.cx.current_expansion.module).clone();
|
|
|
|
module.mod_path.push(item.ident);
|
2016-09-05 04:08:38 +00:00
|
|
|
|
|
|
|
// Detect if this is an inline module (`mod m { ... }` as opposed to `mod m;`).
|
|
|
|
// In the non-inline case, `inner` is never the dummy span (c.f. `parse_item_mod`).
|
|
|
|
// Thus, if `inner` is the dummy span, we know the module is inline.
|
2017-03-08 23:13:35 +00:00
|
|
|
let inline_module = item.span.contains(inner) || inner == DUMMY_SP;
|
2016-09-05 04:08:38 +00:00
|
|
|
|
|
|
|
if inline_module {
|
2016-09-27 21:14:45 +00:00
|
|
|
if let Some(path) = attr::first_attr_value_str_by_name(&item.attrs, "path") {
|
2016-11-05 04:16:26 +00:00
|
|
|
self.cx.current_expansion.directory_ownership = DirectoryOwnership::Owned;
|
2016-11-16 10:52:37 +00:00
|
|
|
module.directory.push(&*path.as_str());
|
2016-09-27 21:14:45 +00:00
|
|
|
} else {
|
|
|
|
module.directory.push(&*item.ident.name.as_str());
|
|
|
|
}
|
2016-08-30 23:03:52 +00:00
|
|
|
} else {
|
2017-12-14 08:09:19 +01:00
|
|
|
let path = self.cx.parse_sess.codemap().span_to_unmapped_path(inner);
|
|
|
|
let mut path = match path {
|
|
|
|
FileName::Real(path) => path,
|
|
|
|
other => PathBuf::from(other.to_string()),
|
|
|
|
};
|
2016-11-05 04:16:26 +00:00
|
|
|
let directory_ownership = match path.file_name().unwrap().to_str() {
|
|
|
|
Some("mod.rs") => DirectoryOwnership::Owned,
|
2016-11-14 09:31:03 +00:00
|
|
|
_ => DirectoryOwnership::UnownedViaMod(false),
|
2016-11-05 04:16:26 +00:00
|
|
|
};
|
|
|
|
path.pop();
|
|
|
|
module.directory = path;
|
|
|
|
self.cx.current_expansion.directory_ownership = directory_ownership;
|
2016-08-30 23:03:52 +00:00
|
|
|
}
|
|
|
|
|
2016-09-07 23:21:59 +00:00
|
|
|
let orig_module =
|
|
|
|
mem::replace(&mut self.cx.current_expansion.module, Rc::new(module));
|
2016-09-01 06:44:54 +00:00
|
|
|
let result = noop_fold_item(item, self);
|
2016-09-07 23:21:59 +00:00
|
|
|
self.cx.current_expansion.module = orig_module;
|
2016-11-05 04:16:26 +00:00
|
|
|
self.cx.current_expansion.directory_ownership = orig_directory_ownership;
|
2017-05-12 20:05:39 +02:00
|
|
|
result
|
2016-09-07 23:21:59 +00:00
|
|
|
}
|
2016-09-23 07:23:01 +00:00
|
|
|
// Ensure that test functions are accessible from the test harness.
|
|
|
|
ast::ItemKind::Fn(..) if self.cx.ecfg.should_test => {
|
|
|
|
if item.attrs.iter().any(|attr| is_test_or_bench(attr)) {
|
|
|
|
item = item.map(|mut item| { item.vis = ast::Visibility::Public; item });
|
|
|
|
}
|
|
|
|
noop_fold_item(item, self)
|
|
|
|
}
|
2016-08-30 23:03:52 +00:00
|
|
|
_ => noop_fold_item(item, self),
|
|
|
|
}
|
2014-12-02 10:07:41 -08:00
|
|
|
}
|
|
|
|
|
2016-08-30 23:03:52 +00:00
|
|
|
fn fold_trait_item(&mut self, item: ast::TraitItem) -> SmallVector<ast::TraitItem> {
|
2016-09-07 22:24:01 +00:00
|
|
|
let item = configure!(self, item);
|
|
|
|
|
2017-02-02 07:01:15 +00:00
|
|
|
let (attr, traits, item) = self.classify_item(item);
|
|
|
|
if attr.is_some() || !traits.is_empty() {
|
2017-09-12 21:55:41 +02:00
|
|
|
let item = Annotatable::TraitItem(P(item));
|
2017-02-02 07:01:15 +00:00
|
|
|
return self.collect_attr(attr, traits, item, ExpansionKind::TraitItems)
|
|
|
|
.make_trait_items()
|
2016-08-30 23:03:52 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
match item.node {
|
|
|
|
ast::TraitItemKind::Macro(mac) => {
|
|
|
|
let ast::TraitItem { attrs, span, .. } = item;
|
2016-12-01 11:54:01 +00:00
|
|
|
self.check_attributes(&attrs);
|
|
|
|
self.collect_bang(mac, span, ExpansionKind::TraitItems).make_trait_items()
|
2016-08-30 23:03:52 +00:00
|
|
|
}
|
|
|
|
_ => fold::noop_fold_trait_item(item, self),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn fold_impl_item(&mut self, item: ast::ImplItem) -> SmallVector<ast::ImplItem> {
|
2016-09-07 22:24:01 +00:00
|
|
|
let item = configure!(self, item);
|
|
|
|
|
2017-02-02 07:01:15 +00:00
|
|
|
let (attr, traits, item) = self.classify_item(item);
|
|
|
|
if attr.is_some() || !traits.is_empty() {
|
2017-09-12 21:55:41 +02:00
|
|
|
let item = Annotatable::ImplItem(P(item));
|
2017-02-02 07:01:15 +00:00
|
|
|
return self.collect_attr(attr, traits, item, ExpansionKind::ImplItems)
|
|
|
|
.make_impl_items();
|
2016-08-30 23:03:52 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
match item.node {
|
|
|
|
ast::ImplItemKind::Macro(mac) => {
|
|
|
|
let ast::ImplItem { attrs, span, .. } = item;
|
2016-12-01 11:54:01 +00:00
|
|
|
self.check_attributes(&attrs);
|
|
|
|
self.collect_bang(mac, span, ExpansionKind::ImplItems).make_impl_items()
|
2016-08-30 23:03:52 +00:00
|
|
|
}
|
2016-09-01 07:01:45 +00:00
|
|
|
_ => fold::noop_fold_impl_item(item, self),
|
2016-08-30 23:03:52 +00:00
|
|
|
}
|
2014-07-04 11:24:28 -07:00
|
|
|
}
|
|
|
|
|
2015-07-25 21:54:19 -07:00
|
|
|
fn fold_ty(&mut self, ty: P<ast::Ty>) -> P<ast::Ty> {
|
2016-08-30 23:03:52 +00:00
|
|
|
let ty = match ty.node {
|
|
|
|
ast::TyKind::Mac(_) => ty.unwrap(),
|
|
|
|
_ => return fold::noop_fold_ty(ty, self),
|
|
|
|
};
|
|
|
|
|
|
|
|
match ty.node {
|
2016-12-01 11:54:01 +00:00
|
|
|
ast::TyKind::Mac(mac) => self.collect_bang(mac, ty.span, ExpansionKind::Ty).make_ty(),
|
2016-08-30 23:03:52 +00:00
|
|
|
_ => unreachable!(),
|
|
|
|
}
|
2015-07-25 21:54:19 -07:00
|
|
|
}
|
2016-09-07 22:24:01 +00:00
|
|
|
|
|
|
|
fn fold_foreign_mod(&mut self, foreign_mod: ast::ForeignMod) -> ast::ForeignMod {
|
|
|
|
noop_fold_foreign_mod(self.cfg.configure_foreign_mod(foreign_mod), self)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn fold_item_kind(&mut self, item: ast::ItemKind) -> ast::ItemKind {
|
2017-03-05 05:15:58 +00:00
|
|
|
match item {
|
|
|
|
ast::ItemKind::MacroDef(..) => item,
|
|
|
|
_ => noop_fold_item_kind(self.cfg.configure_item_kind(item), self),
|
|
|
|
}
|
2016-09-07 22:24:01 +00:00
|
|
|
}
|
2016-09-05 00:10:27 +00:00
|
|
|
|
2017-09-21 22:37:00 -05:00
|
|
|
fn fold_attribute(&mut self, at: ast::Attribute) -> Option<ast::Attribute> {
|
|
|
|
// turn `#[doc(include="filename")]` attributes into `#[doc(include(file="filename",
|
|
|
|
// contents="file contents")]` attributes
|
|
|
|
if !at.check_name("doc") {
|
|
|
|
return noop_fold_attribute(at, self);
|
|
|
|
}
|
|
|
|
|
|
|
|
if let Some(list) = at.meta_item_list() {
|
|
|
|
if !list.iter().any(|it| it.check_name("include")) {
|
|
|
|
return noop_fold_attribute(at, self);
|
|
|
|
}
|
|
|
|
|
|
|
|
let mut items = vec![];
|
|
|
|
|
|
|
|
for it in list {
|
|
|
|
if !it.check_name("include") {
|
|
|
|
items.push(noop_fold_meta_list_item(it, self));
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
|
|
|
if let Some(file) = it.value_str() {
|
|
|
|
let err_count = self.cx.parse_sess.span_diagnostic.err_count();
|
|
|
|
self.check_attribute(&at);
|
|
|
|
if self.cx.parse_sess.span_diagnostic.err_count() > err_count {
|
|
|
|
// avoid loading the file if they haven't enabled the feature
|
|
|
|
return noop_fold_attribute(at, self);
|
|
|
|
}
|
|
|
|
|
|
|
|
let mut buf = vec![];
|
|
|
|
let filename = self.cx.root_path.join(file.to_string());
|
|
|
|
|
|
|
|
match File::open(&filename).and_then(|mut f| f.read_to_end(&mut buf)) {
|
|
|
|
Ok(..) => {}
|
|
|
|
Err(e) => {
|
|
|
|
self.cx.span_warn(at.span,
|
|
|
|
&format!("couldn't read {}: {}",
|
|
|
|
filename.display(),
|
|
|
|
e));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
match String::from_utf8(buf) {
|
|
|
|
Ok(src) => {
|
|
|
|
let include_info = vec![
|
|
|
|
dummy_spanned(ast::NestedMetaItemKind::MetaItem(
|
|
|
|
attr::mk_name_value_item_str("file".into(),
|
|
|
|
file))),
|
|
|
|
dummy_spanned(ast::NestedMetaItemKind::MetaItem(
|
|
|
|
attr::mk_name_value_item_str("contents".into(),
|
|
|
|
(&*src).into()))),
|
|
|
|
];
|
|
|
|
|
|
|
|
items.push(dummy_spanned(ast::NestedMetaItemKind::MetaItem(
|
|
|
|
attr::mk_list_item("include".into(), include_info))));
|
|
|
|
}
|
|
|
|
Err(_) => {
|
|
|
|
self.cx.span_warn(at.span,
|
|
|
|
&format!("{} wasn't a utf-8 file",
|
|
|
|
filename.display()));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
items.push(noop_fold_meta_list_item(it, self));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
let meta = attr::mk_list_item("doc".into(), items);
|
|
|
|
match at.style {
|
|
|
|
ast::AttrStyle::Inner =>
|
|
|
|
Some(attr::mk_spanned_attr_inner(at.span, at.id, meta)),
|
|
|
|
ast::AttrStyle::Outer =>
|
|
|
|
Some(attr::mk_spanned_attr_outer(at.span, at.id, meta)),
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
noop_fold_attribute(at, self)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-09-05 00:10:27 +00:00
|
|
|
fn new_id(&mut self, id: ast::NodeId) -> ast::NodeId {
|
2016-09-06 05:42:45 +00:00
|
|
|
if self.monotonic {
|
|
|
|
assert_eq!(id, ast::DUMMY_NODE_ID);
|
|
|
|
self.cx.resolver.next_node_id()
|
|
|
|
} else {
|
|
|
|
id
|
|
|
|
}
|
2016-09-05 00:10:27 +00:00
|
|
|
}
|
2013-07-16 15:05:50 +10:00
|
|
|
}
|
|
|
|
|
2015-02-15 21:30:45 +01:00
|
|
|
pub struct ExpansionConfig<'feat> {
|
2014-06-06 13:21:18 -07:00
|
|
|
pub crate_name: String,
|
2015-02-15 21:30:45 +01:00
|
|
|
pub features: Option<&'feat Features>,
|
2015-01-17 23:33:05 +00:00
|
|
|
pub recursion_limit: usize,
|
2015-04-14 15:36:38 +02:00
|
|
|
pub trace_mac: bool,
|
2016-06-01 01:27:12 +00:00
|
|
|
pub should_test: bool, // If false, strip `#[test]` nodes
|
2016-09-12 09:47:54 +00:00
|
|
|
pub single_step: bool,
|
|
|
|
pub keep_macs: bool,
|
2014-09-26 17:14:23 -07:00
|
|
|
}
|
|
|
|
|
2015-03-06 12:56:28 -08:00
|
|
|
macro_rules! feature_tests {
|
|
|
|
($( fn $getter:ident = $field:ident, )*) => {
|
|
|
|
$(
|
|
|
|
pub fn $getter(&self) -> bool {
|
|
|
|
match self.features {
|
|
|
|
Some(&Features { $field: true, .. }) => true,
|
|
|
|
_ => false,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
)*
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-02-15 21:30:45 +01:00
|
|
|
impl<'feat> ExpansionConfig<'feat> {
|
|
|
|
pub fn default(crate_name: String) -> ExpansionConfig<'static> {
|
2014-09-26 17:14:23 -07:00
|
|
|
ExpansionConfig {
|
2017-08-06 22:54:09 -07:00
|
|
|
crate_name,
|
2015-02-15 21:30:45 +01:00
|
|
|
features: None,
|
2017-05-01 13:49:15 -04:00
|
|
|
recursion_limit: 1024,
|
2015-04-14 15:36:38 +02:00
|
|
|
trace_mac: false,
|
2016-06-01 01:27:12 +00:00
|
|
|
should_test: false,
|
2016-09-12 09:47:54 +00:00
|
|
|
single_step: false,
|
|
|
|
keep_macs: false,
|
2014-09-26 17:14:23 -07:00
|
|
|
}
|
|
|
|
}
|
2015-02-15 21:30:45 +01:00
|
|
|
|
2015-03-06 12:56:28 -08:00
|
|
|
feature_tests! {
|
2016-04-04 17:08:41 +02:00
|
|
|
fn enable_quotes = quote,
|
|
|
|
fn enable_asm = asm,
|
2017-03-15 21:27:40 -05:00
|
|
|
fn enable_global_asm = global_asm,
|
2016-04-04 17:08:41 +02:00
|
|
|
fn enable_log_syntax = log_syntax,
|
|
|
|
fn enable_concat_idents = concat_idents,
|
|
|
|
fn enable_trace_macros = trace_macros,
|
2015-03-06 12:56:28 -08:00
|
|
|
fn enable_allow_internal_unstable = allow_internal_unstable,
|
2016-04-04 17:08:41 +02:00
|
|
|
fn enable_custom_derive = custom_derive,
|
2017-02-02 07:01:15 +00:00
|
|
|
fn proc_macro_enabled = proc_macro,
|
Add #[allow_internal_unstable] to track stability for macros better.
Unstable items used in a macro expansion will now always trigger
stability warnings, *unless* the unstable items are directly inside a
macro marked with `#[allow_internal_unstable]`. IOW, the compiler warns
unless the span of the unstable item is a subspan of the definition of a
macro marked with that attribute.
E.g.
#[allow_internal_unstable]
macro_rules! foo {
($e: expr) => {{
$e;
unstable(); // no warning
only_called_by_foo!();
}}
}
macro_rules! only_called_by_foo {
() => { unstable() } // warning
}
foo!(unstable()) // warning
The unstable inside `foo` is fine, due to the attribute. But the
`unstable` inside `only_called_by_foo` is not, since that macro doesn't
have the attribute, and the `unstable` passed into `foo` is also not
fine since it isn't contained in the macro itself (that is, even though
it is only used directly in the macro).
In the process this makes the stability tracking much more precise,
e.g. previously `println!("{}", unstable())` got no warning, but now it
does. As such, this is a bug fix that may cause [breaking-change]s.
The attribute is definitely feature gated, since it explicitly allows
side-stepping the feature gating system.
2015-03-01 14:09:28 +11:00
|
|
|
}
|
2014-02-28 23:17:38 -08:00
|
|
|
}
|
|
|
|
|
2017-03-17 04:04:41 +00:00
|
|
|
// A Marker adds the given mark to the syntax context.
|
2017-07-19 21:54:01 -07:00
|
|
|
#[derive(Debug)]
|
2017-03-28 05:32:43 +00:00
|
|
|
pub struct Marker(pub Mark);
|
2013-07-09 15:56:21 -07:00
|
|
|
|
2014-02-07 00:38:33 +02:00
|
|
|
impl Folder for Marker {
|
2016-06-22 08:03:42 +00:00
|
|
|
fn fold_ident(&mut self, mut ident: Ident) -> Ident {
|
2017-03-17 04:04:41 +00:00
|
|
|
ident.ctxt = ident.ctxt.apply_mark(self.0);
|
2016-06-22 08:03:42 +00:00
|
|
|
ident
|
|
|
|
}
|
2016-05-17 21:20:09 +00:00
|
|
|
|
2017-07-31 23:04:34 +03:00
|
|
|
fn new_span(&mut self, span: Span) -> Span {
|
|
|
|
span.with_ctxt(span.ctxt().apply_mark(self.0))
|
2013-07-09 15:56:21 -07:00
|
|
|
}
|
2017-03-17 04:04:41 +00:00
|
|
|
|
|
|
|
fn fold_mac(&mut self, mac: ast::Mac) -> ast::Mac {
|
|
|
|
noop_fold_mac(mac, self)
|
|
|
|
}
|
2013-07-09 15:56:21 -07:00
|
|
|
}
|