Struct lrl_test_compiler::test_builder::IntervalBuilder

pub struct IntervalBuilder<'a> {
    pub test_builder: &'a mut TestBuilder,
    pub stream_id: &'a StreamId<'a>,
    pub start: u128,
    pub end: u128,
}

Builder for a single instruction over an interval of relative time

Fields

test_builder: &'a mut TestBuilder

stream_id: &'a StreamId<'a>

start: u128

end: u128

Implementations

impl<'a> IntervalBuilder<'a>

pub fn new(
    test_builder: &'a mut TestBuilder,
    stream_id: &'a StreamId<'_>,
    start: u128,
    end: u128
) -> Self

pub fn require(
    self,
    sensor_name: &str,
    left_bound: f64,
    right_bound: f64,
    abort_name: &str
)

Require a sensor over this interval