rust/crates/proc-macro-api/src/msg.rs

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

168 lines
5.0 KiB
Rust
Raw Normal View History

2020-04-20 13:26:10 -05:00
//! Defines messages for cross-process message passing based on `ndjson` wire protocol
pub(crate) mod flat;
2020-03-26 15:26:34 -05:00
use std::{
io::{self, BufRead, Write},
path::PathBuf,
2020-03-26 15:26:34 -05:00
};
2020-08-12 09:46:20 -05:00
use serde::{de::DeserializeOwned, Deserialize, Serialize};
use crate::ProcMacroKind;
pub use crate::msg::flat::FlatTree;
2020-03-26 15:26:34 -05:00
// The versions of the server protocol
2023-02-01 04:04:20 -06:00
pub const NO_VERSION_CHECK_VERSION: u32 = 0;
pub const VERSION_CHECK_VERSION: u32 = 1;
pub const ENCODE_CLOSE_SPAN_VERSION: u32 = 2;
pub const CURRENT_API_VERSION: u32 = ENCODE_CLOSE_SPAN_VERSION;
2023-02-01 04:04:20 -06:00
#[derive(Debug, Serialize, Deserialize)]
2020-03-28 05:12:51 -05:00
pub enum Request {
ListMacros { dylib_path: PathBuf },
ExpandMacro(ExpandMacro),
2023-02-01 04:04:20 -06:00
ApiVersionCheck {},
2020-03-26 15:26:34 -05:00
}
#[derive(Debug, Serialize, Deserialize)]
2020-03-28 05:12:51 -05:00
pub enum Response {
ListMacros(Result<Vec<(String, ProcMacroKind)>, String>),
ExpandMacro(Result<FlatTree, PanicMessage>),
2023-02-01 04:04:20 -06:00
ApiVersionCheck(u32),
2020-03-26 15:26:34 -05:00
}
#[derive(Debug, Serialize, Deserialize)]
pub struct PanicMessage(pub String);
2020-03-26 15:26:34 -05:00
#[derive(Debug, Serialize, Deserialize)]
pub struct ExpandMacro {
/// Argument of macro call.
///
/// In custom derive this will be a struct or enum; in attribute-like macro - underlying
/// item; in function-like macro - the macro body.
pub macro_body: FlatTree,
/// Name of macro to expand.
///
/// In custom derive this is the name of the derived trait (`Serialize`, `Getters`, etc.).
/// In attribute-like and function-like macros - single name of macro itself (`show_streams`).
pub macro_name: String,
/// Possible attributes for the attribute-like macros.
pub attributes: Option<FlatTree>,
pub lib: PathBuf,
/// Environment variables to set during macro expansion.
pub env: Vec<(String, String)>,
pub current_dir: Option<String>,
2020-03-26 15:26:34 -05:00
}
2020-04-20 13:26:10 -05:00
pub trait Message: Serialize + DeserializeOwned {
fn read(inp: &mut impl BufRead, buf: &mut String) -> io::Result<Option<Self>> {
Ok(match read_json(inp, buf)? {
2020-04-20 13:26:10 -05:00
None => None,
Some(text) => {
2021-06-12 22:54:16 -05:00
let mut deserializer = serde_json::Deserializer::from_str(text);
// Note that some proc-macro generate very deep syntax tree
// We have to disable the current limit of serde here
deserializer.disable_recursion_limit();
Some(Self::deserialize(&mut deserializer)?)
}
2020-04-20 13:26:10 -05:00
})
2020-03-26 15:26:34 -05:00
}
2020-04-20 13:26:10 -05:00
fn write(self, out: &mut impl Write) -> io::Result<()> {
2020-03-28 05:12:51 -05:00
let text = serde_json::to_string(&self)?;
2020-04-20 13:26:10 -05:00
write_json(out, &text)
2020-03-26 15:26:34 -05:00
}
}
2020-03-28 05:12:51 -05:00
impl Message for Request {}
impl Message for Response {}
2020-03-26 15:26:34 -05:00
2022-03-12 06:04:13 -06:00
fn read_json<'a>(inp: &mut impl BufRead, buf: &'a mut String) -> io::Result<Option<&'a String>> {
loop {
buf.clear();
2022-03-12 06:04:13 -06:00
inp.read_line(buf)?;
buf.pop(); // Remove trailing '\n'
if buf.is_empty() {
return Ok(None);
}
// Some ill behaved macro try to use stdout for debugging
// We ignore it here
if !buf.starts_with('{') {
2021-08-15 07:46:13 -05:00
tracing::error!("proc-macro tried to print : {}", buf);
continue;
}
return Ok(Some(buf));
}
2020-03-26 15:26:34 -05:00
}
2020-03-28 05:12:51 -05:00
fn write_json(out: &mut impl Write, msg: &str) -> io::Result<()> {
2021-08-15 07:46:13 -05:00
tracing::debug!("> {}", msg);
2020-03-26 15:26:34 -05:00
out.write_all(msg.as_bytes())?;
2020-03-28 05:12:51 -05:00
out.write_all(b"\n")?;
2020-03-26 15:26:34 -05:00
out.flush()?;
Ok(())
}
#[cfg(test)]
mod tests {
use super::*;
2023-01-31 04:49:49 -06:00
use crate::tt::*;
fn fixture_token_tree() -> Subtree {
2023-01-31 04:49:49 -06:00
let mut subtree = Subtree { delimiter: Delimiter::unspecified(), token_trees: Vec::new() };
subtree
.token_trees
2023-01-31 04:49:49 -06:00
.push(TokenTree::Leaf(Ident { text: "struct".into(), span: TokenId(0) }.into()));
subtree
.token_trees
2023-01-31 04:49:49 -06:00
.push(TokenTree::Leaf(Ident { text: "Foo".into(), span: TokenId(1) }.into()));
subtree.token_trees.push(TokenTree::Leaf(Leaf::Literal(Literal {
text: "Foo".into(),
2023-01-31 04:49:49 -06:00
span: TokenId::unspecified(),
})));
subtree.token_trees.push(TokenTree::Leaf(Leaf::Punct(Punct {
char: '@',
2023-01-31 04:49:49 -06:00
span: TokenId::unspecified(),
spacing: Spacing::Joint,
})));
subtree.token_trees.push(TokenTree::Subtree(Subtree {
2023-01-31 04:49:49 -06:00
delimiter: Delimiter {
open: TokenId(2),
close: TokenId::UNSPECIFIED,
kind: DelimiterKind::Brace,
},
token_trees: vec![],
}));
subtree
}
#[test]
fn test_proc_macro_rpc_works() {
let tt = fixture_token_tree();
let task = ExpandMacro {
macro_body: FlatTree::new(&tt, CURRENT_API_VERSION),
macro_name: Default::default(),
attributes: None,
lib: std::env::current_dir().unwrap(),
env: Default::default(),
current_dir: Default::default(),
};
let json = serde_json::to_string(&task).unwrap();
// println!("{}", json);
let back: ExpandMacro = serde_json::from_str(&json).unwrap();
assert_eq!(tt, back.macro_body.to_subtree(CURRENT_API_VERSION));
}
}