kglite 0.17.12

Pure-Rust embedded Cypher knowledge graph engine with in-memory, mmap, and disk storage, and agent-facing schema introspection
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

use super::*;
use std::collections::HashMap;

#[test]
fn compiled_membership_preserves_nested_unknown_under_not() {
    let graph = DirGraph::new();
    let params = HashMap::new();
    let executor = CypherExecutor::with_params(&graph, &params, None);
    let row = ResultRow::new();
    for count in [8, 9] {
        for (probe, expected) in [
            (Value::List(vec![Value::Null]), None),
            (Value::List(vec![Value::Int64(1)]), Some(true)),
            (Value::List(vec![]), Some(false)),
        ] {
            let predicate = Predicate::InLiteralSet {
                expr: Expression::Literal(probe),
                values: MembershipSet::new(
                    (1..=count)
                        .map(|i| Value::List(vec![Value::Int64(i)]))
                        .collect(),
                ),
            };
            let mut compiler = ScanCompiler::new(&executor, "n");
            let compiled = compiler.pred(&predicate);
            // A Generic fallback would exercise the interpreter and miss this arm.
            assert!(matches!(&compiled, ScanPred::InLiteralSet { .. }));
            let runtime = compiler.finish();
            assert_eq!(
                compiled.eval(&executor, &runtime, None, &row).unwrap(),
                expected
            );
            let negated = ScanPred::Not(Box::new(compiled));
            assert_eq!(
                negated.eval(&executor, &runtime, None, &row).unwrap(),
                expected.map(|v| !v)
            );
        }
    }
}