quint_connect_macros/lib.rs
1mod internal;
2
3use proc_macro::TokenStream;
4
5#[proc_macro]
6pub fn switch(input: TokenStream) -> TokenStream {
7 internal::switch::expand(input)
8}
9
10#[proc_macro_attribute]
11pub fn quint_run(args: TokenStream, item: TokenStream) -> TokenStream {
12 internal::run::expand(args, item)
13}
14
15#[proc_macro_attribute]
16pub fn quint_test(args: TokenStream, item: TokenStream) -> TokenStream {
17 internal::test::expand(args, item)
18}