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
use crate::ast::{ConditionTree, Expression};
/// `AND`, `OR` and `NOT` conjunctive implementations.
pub trait Conjunctive<'a> {
/// Builds an `AND` condition having `self` as the left leaf and `other` as the right.
///
/// ```rust
/// # use quaint::{ast::*, visitor::{Visitor, Sqlite}};
/// assert_eq!(
/// "foo".equals("bar").and("wtf".less_than(3)),
/// ConditionTree::And(vec![
/// Expression::from("foo".equals("bar")),
/// Expression::from("wtf".less_than(3))
/// ])
/// )
/// ```
fn and<E>(self, other: E) -> ConditionTree<'a>
where
E: Into<Expression<'a>>;
/// Builds an `OR` condition having `self` as the left leaf and `other` as the right.
///
/// ```rust
/// # use quaint::{ast::*, visitor::{Visitor, Sqlite}};
/// assert_eq!(
/// "foo".equals("bar").or("wtf".less_than(3)),
/// ConditionTree::Or(vec![
/// Expression::from("foo".equals("bar")),
/// Expression::from("wtf".less_than(3))
/// ])
/// )
/// ```
fn or<E>(self, other: E) -> ConditionTree<'a>
where
E: Into<Expression<'a>>;
/// Builds a `NOT` condition having `self` as the condition.
///
/// ```rust
/// # use quaint::{ast::*, visitor::{Visitor, Sqlite}};
/// assert_eq!(
/// "foo".equals("bar").not(),
/// ConditionTree::not("foo".equals("bar"))
/// )
/// ```
fn not(self) -> ConditionTree<'a>;
}
impl<'a, T> Conjunctive<'a> for T
where
T: Into<Expression<'a>>,
{
fn and<E>(self, other: E) -> ConditionTree<'a>
where
E: Into<Expression<'a>>,
{
ConditionTree::And(vec![self.into(), other.into()])
}
fn or<E>(self, other: E) -> ConditionTree<'a>
where
E: Into<Expression<'a>>,
{
ConditionTree::Or(vec![self.into(), other.into()])
}
fn not(self) -> ConditionTree<'a> {
ConditionTree::not(self.into())
}
}