Struct CheckerOutput 

pub struct CheckerOutput<'d> {
    pub formal: Symbol<'d>,
    pub assign: Option<Expression<'d>>,
    pub initial: Option<Expression<'d>>,
}

One output formal argument of a checker instance and its connection (LRM 17.3: “as if there were continuous assignments, executed in the Reactive region, of the checker’s output formal arguments to their corresponding actual arguments”).

Fields

formal: Symbol<'d>

The checker’s output formal: a variable of the checker.

assign: Option<Expression<'d>>

slang’s actual = <formal value> assignment (its right-hand side is an empty argument standing for the formal), or None for an output left unconnected.

initial: Option<Expression<'d>>

The formal’s initial value (output int ctr = 0), evaluated in the instantiation’s context. None when it declares none.

Trait Implementations

impl<'d> Clone for CheckerOutput<'d>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'d> Copy for CheckerOutput<'d>