qubit-validator 0.1.0

Type-safe validation traits and registries for Qubit applications
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

// =============================================================================
//    Copyright (c) 2025 - 2026 Haixing Hu.
//
//    SPDX-License-Identifier: Apache-2.0
//
//    Licensed under the Apache License, Version 2.0.
// =============================================================================

use std::ptr::eq;

use qubit_validator::BoundValidationContext;
use qubit_validator::ExecutionErrorKind;
use qubit_validator::ValidationPath;
use qubit_validator::ValidationValue;

#[test]
fn test_optional_typed_distinguishes_missing_from_wrong_type() {
    let number = 9_u32;
    let values = [
        ValidationValue::Typed(&number),
        ValidationValue::Missing,
        ValidationValue::Text("present text"),
    ];
    let context = BoundValidationContext::new(&values);
    let present = context
        .optional_typed::<u32>(0)
        .expect("matching concrete type is accepted")
        .expect("present value remains present");
    assert_eq!(*present, number);
    assert!(eq(present, &number), "optional access must borrow the original value");
    assert_eq!(context.optional_typed::<u32>(1).expect("Missing is optional"), None);
    assert_eq!(
        context
            .optional_typed::<u64>(0)
            .expect_err("wrong concrete type is not absence")
            .kind(),
        ExecutionErrorKind::DependencyTypeMismatch,
    );
    assert_eq!(
        context
            .optional_typed::<u32>(2)
            .expect_err("text is not an absent typed value")
            .kind(),
        ExecutionErrorKind::DependencyTypeMismatch,
    );
    assert_eq!(
        context
            .optional_typed::<u32>(3)
            .expect_err("out-of-range slot is a contract error")
            .kind(),
        ExecutionErrorKind::AdapterContractViolation,
    );
}

#[test]
fn test_context_reads_values_and_paths_and_rejects_invalid_shapes() {
    let number = 9_u32;
    let values = [
        ValidationValue::Typed(&number),
        ValidationValue::Missing,
        ValidationValue::Text("text"),
    ];
    let context = BoundValidationContext::new(&values);

    assert_eq!(context.typed::<u32>(0).expect("typed slot matches"), &number);
    assert_eq!(
        context
            .optional_typed::<u32>(1)
            .expect("missing optional slot is valid"),
        None
    );
    assert_eq!(context.text(2).expect("text slot matches"), "text");
    assert_eq!(
        context.dependency_path(0).expect("slot exists"),
        &ValidationPath::root()
    );
    assert_eq!(context.value(0).expect("slot exists").typed::<u32>(), Some(&number));
    assert_eq!(
        context.typed::<u64>(0).expect_err("wrong type is rejected").kind(),
        ExecutionErrorKind::DependencyTypeMismatch
    );
    assert_eq!(
        context
            .typed::<u32>(1)
            .expect_err("required access rejects missing")
            .kind(),
        ExecutionErrorKind::MissingRequiredDependencyValue
    );
    assert_eq!(
        context.text(0).expect_err("text access rejects typed values").kind(),
        ExecutionErrorKind::DependencyTypeMismatch
    );
    assert_eq!(
        context.value(3).expect_err("unknown slots are rejected").kind(),
        ExecutionErrorKind::AdapterContractViolation
    );
    assert_eq!(
        context
            .dependency_path(3)
            .expect_err("unknown paths are rejected")
            .kind(),
        ExecutionErrorKind::AdapterContractViolation
    );

    let path = ValidationPath::root().with_field("dependency");
    let paths = [path.clone(), ValidationPath::root(), ValidationPath::root()];
    let with_paths = BoundValidationContext::new_with_paths(&values, &paths).expect("path count matches slots");
    assert_eq!(with_paths.dependency_path(0).expect("first path exists"), &path);
    assert_eq!(
        BoundValidationContext::new_with_paths(&values, &[])
            .expect_err("mismatched path count is invalid")
            .kind(),
        ExecutionErrorKind::AdapterContractViolation
    );
}