# [−] [src] Trait wasmi_validation::FuncValidator

    pub trait FuncValidator {
        type Output;
        fn new(ctx: &FunctionValidationContext, body: &FuncBody) -> Self;
        fn next_instruction(
            &mut self,
            ctx: &mut FunctionValidationContext,
            instruction: &Instruction
        ) -> Result<(), Error>;
        fn finish(self) -> Self::Output;
    }

## Associated Types

### `type Output`

Loading content...

## 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`

Loading content...

## Implementors

### `impl FuncValidator for PlainFuncValidator` [src]

#### `type Output = ()`

#### `fn new(_ctx: &FunctionValidationContext, _body: &FuncBody) -> PlainFuncValidator` [src]

#### `fn next_instruction(
&mut self,
ctx: &mut FunctionValidationContext,
instruction: &Instruction
) -> Result<(), Error>` [src]

#### `fn finish(self)` [src]

Loading content...

# Help

## Keyboard Shortcuts

`?`
  Show this help dialog
`S`
  Focus the search field
`↑`
  Move up in search results
`↓`
  Move down in search results
`↹`
  Switch tab
`⏎`
  Go to active search result
`+`
  Expand all sections
`-`
  Collapse all sections

## Search Tricks

Prefix searches with a type followed by a colon (e.g., `fn:`) to restrict the search to a given type.

Accepted types are: `fn`, `mod`, `struct`, `enum`, `trait`, `type`, `macro`, and `const`.

Search functions by type signature (e.g., `vec -> usize` or `* -> vec`)

Search multiple things at once by splitting your query with comma (e.g., `str,u8` or `String,struct:Vec,test`)