wasmtime_environ

Struct ModuleTypes

source
pub struct ModuleTypes { /* private fields */ }
Expand description

All types used in a core wasm module.

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

Implementations§

source§

impl ModuleTypes

source

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

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

source

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

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

source

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.

source

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

Get the elements within an already-defined rec group.

source

pub fn len_types(&self) -> usize

Returns the number of types interned.

source

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

Adds a new type to this interned list of types.

source

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.

source

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.

source§

impl ModuleTypes

Methods that only exist for ModuleTypesBuilder.

source

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

Associate trampoline_ty as the trampoline type for for_ty.

source

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

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

source

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

Reserves space for amt more types.

source

pub fn next_rec_group(&self) -> ModuleInternedRecGroupIndex

Returns the next return value of push_rec_group.

source

pub fn next_ty(&self) -> ModuleInternedTypeIndex

Returns the next return value of push.

Trait Implementations§

source§

impl Default for ModuleTypes

source§

fn default() -> ModuleTypes

Returns the “default value” for a type. Read more
source§

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

source§

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
source§

impl Index<ModuleInternedTypeIndex> for ModuleTypes

source§

type Output = WasmSubType

The returned type after indexing.
source§

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

Performs the indexing (container[index]) operation. Read more
source§

impl Serialize for ModuleTypes

source§

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

Serialize this value into the given Serde serializer. Read more

Auto Trait Implementations§

Blanket Implementations§

source§

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

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

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

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

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

source§

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

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

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

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, U> TryFrom<U> for T
where U: Into<T>,

source§

type Error = Infallible

The type returned in the event of a conversion error.
source§

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

Performs the conversion.
source§

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

source§

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

The type returned in the event of a conversion error.
source§

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

Performs the conversion.
source§

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,