icydb-core 0.144.13

IcyDB — A schema-first typed query engine and persistence runtime for Internet Computer canisters
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

use crate::{db::executor::planning::route::ensure_load_fast_path_spec_arity, error::ErrorClass};

#[test]
fn fast_path_spec_arity_accepts_single_spec_shapes() {
    let result = ensure_load_fast_path_spec_arity(true, 1, true, 1);

    assert!(result.is_ok(), "single fast-path specs should be accepted");
}

#[test]
fn fast_path_spec_arity_rejects_multiple_prefix_specs_for_secondary() {
    let err = ensure_load_fast_path_spec_arity(true, 2, false, 0)
        .expect_err("secondary fast-path must reject multiple index-prefix specs");

    assert_eq!(
        err.class,
        ErrorClass::InvariantViolation,
        "prefix-spec arity violation must classify as invariant violation"
    );
    assert!(
        err.message
            .contains("secondary fast-path resolution expects at most one index-prefix spec"),
        "prefix-spec arity violation must return a clear invariant message"
    );
}

#[test]
fn fast_path_spec_arity_rejects_multiple_range_specs_for_index_range() {
    let err = ensure_load_fast_path_spec_arity(false, 0, true, 2)
        .expect_err("index-range fast-path must reject multiple index-range specs");

    assert_eq!(
        err.class,
        ErrorClass::InvariantViolation,
        "range-spec arity violation must classify as invariant violation"
    );
    assert!(
        err.message
            .contains("index-range fast-path resolution expects at most one index-range spec"),
        "range-spec arity violation must return a clear invariant message"
    );
}