Struct PlainFuncValidator

Source

pub struct PlainFuncValidator;

Expand description

A function validator that just validates modules and produces no result.

Trait Implementations§

Source §

impl FuncValidator for PlainFuncValidator

Source §

type Output = ()

Source §

fn new( _ctx: &FunctionValidationContext<'_>, _body: &FuncBody, ) -> PlainFuncValidator

Source §

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

Source §

fn finish(self)

Auto Trait Implementations§

§

impl UnwindSafe for PlainFuncValidator

Blanket Implementations§

Source §

impl<T> Any for T
where T: 'static + ?Sized,

Source §

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

Source §

impl<T> Borrow<T> for T
where T: ?Sized,

Source §

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

Source §

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source §

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

Source §

impl<T> From<T> for T

Source §

fn from(t: T) -> T

Returns the argument unchanged.

Source §

impl<T, U> Into for T
where U: From<T>,

Source §

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source §

impl<T, U> TryFrom for T
where U: Into<T>,

Source §

type Error = Infallible

The type returned in the event of a conversion error.

Source §

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

Source §

impl<T, U> TryInto for T
where U: TryFrom<T>,

Source §

type Error = >::Error

The type returned in the event of a conversion error.

Source §

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

PlainFuncValidator

Struct PlainFuncValidator

Trait Implementations§

impl FuncValidator for PlainFuncValidator

type Output = ()

fn new( _ctx: &FunctionValidationContext<'_>, _body: &FuncBody, ) -> PlainFuncValidator

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

fn finish(self)

Auto Trait Implementations§

impl Freeze for PlainFuncValidator

impl RefUnwindSafe for PlainFuncValidator

impl Send for PlainFuncValidator

impl Sync for PlainFuncValidator

impl Unpin for PlainFuncValidator

impl UnsafeUnpin for PlainFuncValidator

impl UnwindSafe for PlainFuncValidator

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

PlainFuncValidator

Struct PlainFuncValidator Copy item path

Trait Implementations§

impl FuncValidator for PlainFuncValidator

type Output = ()

fn new( _ctx: &FunctionValidationContext<'_>, _body: &FuncBody, ) -> PlainFuncValidator

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

fn finish(self)

Auto Trait Implementations§

impl Freeze for PlainFuncValidator

impl RefUnwindSafe for PlainFuncValidator

impl Send for PlainFuncValidator

impl Sync for PlainFuncValidator

impl Unpin for PlainFuncValidator

impl UnsafeUnpin for PlainFuncValidator

impl UnwindSafe for PlainFuncValidator

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Struct PlainFuncValidator

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T, U> Into<U> for T
where U: From<T>,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,