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 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
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.