Trait FuncValidator

Source
pub trait FuncValidator {
    type Output;

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

Required Associated Types§

Required Methods§

Source

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

Source

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

Source

fn finish(self) -> Self::Output

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§