# [−] [src] Struct wasmi_validation::context::ModuleContext

    pub struct ModuleContext {
        pub memories: Vec<MemoryType>,
        pub tables: Vec<TableType>,
        pub globals: Vec<GlobalType>,
        pub types: Vec<FunctionType>,
        pub func_type_indexes: Vec<u32>,
    }

## Fields

`memories: Vec<MemoryType>` `tables: Vec<TableType>` `globals: Vec<GlobalType>` `types: Vec<FunctionType>` `func_type_indexes: Vec<u32>`

## Methods

### `impl ModuleContext` [src]

#### `pub fn memories(&self) -> &[MemoryType]` [src]

#### `pub fn tables(&self) -> &[TableType]` [src]

#### `pub fn globals(&self) -> &[GlobalType]` [src]

#### `pub fn types(&self) -> &[FunctionType]` [src]

#### `pub fn func_type_indexes(&self) -> &[u32]` [src]

#### `pub fn require_memory(&self, idx: u32) -> Result<(), Error>` [src]

#### `pub fn require_table(&self, idx: u32) -> Result<&TableType, Error>` [src]

#### `pub fn require_function(
&self,
idx: u32
) -> Result<(&[ValueType], BlockType), Error>` [src]

#### `pub fn require_function_type(
&self,
idx: u32
) -> Result<(&[ValueType], BlockType), Error>` [src]

#### `pub fn require_global(
&self,
idx: u32,
mutability: Option<bool>
) -> Result<&GlobalType, Error>` [src]

## Trait Implementations

### `impl Default for ModuleContext` [src]

#### `fn default() -> ModuleContext` [src]

Returns the "default value" for a type. Read more

### `impl Debug for ModuleContext` [src]

#### `fn fmt(&self, f: &mut Formatter) -> Result` [src]

Formats the value using the given formatter. Read more

## Auto Trait Implementations

### `impl Send for ModuleContext`

### `impl Sync for ModuleContext`

### `impl Unpin for ModuleContext`

### `impl UnwindSafe for ModuleContext`

### `impl RefUnwindSafe for ModuleContext`

## Blanket Implementations

### `impl<T, U> Into<U> for T where
U: From<T>,` [src]

#### `fn into(self) -> U` [src]

Performs the conversion.

### `impl<T> From<T> for T` [src]

#### `fn from(t: T) -> T` [src]

Performs the conversion.

### `impl<T, U> TryFrom<U> for T where
U: Into<T>,` [src]

#### `type Error = Infallible`

The type returned in the event of a conversion error.

#### `fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>` [src]

Performs the conversion.

### `impl<T, U> TryInto<U> for T where
U: TryFrom<T>,` [src]

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

The type returned in the event of a conversion error.

#### `fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>` [src]

Performs the conversion.

### `impl<T> Borrow<T> for T where
T: ?Sized,` [src]

#### `fn borrow(&self) -> &T` [src]

Immutably borrows from an owned value. Read more

### `impl<T> BorrowMut<T> for T where
T: ?Sized,` [src]

#### `fn borrow_mut(&mut self) -> &mut T` [src]

Mutably borrows from an owned value. Read more

### `impl<T> Any for T where
T: 'static + ?Sized,` [src]

#### `fn type_id(&self) -> TypeId` [src]

Gets the `TypeId` of `self`. Read more

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