Struct ValidationState 

pub struct ValidationState {
    pub operands: TypeStack,
    pub controls: Vec<ControlFrame>,
    pub locals: Vec<ValType>,
    pub local_inits: Vec<bool>,
    pub reachability: Reachability,
}

Function-local validation state.

Fields

operands: TypeStack

controls: Vec<ControlFrame>

locals: Vec<ValType>

local_inits: Vec<bool>

reachability: Reachability

Implementations

impl ValidationState

pub fn new( locals: Vec<ValType>, local_inits: Vec<bool>, result_types: Vec<ValType>, ) -> Self

pub fn current_frame(&self) -> &ControlFrame

pub fn current_frame_mut(&mut self) -> &mut ControlFrame

pub fn push_frame( &mut self, kind: ControlKind, block_type: BlockType, start_types: Vec<ValType>, end_types: Vec<ValType>, )

pub fn pop_frame(&mut self) -> Option<ControlFrame>

pub fn current_label_types(&self, depth: u32) -> Option<&[ValType]>

pub fn enter_unreachable(&mut self)

Trait Implementations

impl Clone for ValidationState

fn clone(&self) -> ValidationState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ValidationState

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

Formats the value using the given formatter.

impl Eq for ValidationState

impl PartialEq for ValidationState

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ValidationState