pub trait FuncValidator {
    type Input;
    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;
}

Required Associated Types§

source

type Input

Custom inputs to the function validator constructor.

source

type Output

Required Methods§

source

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

source

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

source

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

Implementors§