toasty 0.4.0

An async ORM for Rust supporting SQL and NoSQL databases
Documentation 
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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122

use super::{test_schema, test_schema_with};
use crate::engine::simplify::Simplify;
use toasty_core::stmt::{
    Expr, ExprArg, ExprCast, ExprIsNull, ExprReference, Type, Value, VisitMut as _,
};

#[test]
fn cast_is_stripped_from_is_null() {
    let schema = test_schema();
    let simplify = Simplify::new(&schema);

    // `is_null(cast(arg(0), String))` → `is_null(arg(0))`
    // Nullity is type-independent, so the cast is stripped.
    let mut expr = ExprIsNull {
        expr: Box::new(Expr::Cast(ExprCast {
            expr: Box::new(Expr::arg(0)),
            ty: Type::String,
        })),
    };
    let result = simplify.simplify_expr_is_null(&mut expr);

    assert!(result.is_none());
    assert!(matches!(*expr.expr, Expr::Arg(ExprArg { position: 0, .. })));
}

#[test]
fn non_cast_expr_not_simplified() {
    let schema = test_schema();
    let simplify = Simplify::new(&schema);

    // `is_null(arg(0))`, non-cast, not simplified
    let mut expr = ExprIsNull {
        expr: Box::new(Expr::arg(0)),
    };
    let result = simplify.simplify_expr_is_null(&mut expr);

    assert!(result.is_none());
    assert!(matches!(*expr.expr, Expr::Arg(ExprArg { position: 0, .. })));
}

#[test]
fn is_null_non_nullable_field() {
    use crate as toasty;
    use crate::schema::Register;

    #[allow(dead_code)]
    #[derive(toasty::Model)]
    struct User {
        #[key]
        id: String,
        emailadres: String,
    }

    let schema = test_schema_with(&[User::schema()]);
    let model = schema.app.model(User::id());
    let simplify = Simplify::new(&schema);
    let simplify = simplify.scope(model.as_root_unwrap());

    // `is_null(field)` → `false` (non-nullable field)
    let mut field = ExprIsNull {
        expr: Box::new(Expr::Reference(ExprReference::Field {
            nesting: 0,
            index: 1,
        })),
    };

    let result = simplify.simplify_expr_is_null(&mut field);

    assert!(matches!(result, Some(Expr::Value(Value::Bool(false)))));
}

#[test]
fn null_is_null_becomes_true() {
    let schema = test_schema();
    let simplify = Simplify::new(&schema);

    // `null is null` → `true`
    let mut expr = ExprIsNull {
        expr: Box::new(Expr::null()),
    };
    let result = simplify.simplify_expr_is_null(&mut expr);

    assert!(matches!(result, Some(Expr::Value(Value::Bool(true)))));
}

#[test]
fn non_null_const_is_null_becomes_false() {
    let schema = test_schema();
    let simplify = Simplify::new(&schema);

    // `5 is null` → `false`
    let mut expr = ExprIsNull {
        expr: Box::new(Expr::from(5i64)),
    };
    let result = simplify.simplify_expr_is_null(&mut expr);

    assert!(matches!(result, Some(Expr::Value(Value::Bool(false)))));
}

#[test]
fn null_is_not_null_becomes_false() {
    let schema = test_schema();
    let mut simplify = Simplify::new(&schema);

    // `not(is_null(null))` → `not(true)` → `false`
    let mut expr = Expr::is_not_null(Expr::null());
    simplify.visit_expr_mut(&mut expr);

    assert!(matches!(expr, Expr::Value(Value::Bool(false))));
}

#[test]
fn non_null_const_is_not_null_becomes_true() {
    let schema = test_schema();
    let mut simplify = Simplify::new(&schema);

    // `not(is_null(5))` → `not(false)` → `true`
    let mut expr = Expr::is_not_null(Expr::from(5i64));
    simplify.visit_expr_mut(&mut expr);

    assert!(matches!(expr, Expr::Value(Value::Bool(true))));
}