Enum FrameProbe 

pub enum FrameProbe<'d> {
    Enter {
        task: Symbol<'d>,
        vars: Vec<Symbol<'d>>,
        bound: Vec<(Symbol<'d>, Expression<'d>)>,
    },
    Exit {
        task: Symbol<'d>,
        vars: Vec<Symbol<'d>>,
    },
}

A VPI frame probe of an inlined blocking task (37.43): its activation begins (after its arguments and locals are set up) or ends.

Variants

Enter

Fields

task: Symbol<'d>

vars: Vec<Symbol<'d>>

Its automatic variables: formals, then locals.

bound: Vec<(Symbol<'d>, Expression<'d>)>

The ref formals the call bound by copy-in/copy-out (an actual that is not static storage) with their actuals, in formal order (37.15 detail 3). They are ref objs of the frame, not variables (so absent from vars).

Exit

Fields

task: Symbol<'d>

vars: Vec<Symbol<'d>>

Trait Implementations

impl<'d> Clone for FrameProbe<'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> Debug for FrameProbe<'d>

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

Formats the value using the given formatter.