| 1 | use crate::parser::model::FilterAtom;
|
| 2 | use crate::query::queryable::Queryable;
|
| 3 | use crate::query::state::{Data, State};
|
| 4 | use crate::query::Query;
|
| 5 |
|
| 6 | impl Query for FilterAtom {
|
| 7 | fn process<'a, T: Queryable>(&self, state: State<'a, T>) -> State<'a, T> {
|
| 8 | match self {
|
| 9 | FilterAtom::Filter { expr, not } => {
|
| 10 | let bool_res = expr.process(state);
|
| 11 | if *not {
|
| 12 | invert_bool(bool_res)
|
| 13 | } else {
|
| 14 | bool_res
|
| 15 | }
|
| 16 | }
|
| 17 | FilterAtom::Test { expr, not } => {
|
| 18 | let new_state = |b| State::bool(b, state.root);
|
| 19 | let res = expr.process(state.clone());
|
| 20 | if expr.is_res_bool() {
|
| 21 | if *not {
|
| 22 | invert_bool(res)
|
| 23 | } else {
|
| 24 | res
|
| 25 | }
|
| 26 | } else {
|
| 27 | let struct_check = |s: &T| {
|
| 28 | if let Some(arr) = s.as_array() {
|
| 29 | !arr.is_empty()
|
| 30 | } else if let Some(obj) = s.as_object() {
|
| 31 | !obj.is_empty()
|
| 32 | } else if let Some(str) = s.as_str() {
|
| 33 | !str.is_empty()
|
| 34 | } else {
|
| 35 | true
|
| 36 | }
|
| 37 | };
|
| 38 |
|
| 39 | let struct_presented = match res.data {
|
| 40 | Data::Ref(v) => struct_check(v.inner),
|
| 41 | Data::Refs(e) if e.is_empty() => false,
|
| 42 | Data::Refs(elems) => elems.iter().map(|v| v.inner).all(struct_check),
|
| 43 | _ => false,
|
| 44 | };
|
| 45 |
|
| 46 | if struct_presented {
|
| 47 | new_state(!*not)
|
| 48 | } else {
|
| 49 | new_state(*not)
|
| 50 | }
|
| 51 | }
|
| 52 | }
|
| 53 | FilterAtom::Comparison(cmp) => cmp.process(state),
|
| 54 | }
|
| 55 | }
|
| 56 | }
|
| 57 |
|
| 58 | fn invert_bool<T: Queryable>(state: State<T>) -> State<T> {
|
| 59 | let root: &T = state.root;
|
| 60 | State::bool(
|
| 61 | !state.ok_val().and_then(|v: T| v.as_bool()).unwrap_or_default(),
|
| 62 | root,
|
| 63 | )
|
| 64 | }
|
| 65 |
|
| 66 | #[cfg (test)]
|
| 67 | mod tests {
|
| 68 | use crate::parser::model::Comparable;
|
| 69 | use crate::parser::model::Literal;
|
| 70 | use crate::parser::model::SingularQuery;
|
| 71 | use crate::parser::model::SingularQuerySegment;
|
| 72 | use crate::parser::model::{Comparison, FilterAtom};
|
| 73 | use crate::q_segment;
|
| 74 | use crate::query::queryable::Queryable;
|
| 75 | use crate::query::state::State;
|
| 76 | use crate::query::Query;
|
| 77 | use crate::{atom, comparable, lit};
|
| 78 | use crate::{cmp, singular_query};
|
| 79 | use crate::{filter_, q_segments};
|
| 80 | use serde_json::json;
|
| 81 |
|
| 82 | #[test ]
|
| 83 | fn test_comparison() {
|
| 84 | let json = json!({"i" : 1});
|
| 85 | let atom = atom!(comparable!(lit!(i 1)), ">=" , comparable!(lit!(i 1)));
|
| 86 | let state = State::root(&json);
|
| 87 | let res = atom.process(state);
|
| 88 | assert_eq!(res.ok_val().and_then(|v| v.as_bool()), Some(true));
|
| 89 | }
|
| 90 |
|
| 91 | #[test ]
|
| 92 | fn test_not_filter_atom() {
|
| 93 | let json = json!({"a" : 1 , "b" : 2});
|
| 94 | let state = State::root(&json);
|
| 95 |
|
| 96 | let f1 = filter_!(atom!(
|
| 97 | comparable!(> SingularQuery::Current(vec![])),
|
| 98 | ">" ,
|
| 99 | comparable!(lit!(i 2))
|
| 100 | ));
|
| 101 | let f2 = filter_!(atom!(
|
| 102 | comparable!(> singular_query!(b)),
|
| 103 | "!=" ,
|
| 104 | comparable!(> singular_query!(a))
|
| 105 | ));
|
| 106 |
|
| 107 | let atom_or = atom!(!filter_!(or f1.clone(), f2.clone()));
|
| 108 | let atom_and = atom!(!filter_!(and f1, f2));
|
| 109 |
|
| 110 | assert_eq!(
|
| 111 | atom_or
|
| 112 | .process(state.clone())
|
| 113 | .ok_val()
|
| 114 | .and_then(|v| v.as_bool()),
|
| 115 | Some(true)
|
| 116 | );
|
| 117 | assert_eq!(
|
| 118 | atom_and.process(state).ok_val().and_then(|v| v.as_bool()),
|
| 119 | Some(true)
|
| 120 | );
|
| 121 | }
|
| 122 | }
|
| 123 | |