icydb-core 0.196.10

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

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_accepts_secondary_prefix_spec_slices() {
    let result = ensure_load_fast_path_spec_arity(true, 2, false, 0);

    assert!(
        result.is_ok(),
        "load secondary fast paths may consume multi-prefix slices after route verification",
    );
}

#[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_eq!(
        err.diagnostic_code(),
        icydb_diagnostic_code::DiagnosticCode::RuntimeInvariantViolation,
        "range-spec arity violation must return the invariant diagnostic code"
    );
}