Struct wasmi_validation::func::FunctionValidationContext

pub struct FunctionValidationContext<'a> {
    pub module: &'a ModuleContext,
    pub locals: Locals<'a>,
    pub value_stack: StackWithLimit<StackValueType>,
    pub frame_stack: StackWithLimit<BlockFrame>,
    pub return_type: BlockType,
}

Function validation context.

Fields

module: &'a ModuleContext

Wasm module

locals: Locals<'a>

Local variables.

value_stack: StackWithLimit<StackValueType>

Value stack.

frame_stack: StackWithLimit<BlockFrame>

Frame stack.

return_type: BlockType

Function return type.

Implementations

impl<'a> FunctionValidationContext<'a>

pub fn step(&mut self, instruction: &Instruction) -> Result<(), Error>