tank_core/
join.rs

1use crate::{
2    DataSet, Expression,
3    writer::{Context, SqlWriter},
4};
5use proc_macro2::{TokenStream, TokenTree};
6use quote::{ToTokens, TokenStreamExt, quote};
7use syn::{
8    Ident,
9    parse::{Parse, ParseStream},
10};
11
12/// Binary join with optional ON predicate.
13#[derive(Debug)]
14pub struct Join<L: DataSet, R: DataSet, E: Expression> {
15    /// Join kind.
16    pub join: JoinType,
17    /// Left-hand data set.
18    pub lhs: L,
19    /// Right-hand data set.
20    pub rhs: R,
21    /// Optional ON expression.
22    pub on: Option<E>,
23}
24
25/// SQL join variants.
26#[derive(Default, Clone, Copy, Debug)]
27pub enum JoinType {
28    /// Plain `JOIN` (backend default semantics, often INNER).
29    #[default]
30    Default,
31    Inner,
32    Outer,
33    Left,
34    Right,
35    Cross,
36    Natural,
37}
38
39impl<L: DataSet, R: DataSet, E: Expression> DataSet for Join<L, R, E> {
40    fn qualified_columns() -> bool
41    where
42        Self: Sized,
43    {
44        true
45    }
46    fn write_query(&self, writer: &dyn SqlWriter, context: &mut Context, out: &mut String) {
47        writer.write_join(
48            context,
49            out,
50            &Join {
51                join: self.join,
52                lhs: &self.lhs,
53                rhs: &self.rhs,
54                on: self.on.as_ref().map(|v| v as &dyn Expression),
55            },
56        );
57    }
58}
59
60impl Parse for JoinType {
61    fn parse(input: ParseStream) -> syn::Result<Self> {
62        let tokens = input.cursor().token_stream().into_iter().map(|t| match t {
63            TokenTree::Ident(ident) => ident.to_string(),
64            _ => "".to_string(),
65        });
66        let patterns: &[(&[&str], JoinType)] = &[
67            (&["JOIN"], JoinType::Default),
68            (&["INNER", "JOIN"], JoinType::Inner),
69            (&["FULL", "OUTER", "JOIN"], JoinType::Outer),
70            (&["OUTER", "JOIN"], JoinType::Outer),
71            (&["LEFT", "OUTER", "JOIN"], JoinType::Left),
72            (&["LEFT", "JOIN"], JoinType::Left),
73            (&["RIGHT", "OUTER", "JOIN"], JoinType::Right),
74            (&["RIGHT", "JOIN"], JoinType::Right),
75            (&["CROSS", "JOIN"], JoinType::Cross),
76            (&["CROSS"], JoinType::Cross),
77            (&["NATURAL", "JOIN"], JoinType::Natural),
78        ];
79        for (keywords, join_type) in patterns {
80            let it = tokens.clone().take(keywords.len());
81            if it.eq(keywords.iter().copied()) {
82                for _ in 0..keywords.len() {
83                    input.parse::<Ident>().expect(&format!(
84                        "Unexpected error, the input should contain {:?} as next Ident tokens at this point",
85                        keywords
86                    ));
87                }
88                return Ok(*join_type);
89            }
90        }
91        Err(syn::Error::new(input.span(), "Not a join keyword"))
92    }
93}
94
95impl ToTokens for JoinType {
96    fn to_tokens(&self, tokens: &mut TokenStream) {
97        tokens.append_all(match self {
98            JoinType::Default => quote! { ::tank::JoinType::Default },
99            JoinType::Inner => quote! { ::tank::JoinType::Inner },
100            JoinType::Outer => quote! { ::tank::JoinType::Outer },
101            JoinType::Left => quote! { ::tank::JoinType::Left },
102            JoinType::Right => quote! { ::tank::JoinType::Right },
103            JoinType::Cross => quote! { ::tank::JoinType::Cross },
104            JoinType::Natural => quote! { ::tank::JoinType::Natural },
105        });
106    }
107}