Struct ModuleTypes

pub struct ModuleTypes { /* private fields */ }

All types used in a core wasm module.

Note that accessing this type is primarily done through the Index implementations for this type.

Implementations

impl ModuleTypes

pub fn wasm_types( &self, ) -> impl ExactSizeIterator<Item = (ModuleInternedTypeIndex, &WasmSubType)>

Returns an iterator over all the wasm function signatures found within this module.

pub fn get(&self, ty: ModuleInternedTypeIndex) -> Option<&WasmSubType>

Get the type at the specified index, if it exists.

pub fn rec_groups( &self, ) -> impl ExactSizeIterator<Item = (ModuleInternedRecGroupIndex, Range<ModuleInternedTypeIndex>)> + '_

Get an iterator over all recursion groups defined in this module and their elements.

pub fn rec_group_elements( &self, rec_group: ModuleInternedRecGroupIndex, ) -> impl ExactSizeIterator<Item = ModuleInternedTypeIndex>

Get the elements within an already-defined rec group.

pub fn len_types(&self) -> usize

Returns the number of types interned.

pub fn push(&mut self, ty: WasmSubType) -> ModuleInternedTypeIndex

Adds a new type to this interned list of types.

pub fn trampoline_types( &self, ) -> impl Iterator<Item = (ModuleInternedTypeIndex, ModuleInternedTypeIndex)> + '_

Iterate over the trampoline function types that this module requires.

Yields pairs of (1) a function type and (2) its associated trampoline type. They might be the same.

See the docs for WasmFuncType::trampoline_type for details on trampoline types.

pub fn trampoline_type( &self, ty: ModuleInternedTypeIndex, ) -> ModuleInternedTypeIndex

Get the trampoline type for the given function type.

See the docs for WasmFuncType::trampoline_type for details on trampoline types.

impl ModuleTypes

Methods that only exist for ModuleTypesBuilder.

pub fn set_trampoline_type( &mut self, for_ty: ModuleInternedTypeIndex, trampoline_ty: ModuleInternedTypeIndex, )

Associate trampoline_ty as the trampoline type for for_ty.

pub fn push_rec_group( &mut self, range: Range<ModuleInternedTypeIndex>, ) -> ModuleInternedRecGroupIndex

Adds a new rec group to this interned list of types.

pub fn reserve(&mut self, amt: usize)

Reserves space for amt more types.

pub fn next_rec_group(&self) -> ModuleInternedRecGroupIndex

Returns the next return value of push_rec_group.

pub fn next_ty(&self) -> ModuleInternedTypeIndex

Returns the next return value of push.

Trait Implementations

impl Default for ModuleTypes

fn default() -> ModuleTypes

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ModuleTypes

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Index<ModuleInternedTypeIndex> for ModuleTypes

type Output = WasmSubType

The returned type after indexing.

fn index(&self, sig: ModuleInternedTypeIndex) -> &WasmSubType

Performs the indexing (container[index]) operation.

impl Serialize for ModuleTypes

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.