Struct rtlola_frontend::mir::Deadline

pub struct Deadline {
    pub pause: Duration,
    pub due: Vec<Task>,
}

This struct represents a single deadline inside a Schedule.

All deadlines are meant to lie within a hyper-period, i.e., they represent a family of points in time rather than a single one. The deadline contains information on what streams need to be evaluated when due.

Example

See example of Schedule::deadlines.

Fields

pause: Duration

The time delay between the current deadline and the next.

due: Vec<Task>

The set of streams affected by this deadline.

Trait Implementations

impl Clone for Deadline

fn clone(&self) -> Deadline

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Deadline

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.