Enum CallArg 

pub enum CallArg {
    Value(LeafId),
    Ref,
    Const,
}

One actual argument of a Transition::SubroutineCall (16.11).

Variants

Value(LeafId)

A by-value (input) argument: the leaf’s value, sampled at the end point. Every actual that mentions a local variable is by value (16.11: “a local variable cannot be passed by reference”).

Ref

A ref/const ref argument: the actual is an lvalue of the enclosing scope, bound to the formal at call time with no copy. The engine resolves the lvalue from the call table.

Const

A by-value argument that depends on nothing sampled and so has no leaf: a string literal or a constant of a type a leaf cannot carry (a real, a string). The kernel that runs the call lowers the actual itself; the event carries no value for it (None).

Trait Implementations

impl Clone for CallArg

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for CallArg

impl Debug for CallArg

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

Formats the value using the given formatter.

impl Eq for CallArg

impl Hash for CallArg

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for CallArg

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CallArg