2020-03-18 09:47:59 +00:00
|
|
|
//! Proc Macro Expander stub
|
|
|
|
|
2021-10-27 12:35:58 +00:00
|
|
|
use base_db::{CrateId, ProcMacroExpansionError, ProcMacroId, ProcMacroKind};
|
2022-06-24 11:03:13 +00:00
|
|
|
use stdx::never;
|
2020-03-18 09:47:59 +00:00
|
|
|
|
2023-03-13 15:33:52 +00:00
|
|
|
use crate::{db::ExpandDatabase, tt, ExpandError, ExpandResult};
|
2021-10-27 12:35:58 +00:00
|
|
|
|
2020-03-18 09:47:59 +00:00
|
|
|
#[derive(Debug, Clone, Copy, Eq, PartialEq, Hash)]
|
|
|
|
pub struct ProcMacroExpander {
|
2020-09-18 14:43:50 +00:00
|
|
|
proc_macro_id: Option<ProcMacroId>,
|
2020-03-18 09:47:59 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
impl ProcMacroExpander {
|
2023-03-13 15:49:32 +00:00
|
|
|
pub fn new(proc_macro_id: ProcMacroId) -> Self {
|
|
|
|
Self { proc_macro_id: Some(proc_macro_id) }
|
2020-09-18 14:43:50 +00:00
|
|
|
}
|
|
|
|
|
2023-03-13 15:49:32 +00:00
|
|
|
pub fn dummy() -> Self {
|
|
|
|
Self { proc_macro_id: None }
|
2020-03-18 09:47:59 +00:00
|
|
|
}
|
|
|
|
|
2021-05-31 11:37:11 +00:00
|
|
|
pub fn is_dummy(&self) -> bool {
|
|
|
|
self.proc_macro_id.is_none()
|
|
|
|
}
|
|
|
|
|
2020-03-18 09:47:59 +00:00
|
|
|
pub fn expand(
|
2020-05-26 18:12:13 +00:00
|
|
|
self,
|
2023-03-13 15:33:52 +00:00
|
|
|
db: &dyn ExpandDatabase,
|
2023-03-13 15:49:32 +00:00
|
|
|
def_crate: CrateId,
|
2020-12-11 13:57:50 +00:00
|
|
|
calling_crate: CrateId,
|
2020-03-18 12:56:46 +00:00
|
|
|
tt: &tt::Subtree,
|
2021-05-31 11:37:11 +00:00
|
|
|
attr_arg: Option<&tt::Subtree>,
|
2021-08-20 12:34:46 +00:00
|
|
|
) -> ExpandResult<tt::Subtree> {
|
2020-09-18 14:43:50 +00:00
|
|
|
match self.proc_macro_id {
|
|
|
|
Some(id) => {
|
2023-03-25 15:42:52 +00:00
|
|
|
let proc_macros = db.proc_macros();
|
|
|
|
let proc_macros = match proc_macros.get(&def_crate) {
|
|
|
|
Some(Ok(proc_macros)) => proc_macros,
|
|
|
|
Some(Err(_)) | None => {
|
2022-06-24 11:03:13 +00:00
|
|
|
never!("Non-dummy expander even though there are no proc macros");
|
2023-04-16 17:20:48 +00:00
|
|
|
return ExpandResult::new(
|
2023-01-31 10:49:49 +00:00
|
|
|
tt::Subtree::empty(),
|
|
|
|
ExpandError::Other("Internal error".into()),
|
|
|
|
);
|
2022-06-15 15:33:55 +00:00
|
|
|
}
|
|
|
|
};
|
|
|
|
let proc_macro = match proc_macros.get(id.0 as usize) {
|
2021-08-20 12:34:46 +00:00
|
|
|
Some(proc_macro) => proc_macro,
|
2022-02-21 18:14:06 +00:00
|
|
|
None => {
|
2022-06-24 11:03:13 +00:00
|
|
|
never!(
|
|
|
|
"Proc macro index out of bounds: the length is {} but the index is {}",
|
|
|
|
proc_macros.len(),
|
|
|
|
id.0
|
|
|
|
);
|
2023-04-16 17:20:48 +00:00
|
|
|
return ExpandResult::new(
|
2023-01-31 10:49:49 +00:00
|
|
|
tt::Subtree::empty(),
|
|
|
|
ExpandError::Other("Internal error".into()),
|
|
|
|
);
|
2022-02-21 18:14:06 +00:00
|
|
|
}
|
2021-08-20 12:34:46 +00:00
|
|
|
};
|
2020-09-18 14:43:50 +00:00
|
|
|
|
2023-03-25 15:42:52 +00:00
|
|
|
let krate_graph = db.crate_graph();
|
2020-12-11 13:57:50 +00:00
|
|
|
// Proc macros have access to the environment variables of the invoking crate.
|
|
|
|
let env = &krate_graph[calling_crate].env;
|
2021-10-27 12:35:58 +00:00
|
|
|
match proc_macro.expander.expand(tt, attr_arg, env) {
|
|
|
|
Ok(t) => ExpandResult::ok(t),
|
|
|
|
Err(err) => match err {
|
|
|
|
// Don't discard the item in case something unexpected happened while expanding attributes
|
|
|
|
ProcMacroExpansionError::System(text)
|
|
|
|
if proc_macro.kind == ProcMacroKind::Attr =>
|
|
|
|
{
|
|
|
|
ExpandResult {
|
|
|
|
value: tt.clone(),
|
2022-02-21 18:14:06 +00:00
|
|
|
err: Some(ExpandError::Other(text.into())),
|
2021-10-27 12:35:58 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
ProcMacroExpansionError::System(text)
|
2023-04-16 17:20:48 +00:00
|
|
|
| ProcMacroExpansionError::Panic(text) => {
|
|
|
|
ExpandResult::new(tt::Subtree::empty(), ExpandError::Other(text.into()))
|
|
|
|
}
|
2021-10-27 12:35:58 +00:00
|
|
|
},
|
|
|
|
}
|
2020-09-18 14:43:50 +00:00
|
|
|
}
|
2023-04-16 17:20:48 +00:00
|
|
|
None => {
|
|
|
|
ExpandResult::new(tt::Subtree::empty(), ExpandError::UnresolvedProcMacro(def_crate))
|
|
|
|
}
|
2020-09-18 14:43:50 +00:00
|
|
|
}
|
2020-03-18 09:47:59 +00:00
|
|
|
}
|
|
|
|
}
|