[−][src]Struct wasmi_validation::func::BlockFrame

pub struct BlockFrame {
    pub started_with: StartedWith,
    pub block_type: BlockType,
    pub value_stack_len: usize,
    pub polymorphic_stack: bool,
}

Control stack frame.

Fields

started_with: StartedWith

The opcode that started this block frame.

block_type: BlockType

A signature, which is a block signature type indicating the number and types of result values of the region.

value_stack_len: usize

A limit integer value, which is an index into the value stack indicating where to reset it to on a branch to that label.

polymorphic_stack: bool

Boolean which signals whether value stack became polymorphic. Value stack starts in a non-polymorphic state and becomes polymorphic only after an instruction that never passes control further is executed, i.e. unreachable, br (but not br_if!), etc.

Trait Implementations

impl Clone for BlockFrame[src]

impl Debug for BlockFrame[src]

Auto Trait Implementations

impl RefUnwindSafe for BlockFrame

impl Send for BlockFrame

impl Sync for BlockFrame

impl Unpin for BlockFrame

impl UnwindSafe for BlockFrame

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, [src]

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, [src]

impl<T> ToOwned for T where
    T: Clone, [src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.