Trait wasmi_validation::FuncValidator

pub trait FuncValidator {
    type Input;
    type Output;

    fn new(
        ctx: &FunctionValidationContext<'_>,
        body: &FuncBody,
        input: Self::Input
    ) -> Self;
    fn next_instruction(
        &mut self,
        ctx: &mut FunctionValidationContext<'_>,
        instruction: &Instruction
    ) -> Result<(), Error>;
    fn finish(self, ctx: &FunctionValidationContext<'_>) -> Self::Output;
}

Required Associated Types

type Input

Custom inputs to the function validator constructor.

type Output

Required Methods

fn new(
    ctx: &FunctionValidationContext<'_>,
    body: &FuncBody,
    input: Self::Input
) -> Self

fn next_instruction(
    &mut self,
    ctx: &mut FunctionValidationContext<'_>,
    instruction: &Instruction
) -> Result<(), Error>

fn finish(self, ctx: &FunctionValidationContext<'_>) -> Self::Output

Implementors

impl FuncValidator for PlainFuncValidator

type Input = ()

type Output = ()