Struct Types

pub struct Types { /* private fields */ }

Represents the types known to a crate::Validator once validation has completed.

The type information is returned via the crate::Validator::end method.

Implementations

impl Types

pub fn id(&self) -> ValidatorId

Get the id of the validator that these types are associated with.

pub fn as_ref(&self) -> TypesRef<'_>

Gets a reference to this validation type information.

pub fn get<T>(&self, id: T) -> Option<&<T as TypeIdentifier>::Data>

where T: TypeIdentifier,

Gets a type based on its type id.

Returns None if the type id is unknown.

pub fn core_type_at(&self, index: u32) -> ComponentCoreTypeId

Gets a core WebAssembly type at the given type index.

Note that this is in contrast to TypesRef::component_type_at which gets a component type from its index.

Panics

Panics if index is not a valid function index.

pub fn component_any_type_at(&self, index: u32) -> ComponentAnyTypeId

Gets a component WebAssembly type at the given type index.

Note that this is in contrast to TypesRef::core_type_at which gets a core type from its index.

Panics

Panics if index is not a valid type index.

pub fn component_type_at(&self, index: u32) -> ComponentTypeId

Gets a component type at the given type index.

Panics

Panics if index is not a valid component type index.

pub fn component_defined_type_at(&self, index: u32) -> ComponentDefinedTypeId

Gets a component type from the given component type index.

Panics

Panics if index is not a valid defined type index or if this type information represents a core module.

pub fn type_count(&self) -> usize

Gets the count of core types.

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

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

Panics

Panics if index is not a valid function index.

pub fn table_count(&self) -> usize

Gets the count of imported and defined tables.

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

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

Panics

Panics if index is not a valid function index.

pub fn memory_count(&self) -> u32

Gets the count of imported and defined memories.

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

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

Panics

Panics if index is not a valid function index.

pub fn global_count(&self) -> u32

Gets the count of imported and defined globals.

pub fn tag_at(&self, index: u32) -> CoreTypeId

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

Panics

Panics if index is not a valid function index.

pub fn tag_count(&self) -> u32

Gets the count of imported and defined tags.

pub fn core_function_at(&self, index: u32) -> CoreTypeId

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

Panics

Panics if index is not a valid function index.

pub fn core_function_count(&self) -> u32

Gets the count of core functions defined so far.

Note that this includes imported functions, defined functions, and for components lowered/aliased functions.

pub fn element_at(&self, index: u32) -> RefType

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

Panics

This will panic if the index provided is out of bounds.

pub fn element_count(&self) -> u32

Gets the count of element segments.

pub fn component_function_at(&self, index: u32) -> ComponentFuncTypeId

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

Panics

This will panic if the index provided is out of bounds or if this type information represents a core module.

pub fn component_function_count(&self) -> u32

Gets the count of imported, exported, or aliased component functions.

pub fn module_at(&self, index: u32) -> ComponentCoreModuleTypeId

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

Panics

This will panic if the index provided is out of bounds or if this type information represents a core module.

pub fn module_count(&self) -> usize

Gets the count of imported, exported, or aliased modules.

pub fn core_instance_at(&self, index: u32) -> ComponentCoreInstanceTypeId

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

Panics

This will panic if the index provided is out of bounds or if this type information represents a core module.

pub fn core_instance_count(&self) -> usize

Gets the count of imported, exported, or aliased core module instances.

pub fn component_at(&self, index: u32) -> ComponentTypeId

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

Panics

This will panic if the index provided is out of bounds or if this type information represents a core module.

pub fn component_count(&self) -> usize

Gets the count of imported, exported, or aliased components.

pub fn component_instance_at(&self, index: u32) -> ComponentInstanceTypeId

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

Panics

This will panic if the index provided is out of bounds or if this type information represents a core module.

pub fn component_instance_count(&self) -> usize

Gets the count of imported, exported, or aliased component instances.

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

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

Panics

This will panic if the index provided is out of bounds or if this type information represents a core module.

pub fn value_count(&self) -> usize

Gets the count of imported, exported, or aliased values.

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

Gets the entity type from the given import.

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

Gets the entity type from the given export.

pub fn component_entity_type_of_import( &self, name: &str, ) -> Option<ComponentEntityType>

Gets the component entity type for the given component import name.

pub fn component_entity_type_of_export( &self, name: &str, ) -> Option<ComponentEntityType>

Gets the component entity type for the given component export name.

pub fn peel_alias<T>(&self, ty: T) -> Option<T>

where T: Aliasable,

Attempts to lookup the type id that ty is an alias of.

Returns None if ty wasn’t listed as aliasing a prior type.

Trait Implementations

impl<T> Index<T> for Types

where T: TypeIdentifier,

type Output = <T as TypeIdentifier>::Data

The returned type after indexing.

fn index(&self, id: T) -> &<Types as Index<T>>::Output

Performs the indexing (container[index]) operation.