ggen-core 26.5.19

Core graph-aware code generation engine
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

//! Root Fields: The fundamental 256-state semantic automata

use crate::semantic_bit::law::Law;
use serde::{Deserialize, Serialize};

// ============================================================================
// StatusField
// ============================================================================

#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
pub enum StatusCondition {
    Invalid,
    Ready,
    Busy,
    Error,
    Held,
    Completed,
}

pub struct StatusLaw;

impl Law for StatusLaw {
    type Field = u8;
    type Condition = StatusCondition;
    type Admitted = StatusCondition;
    type Receipt = String;
    type Exit = u8;
    type Error = crate::semantic_bit::Error;

    fn validate(field: u8) -> std::result::Result<u8, Self::Error> {
        if field == 0 {
            return Err(crate::semantic_bit::Error::ValidationFailed(
                "Zero field is invalid".to_string(),
            ));
        }
        Ok(field)
    }

    fn select(field: u8) -> Self::Condition {
        match field {
            1 => StatusCondition::Ready,
            2 => StatusCondition::Busy,
            4 => StatusCondition::Error,
            8 => StatusCondition::Held,
            16 => StatusCondition::Completed,
            _ => StatusCondition::Invalid,
        }
    }

    fn admit(_field: u8, condition: Self::Condition) -> Self::Admitted {
        condition
    }

    fn receipt(admitted: Self::Admitted, sequence: u64) -> Self::Receipt {
        format!("STATUS:{:?}:{}", admitted, sequence)
    }

    fn exit(_receipt: Self::Receipt) -> Self::Exit {
        0
    }
}

// ============================================================================
// AuthorityField
// ============================================================================

#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
pub enum AuthorityCondition {
    None,
    Operator,
    System,
    Root,
    Denied,
}

pub struct AuthorityLaw;

impl Law for AuthorityLaw {
    type Field = u8;
    type Condition = AuthorityCondition;
    type Admitted = AuthorityCondition;
    type Receipt = String;
    type Exit = u8;
    type Error = crate::semantic_bit::Error;

    fn validate(field: u8) -> std::result::Result<u8, Self::Error> {
        Ok(field)
    }

    fn select(field: u8) -> Self::Condition {
        match field {
            0 => AuthorityCondition::None,
            1 => AuthorityCondition::Operator,
            2 => AuthorityCondition::System,
            4 => AuthorityCondition::Root,
            _ => AuthorityCondition::Denied,
        }
    }

    fn admit(_field: u8, condition: Self::Condition) -> Self::Admitted {
        condition
    }

    fn receipt(admitted: Self::Admitted, sequence: u64) -> Self::Receipt {
        format!("AUTH:{:?}:{}", admitted, sequence)
    }

    fn exit(_receipt: Self::Receipt) -> Self::Exit {
        0
    }
}