logic-mesh 1.0.0

Control logic engine using event based and reactive blocks written in Rust.
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

// Copyright (c) 2022-2026, Radu Racariu.

use uuid::Uuid;

use crate::base::{
    block::{Block, BlockDesc, BlockProps, BlockState},
    input::{InputProps, input_reader::InputReader},
    output::Output,
};

use libhaystack::val::{Bool, Value, kind::HaystackKind};

use crate::{blocks::InputImpl, blocks::OutputImpl};

/// Flip-Flop block. Set input prioritizes over Reset when both are true.
#[block]
#[derive(BlockProps, Debug)]
#[category = "logic"]
pub struct FlipFlop {
    #[input(name = "set", kind = "Bool")]
    pub set: InputImpl,
    #[input(name = "reset", kind = "Bool")]
    pub reset: InputImpl,
    #[output(kind = "Bool")]
    pub out: OutputImpl,
}

impl Block for FlipFlop {
    async fn execute(&mut self) {
        self.read_inputs_until_ready().await;

        if let (Some(Value::Bool(s)), Some(Value::Bool(r))) =
            (self.set.get_value(), self.reset.get_value())
        {
            let current = matches!(&self.out.value, Value::Bool(b) if b.value);

            let next = if s.value {
                true
            } else if r.value {
                false
            } else {
                current
            };

            self.out.set(Bool { value: next }.into());
        }
    }
}

#[cfg(test)]
mod test {

    use crate::{
        base::block::Block, base::block::test_utils::write_block_inputs, blocks::logic::FlipFlop,
    };

    #[tokio::test]
    async fn test_flip_flop_set() {
        let mut block = FlipFlop::new();

        write_block_inputs([(&mut block.set, true), (&mut block.reset, false)]).await;

        block.execute().await;
        assert_eq!(block.out.value, true.into());
    }

    #[tokio::test]
    async fn test_flip_flop_reset() {
        let mut block = FlipFlop::new();

        write_block_inputs([(&mut block.set, false), (&mut block.reset, true)]).await;

        block.execute().await;
        assert_eq!(block.out.value, false.into());
    }

    #[tokio::test]
    async fn test_flip_flop_set_priority() {
        let mut block = FlipFlop::new();

        // When both Set and Reset are true, Set takes priority
        write_block_inputs([(&mut block.set, true), (&mut block.reset, true)]).await;

        block.execute().await;
        assert_eq!(block.out.value, true.into());
    }

    #[tokio::test]
    async fn test_flip_flop_hold_state() {
        let mut block = FlipFlop::new();

        // First set the flip-flop
        write_block_inputs([(&mut block.set, true), (&mut block.reset, false)]).await;

        block.execute().await;
        assert_eq!(block.out.value, true.into());

        // Both inputs false, should hold state
        write_block_inputs([(&mut block.set, false), (&mut block.reset, false)]).await;

        block.execute().await;
        assert_eq!(block.out.value, true.into());
    }
}