| //! Internal interface for communicating between a `proc_macro` client |
| //! (a proc macro crate) and a `proc_macro` server (a compiler front-end). |
| //! |
| //! Serialization (with C ABI buffers) and unique integer handles are employed |
| //! to allow safely interfacing between two copies of `proc_macro` built |
| //! (from the same source) by different compilers with potentially mismatching |
| //! Rust ABIs (e.g., stage0/bin/rustc vs stage1/bin/rustc during bootstrap). |
| |
| #![deny(unsafe_code)] |
| |
| use std::hash::Hash; |
| use std::ops::{Bound, Range}; |
| use std::sync::Once; |
| use std::{fmt, marker, mem, panic, thread}; |
| |
| use crate::{Delimiter, Level}; |
| |
| /// Higher-order macro describing the server RPC API, allowing automatic |
| /// generation of type-safe Rust APIs, both client-side and server-side. |
| /// |
| /// `with_api!(my_macro, MyTokenStream, MySpan, MySymbol)` expands to: |
| /// ```rust,ignore (pseudo-code) |
| /// my_macro! { |
| /// fn ts_clone(stream: &MyTokenStream) -> MyTokenStream; |
| /// fn span_debug(span: &MySpan) -> String; |
| /// // ... |
| /// } |
| /// ``` |
| /// |
| /// The second (`TokenStream`), third (`Span`) and fourth (`Symbol`) |
| /// argument serve to customize the argument/return types that need |
| /// special handling, to enable several different representations of |
| /// these types. |
| macro_rules! with_api { |
| ($m:ident, $TokenStream: path, $Span: path, $Symbol: path) => { |
| $m! { |
| fn injected_env_var(var: &str) -> Option<String>; |
| fn track_env_var(var: &str, value: Option<&str>); |
| fn track_path(path: &str); |
| fn literal_from_str(s: &str) -> Result<Literal<$Span, $Symbol>, String>; |
| fn emit_diagnostic(diagnostic: Diagnostic<$Span>); |
| |
| fn ts_drop(stream: $TokenStream); |
| fn ts_clone(stream: &$TokenStream) -> $TokenStream; |
| fn ts_is_empty(stream: &$TokenStream) -> bool; |
| fn ts_expand_expr(stream: &$TokenStream) -> Result<$TokenStream, ()>; |
| fn ts_from_str(src: &str) -> Result<$TokenStream, String>; |
| fn ts_to_string(stream: &$TokenStream) -> String; |
| fn ts_from_token_tree( |
| tree: TokenTree<$TokenStream, $Span, $Symbol>, |
| ) -> $TokenStream; |
| fn ts_concat_trees( |
| base: Option<$TokenStream>, |
| trees: Vec<TokenTree<$TokenStream, $Span, $Symbol>>, |
| ) -> $TokenStream; |
| fn ts_concat_streams( |
| base: Option<$TokenStream>, |
| streams: Vec<$TokenStream>, |
| ) -> $TokenStream; |
| fn ts_into_trees( |
| stream: $TokenStream |
| ) -> Vec<TokenTree<$TokenStream, $Span, $Symbol>>; |
| |
| fn span_debug(span: $Span) -> String; |
| fn span_parent(span: $Span) -> Option<$Span>; |
| fn span_source(span: $Span) -> $Span; |
| fn span_byte_range(span: $Span) -> Range<usize>; |
| fn span_start(span: $Span) -> $Span; |
| fn span_end(span: $Span) -> $Span; |
| fn span_line(span: $Span) -> usize; |
| fn span_column(span: $Span) -> usize; |
| fn span_file(span: $Span) -> String; |
| fn span_local_file(span: $Span) -> Option<String>; |
| fn span_join(span: $Span, other: $Span) -> Option<$Span>; |
| fn span_subspan(span: $Span, start: Bound<usize>, end: Bound<usize>) -> Option<$Span>; |
| fn span_resolved_at(span: $Span, at: $Span) -> $Span; |
| fn span_source_text(span: $Span) -> Option<String>; |
| fn span_save_span(span: $Span) -> usize; |
| fn span_recover_proc_macro_span(id: usize) -> $Span; |
| |
| fn symbol_normalize_and_validate_ident(string: &str) -> Result<$Symbol, ()>; |
| } |
| }; |
| } |
| |
| pub(crate) struct Methods; |
| |
| #[allow(unsafe_code)] |
| mod arena; |
| #[allow(unsafe_code)] |
| mod buffer; |
| #[deny(unsafe_code)] |
| pub mod client; |
| #[allow(unsafe_code)] |
| mod closure; |
| #[forbid(unsafe_code)] |
| mod fxhash; |
| #[forbid(unsafe_code)] |
| mod handle; |
| #[macro_use] |
| #[forbid(unsafe_code)] |
| mod rpc; |
| #[allow(unsafe_code)] |
| mod selfless_reify; |
| #[forbid(unsafe_code)] |
| pub mod server; |
| #[allow(unsafe_code)] |
| mod symbol; |
| |
| use buffer::Buffer; |
| pub use rpc::PanicMessage; |
| use rpc::{Decode, Encode}; |
| |
| /// Configuration for establishing an active connection between a server and a |
| /// client. The server creates the bridge config (`run_server` in `server.rs`), |
| /// then passes it to the client through the function pointer in the `run` field |
| /// of `client::Client`. The client constructs a local `Bridge` from the config |
| /// in TLS during its execution (`Bridge::{enter, with}` in `client.rs`). |
| #[repr(C)] |
| pub struct BridgeConfig<'a> { |
| /// Buffer used to pass initial input to the client. |
| input: Buffer, |
| |
| /// Server-side function that the client uses to make requests. |
| dispatch: closure::Closure<'a>, |
| |
| /// If 'true', always invoke the default panic hook |
| force_show_panics: bool, |
| } |
| |
| impl !Send for BridgeConfig<'_> {} |
| impl !Sync for BridgeConfig<'_> {} |
| |
| macro_rules! declare_tags { |
| ( |
| $(fn $method:ident($($arg:ident: $arg_ty:ty),* $(,)?) $(-> $ret_ty:ty)?;)* |
| ) => { |
| #[allow(non_camel_case_types)] |
| pub(super) enum ApiTags { |
| $($method),* |
| } |
| rpc_encode_decode!(enum ApiTags { $($method),* }); |
| } |
| } |
| with_api!(declare_tags, __, __, __); |
| |
| /// Helper to wrap associated types to allow trait impl dispatch. |
| /// That is, normally a pair of impls for `T::Foo` and `T::Bar` |
| /// can overlap, but if the impls are, instead, on types like |
| /// `Marked<T::Foo, Foo>` and `Marked<T::Bar, Bar>`, they can't. |
| trait Mark { |
| type Unmarked; |
| fn mark(unmarked: Self::Unmarked) -> Self; |
| fn unmark(self) -> Self::Unmarked; |
| } |
| |
| #[derive(Copy, Clone, PartialEq, Eq, Hash)] |
| struct Marked<T, M> { |
| value: T, |
| _marker: marker::PhantomData<M>, |
| } |
| |
| impl<T, M> Mark for Marked<T, M> { |
| type Unmarked = T; |
| fn mark(unmarked: Self::Unmarked) -> Self { |
| Marked { value: unmarked, _marker: marker::PhantomData } |
| } |
| fn unmark(self) -> Self::Unmarked { |
| self.value |
| } |
| } |
| impl<'a, T> Mark for &'a Marked<T, client::TokenStream> { |
| type Unmarked = &'a T; |
| fn mark(_: Self::Unmarked) -> Self { |
| unreachable!() |
| } |
| fn unmark(self) -> Self::Unmarked { |
| &self.value |
| } |
| } |
| |
| impl<T: Mark> Mark for Vec<T> { |
| type Unmarked = Vec<T::Unmarked>; |
| fn mark(unmarked: Self::Unmarked) -> Self { |
| // Should be a no-op due to std's in-place collect optimizations. |
| unmarked.into_iter().map(T::mark).collect() |
| } |
| fn unmark(self) -> Self::Unmarked { |
| // Should be a no-op due to std's in-place collect optimizations. |
| self.into_iter().map(T::unmark).collect() |
| } |
| } |
| |
| macro_rules! mark_noop { |
| ($($ty:ty),* $(,)?) => { |
| $( |
| impl Mark for $ty { |
| type Unmarked = Self; |
| fn mark(unmarked: Self::Unmarked) -> Self { |
| unmarked |
| } |
| fn unmark(self) -> Self::Unmarked { |
| self |
| } |
| } |
| )* |
| } |
| } |
| mark_noop! { |
| (), |
| bool, |
| &'_ str, |
| String, |
| u8, |
| usize, |
| Delimiter, |
| LitKind, |
| Level, |
| Bound<usize>, |
| Range<usize>, |
| } |
| |
| rpc_encode_decode!( |
| enum Delimiter { |
| Parenthesis, |
| Brace, |
| Bracket, |
| None, |
| } |
| ); |
| rpc_encode_decode!( |
| enum Level { |
| Error, |
| Warning, |
| Note, |
| Help, |
| } |
| ); |
| |
| #[derive(Copy, Clone, Eq, PartialEq, Debug)] |
| pub enum LitKind { |
| Byte, |
| Char, |
| Integer, |
| Float, |
| Str, |
| StrRaw(u8), |
| ByteStr, |
| ByteStrRaw(u8), |
| CStr, |
| CStrRaw(u8), |
| // This should have an `ErrorGuaranteed`, except that type isn't available |
| // in this crate. (Imagine it is there.) Hence the `WithGuar` suffix. Must |
| // only be constructed in `LitKind::from_internal`, where an |
| // `ErrorGuaranteed` is available. |
| ErrWithGuar, |
| } |
| |
| rpc_encode_decode!( |
| enum LitKind { |
| Byte, |
| Char, |
| Integer, |
| Float, |
| Str, |
| StrRaw(n), |
| ByteStr, |
| ByteStrRaw(n), |
| CStr, |
| CStrRaw(n), |
| ErrWithGuar, |
| } |
| ); |
| |
| macro_rules! mark_compound { |
| (struct $name:ident <$($T:ident),+> { $($field:ident),* $(,)? }) => { |
| impl<$($T: Mark),+> Mark for $name <$($T),+> { |
| type Unmarked = $name <$($T::Unmarked),+>; |
| fn mark(unmarked: Self::Unmarked) -> Self { |
| $name { |
| $($field: Mark::mark(unmarked.$field)),* |
| } |
| } |
| fn unmark(self) -> Self::Unmarked { |
| $name { |
| $($field: Mark::unmark(self.$field)),* |
| } |
| } |
| } |
| }; |
| (enum $name:ident <$($T:ident),+> { $($variant:ident $(($field:ident))?),* $(,)? }) => { |
| impl<$($T: Mark),+> Mark for $name <$($T),+> { |
| type Unmarked = $name <$($T::Unmarked),+>; |
| fn mark(unmarked: Self::Unmarked) -> Self { |
| match unmarked { |
| $($name::$variant $(($field))? => { |
| $name::$variant $((Mark::mark($field)))? |
| })* |
| } |
| } |
| fn unmark(self) -> Self::Unmarked { |
| match self { |
| $($name::$variant $(($field))? => { |
| $name::$variant $((Mark::unmark($field)))? |
| })* |
| } |
| } |
| } |
| } |
| } |
| |
| macro_rules! compound_traits { |
| ($($t:tt)*) => { |
| rpc_encode_decode!($($t)*); |
| mark_compound!($($t)*); |
| }; |
| } |
| |
| rpc_encode_decode!( |
| enum Bound<T> { |
| Included(x), |
| Excluded(x), |
| Unbounded, |
| } |
| ); |
| |
| compound_traits!( |
| enum Option<T> { |
| Some(t), |
| None, |
| } |
| ); |
| |
| compound_traits!( |
| enum Result<T, E> { |
| Ok(t), |
| Err(e), |
| } |
| ); |
| |
| #[derive(Copy, Clone)] |
| pub struct DelimSpan<Span> { |
| pub open: Span, |
| pub close: Span, |
| pub entire: Span, |
| } |
| |
| impl<Span: Copy> DelimSpan<Span> { |
| pub fn from_single(span: Span) -> Self { |
| DelimSpan { open: span, close: span, entire: span } |
| } |
| } |
| |
| compound_traits!(struct DelimSpan<Span> { open, close, entire }); |
| |
| #[derive(Clone)] |
| pub struct Group<TokenStream, Span> { |
| pub delimiter: Delimiter, |
| pub stream: Option<TokenStream>, |
| pub span: DelimSpan<Span>, |
| } |
| |
| compound_traits!(struct Group<TokenStream, Span> { delimiter, stream, span }); |
| |
| #[derive(Clone)] |
| pub struct Punct<Span> { |
| pub ch: u8, |
| pub joint: bool, |
| pub span: Span, |
| } |
| |
| compound_traits!(struct Punct<Span> { ch, joint, span }); |
| |
| #[derive(Copy, Clone, Eq, PartialEq)] |
| pub struct Ident<Span, Symbol> { |
| pub sym: Symbol, |
| pub is_raw: bool, |
| pub span: Span, |
| } |
| |
| compound_traits!(struct Ident<Span, Symbol> { sym, is_raw, span }); |
| |
| #[derive(Clone, Eq, PartialEq)] |
| pub struct Literal<Span, Symbol> { |
| pub kind: LitKind, |
| pub symbol: Symbol, |
| pub suffix: Option<Symbol>, |
| pub span: Span, |
| } |
| |
| compound_traits!(struct Literal<Span, Symbol> { kind, symbol, suffix, span }); |
| |
| #[derive(Clone)] |
| pub enum TokenTree<TokenStream, Span, Symbol> { |
| Group(Group<TokenStream, Span>), |
| Punct(Punct<Span>), |
| Ident(Ident<Span, Symbol>), |
| Literal(Literal<Span, Symbol>), |
| } |
| |
| compound_traits!( |
| enum TokenTree<TokenStream, Span, Symbol> { |
| Group(tt), |
| Punct(tt), |
| Ident(tt), |
| Literal(tt), |
| } |
| ); |
| |
| #[derive(Clone, Debug)] |
| pub struct Diagnostic<Span> { |
| pub level: Level, |
| pub message: String, |
| pub spans: Vec<Span>, |
| pub children: Vec<Diagnostic<Span>>, |
| } |
| |
| compound_traits!( |
| struct Diagnostic<Span> { level, message, spans, children } |
| ); |
| |
| /// Globals provided alongside the initial inputs for a macro expansion. |
| /// Provides values such as spans which are used frequently to avoid RPC. |
| #[derive(Clone)] |
| pub struct ExpnGlobals<Span> { |
| pub def_site: Span, |
| pub call_site: Span, |
| pub mixed_site: Span, |
| } |
| |
| compound_traits!( |
| struct ExpnGlobals<Span> { def_site, call_site, mixed_site } |
| ); |
| |
| rpc_encode_decode!( |
| struct Range<T> { start, end } |
| ); |