vize_l0 0.627.0

L0 - the Davinci foundation level: ids, side tables, keys, dumps, diagnostics, passes and facts
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

//! Real producer controls, separate from the allocator's exact-layout window.

use std::hash::Hasher;
use vize_l0::profiler::{global_profiler, micro};

pub(super) fn run() {
    let profiler = global_profiler();
    profiler.clear();
    profiler.enable();
    let mut actual = vize_l0::micro_default_hasher!("test.default_hash");
    let mut expected = std::hash::DefaultHasher::new();
    actual.write(b"abc");
    expected.write(b"abc");
    actual.write_u64(17);
    expected.write_u64(17);
    assert_eq!(actual.finish(), expected.finish());
    profiler.disable();
    let sites = micro::snapshot();
    let mut counts = sites
        .iter()
        .map(|site| (site.name, site.calls, site.units))
        .collect::<Vec<_>>();
    counts.sort_by_key(|row| row.0);
    assert_eq!(
        counts,
        [
            ("test.default_hash.build", 1, 1),
            ("test.default_hash.finish", 1, 1),
            ("test.default_hash.write_bytes", 2, 11),
        ]
    );

    println!(
        "hash_control_counts={}",
        serde_json::to_string(&sites).expect("counts serialize")
    );

    profiler.clear();
    profiler.enable();
    let setup = "const value = 1;";
    let plain = "const plain = 2;";
    let incomplete = "const recovered = missing.;";
    let parsed = vize_croquis::script_parser::parse_script_setup(setup);
    assert_eq!(
        parsed.bindings.get("value"),
        Some(vize_croquis::BindingType::LiteralConst)
    );
    let _plain = vize_croquis::script_parser::parse_script(plain);
    // Reuse the original fatal diagnostic: only the repaired view is reparsed.
    let _recovered = vize_croquis::script_parser::parse_script_setup(incomplete);
    profiler.disable();
    let sites = micro::snapshot();
    let mut counts = sites
        .iter()
        .filter(|site| site.kind == "counter" && site.name.starts_with("croquis."))
        .map(|site| (site.name, site.calls, site.units))
        .collect::<Vec<_>>();
    counts.sort_by_key(|row| row.0);
    assert_eq!(
        counts,
        [
            (
                "croquis.oxc.original.bytes",
                3,
                (setup.len() + plain.len() + incomplete.len()) as u64
            ),
            ("croquis.oxc.recovery.bytes", 1, incomplete.len() as u64),
            ("croquis.plain.parse_requests.bytes", 1, plain.len() as u64),
            (
                "croquis.setup.analysis_requests.bytes",
                2,
                (setup.len() + incomplete.len()) as u64
            ),
            (
                "croquis.setup.parse_requests.bytes",
                2,
                (setup.len() + incomplete.len()) as u64
            ),
        ]
    );
    let spans = sites
        .iter()
        .filter(|site| site.kind == "span" && site.name.starts_with("croquis."))
        .map(|site| (site.name, site.calls))
        .collect::<Vec<_>>();
    assert_eq!(
        spans,
        [("croquis.oxc.original", 3), ("croquis.oxc.recovery", 1)]
    );
    println!(
        "parser_control_counts={}",
        serde_json::to_string(&sites).expect("counts serialize")
    );
    println!("selected std hash writes and actual parser attempts passed");
}