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
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159

mod clear;
mod clk;
mod debug;
mod force_fan;
mod gain;
mod gpio_in;
mod modulation;
mod phase_filter;
mod pulse_width_encoder;
mod reads_fpga_state;
pub mod segment;
mod silencer;
mod stm;
mod synchronize;
mod with_segment;
mod with_segment_transition;
mod with_timeout;

pub use clear::Clear;
pub use clk::ConfigureFPGAClock;
pub use debug::DebugSettings;
pub use force_fan::ForceFan;
pub use gain::{
    Gain, GainCache, GainFilter, GainTransform, Group, IntoGainCache, IntoGainTransform,
};
pub use gpio_in::EmulateGPIOIn;
pub use modulation::{
    IntoModulationCache, IntoModulationTransform, IntoRadiationPressure, Modulation,
    ModulationCache, ModulationProperty, ModulationTransform, RadiationPressure,
};
pub use phase_filter::PhaseFilter;
pub use pulse_width_encoder::PulseWidthEncoder;
pub use reads_fpga_state::ReadsFPGAState;
pub use segment::SwapSegment;
pub use silencer::{Silencer, SilencerFixedCompletionSteps, SilencerFixedUpdateRate};
pub use stm::{ControlPoint, FocusSTM, GainSTM, STMProps};
pub use synchronize::Synchronize;
pub use with_segment::{DatagramS, DatagramWithSegment, IntoDatagramWithSegment};
pub use with_segment_transition::{
    DatagramST, DatagramWithSegmentTransition, IntoDatagramWithSegmentTransition,
};
pub use with_timeout::{DatagramWithTimeout, IntoDatagramWithTimeout};

use std::time::Duration;

use crate::{error::AUTDInternalError, firmware::operation::Operation};

/// Datagram to be sent to devices
pub trait Datagram {
    type O1: Operation;
    type O2: Operation;

    fn operation(self) -> (Self::O1, Self::O2);

    fn timeout(&self) -> Option<Duration> {
        None
    }
}

impl<D1, D2> Datagram for (D1, D2)
where
    D1: Datagram<O2 = crate::firmware::operation::NullOp>,
    D2: Datagram<O2 = crate::firmware::operation::NullOp>,
{
    type O1 = D1::O1;
    type O2 = D2::O1;

    fn operation(self) -> (Self::O1, Self::O2) {
        let (o1, _) = self.0.operation();
        let (o2, _) = self.1.operation();
        (o1, o2)
    }

    fn timeout(&self) -> Option<Duration> {
        match (self.0.timeout(), self.1.timeout()) {
            (Some(t1), Some(t2)) => Some(t1.max(t2)),
            (Some(t1), None) => Some(t1),
            (None, Some(t2)) => Some(t2),
            (None, None) => None,
        }
    }
}

#[cfg(test)]
mod tests {
    use crate::firmware::operation::{ClearOp, NullOp};

    use super::*;

    struct TestDatagram1 {}
    impl Datagram for TestDatagram1 {
        type O1 = ClearOp;
        type O2 = NullOp;

        fn operation(self) -> (Self::O1, Self::O2) {
            (Self::O1::default(), Self::O2::default())
        }
    }

    struct TestDatagram2 {}
    impl Datagram for TestDatagram2 {
        type O1 = NullOp;
        type O2 = NullOp;

        fn operation(self) -> (Self::O1, Self::O2) {
            (Self::O1::default(), Self::O2::default())
        }
    }

    #[test]
    fn test_tuple() {
        let d = (TestDatagram1 {}, TestDatagram2 {});
        assert_eq!(None, d.timeout());
        let _: (ClearOp, NullOp) = <(TestDatagram1, TestDatagram2) as Datagram>::operation(d);
    }

    struct TestDatagramWithTimeout {
        pub timeout: Option<Duration>,
    }
    impl Datagram for TestDatagramWithTimeout {
        type O1 = ClearOp;
        type O2 = NullOp;

        // GRCOV_EXCL_START
        fn operation(self) -> (Self::O1, Self::O2) {
            unimplemented!()
        }
        // GRCOV_EXCL_STOP

        fn timeout(&self) -> Option<Duration> {
            self.timeout
        }
    }

    #[rstest::rstest]
    #[test]
    #[case(
        Some(Duration::from_secs(2)),
        Some(Duration::from_secs(2)),
        Some(Duration::from_secs(1))
    )]
    #[case(Some(Duration::from_secs(1)), Some(Duration::from_secs(1)), None)]
    #[case(Some(Duration::from_secs(1)), None, Some(Duration::from_secs(1)))]
    #[case(None, None, None)]
    fn test_tuple_timeout(
        #[case] expext: Option<Duration>,
        #[case] t1: Option<Duration>,
        #[case] t2: Option<Duration>,
    ) {
        assert_eq!(
            expext,
            (
                TestDatagramWithTimeout { timeout: t1 },
                TestDatagramWithTimeout { timeout: t2 },
            )
                .timeout()
        );
    }
}