1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
#[macro_use]
extern crate quote;
#[macro_use]
extern crate syn;
extern crate proc_macro;
mod clause_macro;
mod fn_macro;
use proc_macro::TokenStream;
#[proc_macro]
pub fn clause(args: TokenStream) -> TokenStream {
let clause_macro::ClauseArgs { vis, name, tokens } =
parse_macro_input!(args as clause_macro::ClauseArgs);
let len = tokens.len();
let out = quote! {
#vis const #name: [::ogma::clause::Token<'static>; #len] = [#tokens];
};
out.into()
}
#[proc_macro_attribute]
pub fn ogma_fn(desc: TokenStream, func: TokenStream) -> TokenStream {
let desc = parse_macro_input!(desc as fn_macro::Descriptor);
let func = parse_macro_input!(func as fn_macro::Func);
let tokens = match fn_macro::ogma_fn(&desc, &func, None) {
Ok(tokens) => tokens,
Err(err) => return err.to_compile_error().into(),
};
tokens.into()
}
#[proc_macro_attribute]
pub fn given(desc: TokenStream, func: TokenStream) -> TokenStream {
let desc = parse_macro_input!(desc as fn_macro::Descriptor);
let func = parse_macro_input!(func as fn_macro::Func);
let tokens = match fn_macro::ogma_fn(&desc, &func, Some(fn_macro::Bdd::Given)) {
Ok(tokens) => tokens,
Err(err) => return err.to_compile_error().into(),
};
tokens.into()
}
#[proc_macro_attribute]
pub fn when(desc: TokenStream, func: TokenStream) -> TokenStream {
let desc = parse_macro_input!(desc as fn_macro::Descriptor);
let func = parse_macro_input!(func as fn_macro::Func);
let tokens = match fn_macro::ogma_fn(&desc, &func, Some(fn_macro::Bdd::When)) {
Ok(tokens) => tokens,
Err(err) => return err.to_compile_error().into(),
};
tokens.into()
}
#[proc_macro_attribute]
pub fn then(desc: TokenStream, func: TokenStream) -> TokenStream {
let desc = parse_macro_input!(desc as fn_macro::Descriptor);
let func = parse_macro_input!(func as fn_macro::Func);
let tokens = match fn_macro::ogma_fn(&desc, &func, Some(fn_macro::Bdd::Then)) {
Ok(tokens) => tokens,
Err(err) => return err.to_compile_error().into(),
};
tokens.into()
}