pub struct TypesRef<'a> { /* private fields */ }
Expand description

Represents the types known to a crate::Validator during validation.

Retrieved via the crate::Validator::types method.

Implementations§

source§

impl<'a> TypesRef<'a>

source

pub fn type_from_id(&self, id: TypeId) -> Option<&'a Type>

Gets a type based on its type id.

Returns None if the type id is unknown.

source

pub fn id_from_type_index(&self, index: u32, core: bool) -> Option<TypeId>

Gets a type id from a type index.

Returns None if the type index is out of bounds or the type has not been parsed yet.

source

pub fn type_at(&self, index: u32, core: bool) -> Option<&'a Type>

Gets a type at the given type index.

Returns None if the type index is out of bounds or the type has not been parsed yet.

source

pub fn func_type_at(&self, index: u32) -> Option<&'a FuncType>

Gets a defined core function type at the given type index.

Returns None if the type index is out of bounds or the type has not been parsed yet.

source

pub fn table_at(&self, index: u32) -> Option<TableType>

Gets the type of a table at the given table index.

Returns None if the type index is out of bounds or the type has not been parsed yet.

source

pub fn memory_at(&self, index: u32) -> Option<MemoryType>

Gets the type of a memory at the given memory index.

Returns None if the type index is out of bounds or the type has not been parsed yet.

source

pub fn global_at(&self, index: u32) -> Option<GlobalType>

Gets the type of a global at the given global index.

Returns None if the type index is out of bounds or the type has not been parsed yet.

source

pub fn tag_at(&self, index: u32) -> Option<&'a FuncType>

Gets the type of a tag at the given tag index.

Returns None if the type index is out of bounds or the type has not been parsed yet.

source

pub fn function_at(&self, index: u32) -> Option<&'a FuncType>

Gets the type of a core function at the given function index.

Returns None if the type index is out of bounds or the type has not been parsed yet.

source

pub fn element_at(&self, index: u32) -> Option<ValType>

Gets the type of an element segment at the given element segment index.

Returns None if the type index is out of bounds or the type has not been parsed yet.

source

pub fn component_function_at(&self, index: u32) -> Option<&'a ComponentFuncType>

Gets the type of a component function at the given function index.

Returns None if the type index is out of bounds or the type has not been parsed yet.

source

pub fn module_at(&self, index: u32) -> Option<&'a ModuleType>

Gets the type of a module at the given module index.

Returns None if the type index is out of bounds or the type has not been parsed yet.

source

pub fn instance_at(&self, index: u32) -> Option<&'a InstanceType>

Gets the type of a module instance at the given module instance index.

Returns None if the type index is out of bounds or the type has not been parsed yet.

source

pub fn component_at(&self, index: u32) -> Option<&'a ComponentType>

Gets the type of a component at the given component index.

Returns None if the type index is out of bounds or the type has not been parsed yet.

source

pub fn component_instance_at( &self, index: u32 ) -> Option<&'a ComponentInstanceType>

Gets the type of an component instance at the given component instance index.

Returns None if the type index is out of bounds or the type has not been parsed yet.

source

pub fn value_at(&self, index: u32) -> Option<ComponentValType>

Gets the type of a value at the given value index.

Returns None if the type index is out of bounds or the type has not been parsed yet.

source

pub fn entity_type_from_import(&self, import: &Import<'_>) -> Option<EntityType>

Gets the entity type for the given import.

source

pub fn entity_type_from_export(&self, export: &Export<'_>) -> Option<EntityType>

Gets the entity type from the given export.

source

pub fn component_entity_type_from_import( &self, import: &ComponentImport<'_> ) -> Option<ComponentEntityType>

Gets the component entity type for the given component import.

source

pub fn component_entity_type_from_export( &self, export: &ComponentExport<'_> ) -> Option<ComponentEntityType>

Gets the component entity type from the given component export.

Trait Implementations§

source§

impl<'a> Clone for TypesRef<'a>

source§

fn clone(&self) -> TypesRef<'a>

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl<'a> Copy for TypesRef<'a>

Auto Trait Implementations§

§

impl<'a> RefUnwindSafe for TypesRef<'a>

§

impl<'a> Send for TypesRef<'a>

§

impl<'a> Sync for TypesRef<'a>

§

impl<'a> Unpin for TypesRef<'a>

§

impl<'a> UnwindSafe for TypesRef<'a>

Blanket Implementations§

source§

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

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

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

const: unstable · source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

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

const: unstable · source§

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

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

const: unstable · source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

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

const: unstable · 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> ToOwned for Twhere T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

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

§

type Error = Infallible

The type returned in the event of a conversion error.
const: unstable · source§

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

Performs the conversion.
source§

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

§

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

The type returned in the event of a conversion error.
const: unstable · source§

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

Performs the conversion.