telltale-machine 17.0.0

Protocol machine for choreographic session type protocols
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

//! Deterministic simulation clock.

use serde::{Deserialize, Serialize};
use std::time::Duration;

/// Deterministic simulation clock.
#[derive(Debug, Clone, Serialize, Deserialize)]
pub struct SimClock {
    /// Logical tick counter (increments once per scheduler round).
    pub tick: u64,
    /// Simulated time.
    pub time: Duration,
    /// Duration advanced per tick.
    pub tick_duration: Duration,
}

impl SimClock {
    /// Create a new clock starting at tick 0/time 0.
    #[must_use]
    pub fn new(tick_duration: Duration) -> Self {
        Self {
            tick: 0,
            time: Duration::from_secs(0),
            tick_duration,
        }
    }

    /// Advance the clock by one tick.
    pub fn advance(&mut self) {
        self.tick += 1;
        self.time += self.tick_duration;
    }
}