pzsh 0.3.6

Performance-first shell framework with sub-10ms startup
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

// Auto-generated contract assertions from YAML — DO NOT EDIT.
// Zero cost in release builds (debug_assert!).
// Regenerate: pv codegen contracts/ -o src/generated_contracts.rs
// Include:   #[macro_use] #[allow(unused_macros)] mod generated_contracts;

// Auto-generated from contracts/shell-execution-v1.yaml — DO NOT EDIT
// Contract: shell-execution-v1

/// Preconditions for equation `config_validation`.
/// Call at function entry: `contract_pre_config_validation!(input_expr)`
macro_rules! contract_pre_config_validation {
    () => {{}};
    ($input:expr) => {{
        let _contract_input = &$input;
    }};
}

/// Invariants for equation `config_validation`.
/// Check after computation: `contract_inv_config_validation!(result_expr)`
macro_rules! contract_inv_config_validation {
    () => {{}};
    ($result:expr) => {{
        let _contract_result = &$result;
    }};
}

/// Preconditions for equation `parser_correctness`.
/// Domain-specific. Call: `contract_pre_parser_correctness!(slice_expr)`
macro_rules! contract_pre_parser_correctness {
    () => {{}};
    ($input:expr) => {{
        let _pv_input = &$input;
        debug_assert!(
            _pv_input.len() <= 1_048_576,
            "Contract parser_correctness: precondition violated — input.len() <= 1_048_576"
        );
    }};
}

/// Invariants for equation `parser_correctness`.
/// Check after computation: `contract_inv_parser_correctness!(result_expr)`
macro_rules! contract_inv_parser_correctness {
    () => {{}};
    ($result:expr) => {{
        let _contract_result = &$result;
    }};
}

/// Preconditions for equation `startup_budget`.
/// Call at function entry: `contract_pre_startup_budget!(input_expr)`
macro_rules! contract_pre_startup_budget {
    () => {{}};
    ($input:expr) => {{
        let _contract_input = &$input;
    }};
}

/// Invariants for equation `startup_budget`.
/// Check after computation: `contract_inv_startup_budget!(result_expr)`
macro_rules! contract_inv_startup_budget {
    () => {{}};
    ($result:expr) => {{
        let _contract_result = &$result;
    }};
}

// Total: 1 preconditions, 0 postconditions, 0 invariants from 1 contracts