Trait casper_wasmi_validation::Validator

pub trait Validator {
    type Input;
    type Output;
    type FuncValidator: FuncValidator;

    // Required methods
    fn new(module: &Module, input: Self::Input) -> Self;
    fn func_validator_input(
        &mut self
    ) -> <Self::FuncValidator as FuncValidator>::Input;
    fn on_function_validated(
        &mut self,
        index: u32,
        output: <<Self as Validator>::FuncValidator as FuncValidator>::Output
    );
    fn finish(self) -> Self::Output;
}

Required Associated Types

type Input

Custom inputs to the validator constructor.

type Output

type FuncValidator: FuncValidator

Required Methods

fn new(module: &Module, input: Self::Input) -> Self

fn func_validator_input( &mut self ) -> <Self::FuncValidator as FuncValidator>::Input

fn on_function_validated( &mut self, index: u32, output: <<Self as Validator>::FuncValidator as FuncValidator>::Output )

fn finish(self) -> Self::Output

Object Safety

This trait is not object safe.

Implementors

impl Validator for PlainValidator

type Input = ()

type Output = ()

type FuncValidator = PlainFuncValidator