use proc_macro::TokenStream;
use proc_macro_crate::{FoundCrate, crate_name};
use proc_macro2::Span;
use quote::quote;
use syn::parse::{Parse, ParseStream};
use syn::{Error, FnArg, ImplItem, ItemImpl, Result, ReturnType, Token, Type, parse_macro_input};
mod behavior_kw {
syn::custom_keyword!(addr);
syn::custom_keyword!(message);
syn::custom_keyword!(sends);
syn::custom_keyword!(births);
syn::custom_keyword!(error);
}
fn behavior_crate() -> Result<proc_macro2::TokenStream> {
if std::env::var("CARGO_PKG_NAME").as_deref() == Ok("bombay-behavior") {
return Ok(quote!(::behavior));
}
match crate_name("bombay-behavior") {
Ok(FoundCrate::Itself) => Ok(quote!(::behavior)),
Ok(FoundCrate::Name(name)) => {
let name = syn::Ident::new(&name, Span::call_site());
Ok(quote!(::#name))
}
Err(error) => Err(Error::new(
Span::call_site(),
format!("could not resolve the bombay-behavior crate: {error}"),
)),
}
}
struct BehaviorArgs {
addr: Type,
message: Type,
sends: Type,
births: Type,
error: Type,
}
impl Parse for BehaviorArgs {
fn parse(input: ParseStream) -> Result<Self> {
input.parse::<behavior_kw::addr>()?;
input.parse::<Token![=]>()?;
let addr = input.parse()?;
input.parse::<Token![,]>()?;
input.parse::<behavior_kw::message>()?;
input.parse::<Token![=]>()?;
let message = input.parse()?;
input.parse::<Token![,]>()?;
input.parse::<behavior_kw::sends>()?;
input.parse::<Token![=]>()?;
let sends = input.parse()?;
input.parse::<Token![,]>()?;
input.parse::<behavior_kw::births>()?;
input.parse::<Token![=]>()?;
let births = input.parse()?;
input.parse::<Token![,]>()?;
input.parse::<behavior_kw::error>()?;
input.parse::<Token![=]>()?;
let error = input.parse()?;
if input.peek(Token![,]) {
input.parse::<Token![,]>()?;
}
if !input.is_empty() {
return Err(input
.error("expected exactly addr, message, sends, births, and error in that order"));
}
Ok(Self {
addr,
message,
sends,
births,
error,
})
}
}
fn validate_receiver(method: &syn::ImplItemFn) -> Result<()> {
let Some(FnArg::Receiver(receiver)) = method.sig.inputs.first() else {
return Err(Error::new_spanned(
&method.sig,
"behavior methods must begin with &mut self",
));
};
if !matches!(receiver.kind, syn::ReceiverKind::Reference(_, _, Some(_))) {
return Err(Error::new_spanned(
receiver,
"behavior methods must begin with &mut self",
));
}
if method.sig.constness.is_some()
|| method.sig.asyncness.is_some()
|| matches!(method.sig.safety, syn::Safety::Unsafe(_))
|| !method.sig.generics.params.is_empty()
{
return Err(Error::new_spanned(
&method.sig,
"behavior init and receive methods must be synchronous, safe, and non-generic",
));
}
if matches!(method.sig.output, ReturnType::Default) {
return Err(Error::new_spanned(
&method.sig,
"behavior methods must declare their complete Actions result type",
));
}
Ok(())
}
#[proc_macro_attribute]
pub fn behavior(args: TokenStream, item: TokenStream) -> TokenStream {
let args = parse_macro_input!(args as BehaviorArgs);
let item = parse_macro_input!(item as ItemImpl);
if item.trait_.is_some() {
return Error::new_spanned(
&item,
"#[behavior] applies to an inherent impl, not a trait impl",
)
.to_compile_error()
.into();
}
let init = item.items.iter().find_map(|item| match item {
ImplItem::Fn(method) if method.sig.ident == "init" => Some(method),
_ => None,
});
let receive = item.items.iter().find_map(|item| match item {
ImplItem::Fn(method) if method.sig.ident == "receive" => Some(method),
_ => None,
});
let Some(receive) = receive else {
return Error::new_spanned(
&item.self_ty,
"#[behavior] requires a receive(&mut self, from, message) method",
)
.to_compile_error()
.into();
};
if let Err(error) = init
.map_or(Ok(()), validate_receiver)
.and_then(|()| validate_receiver(receive))
{
return error.to_compile_error().into();
}
if let Some(init) = init
&& init.sig.inputs.len() != 1
{
return Error::new_spanned(&init.sig, "init must accept exactly &mut self")
.to_compile_error()
.into();
}
if receive.sig.inputs.len() != 3 {
return Error::new_spanned(
&receive.sig,
"receive must accept exactly &mut self, from, and message",
)
.to_compile_error()
.into();
}
let BehaviorArgs {
addr,
message,
sends,
births,
error,
} = args;
let self_ty = &item.self_ty;
let (impl_generics, _, where_clause) = item.generics.split_for_impl();
let behavior = match behavior_crate() {
Ok(behavior) => behavior,
Err(error) => return error.to_compile_error().into(),
};
let initialize = init.map_or_else(
|| quote!(::core::result::Result::Ok(#behavior::Actions::cont())),
|_| quote!(<#self_ty>::init(self)),
);
quote! {
#item
impl #impl_generics #behavior::Behavior for #self_ty #where_clause {
type Addr = #addr;
type Msg = #message;
type Event = #behavior::User<#addr, #message>;
type Sends = #sends;
type Ph = #behavior::Never;
type Error = #error;
type Birth = #births;
fn init(
&mut self,
_: #behavior::InitializationTurn,
) -> #behavior::BehaviorActed<Self> {
#initialize
}
fn transition(
&mut self,
_: #behavior::ActiveTurn,
event: Self::Event,
) -> #behavior::BehaviorActed<Self> {
<#self_ty>::receive(self, event.from, event.message)
}
}
impl #impl_generics #behavior::BehaviorBase for #self_ty #where_clause {
type Base = Self;
fn base(&self) -> &Self {
self
}
}
}
.into()
}