Struct RecRemArgs 

pub struct RecRemArgs {
    pub reference: CheckEvent,
    pub data: CheckEvent,
    pub recovery_limit: CheckLimit,
    pub removal_limit: CheckLimit,
    pub notifier: Option<TerminalRef>,
    pub timestamp_cond: Option<CondNode>,
    pub timecheck_cond: Option<CondNode>,
    pub delayed_reference: Option<TerminalRef>,
    pub delayed_data: Option<TerminalRef>,
}

$recrem (LRM 31.4.3, Syntax 31-8): the nine positions of SetupHoldArgs, with the limits named for their meaning (position 2 is the RECOVERY limit, position 3 the REMOVAL limit).

Fields

reference: CheckEvent

data: CheckEvent

recovery_limit: CheckLimit

removal_limit: CheckLimit

notifier: Option<TerminalRef>

timestamp_cond: Option<CondNode>

timecheck_cond: Option<CondNode>

delayed_reference: Option<TerminalRef>

delayed_data: Option<TerminalRef>

Trait Implementations

impl Clone for RecRemArgs

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RecRemArgs

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

Formats the value using the given formatter.

impl Eq for RecRemArgs

impl PartialEq for RecRemArgs

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for RecRemArgs