Struct ComponentTypesBuilder

pub struct ComponentTypesBuilder { /* private fields */ }

Structured used to build a ComponentTypes during translation.

This contains tables to intern any component types found as well as managing building up core wasm ModuleTypes as well.

Implementations

impl ComponentTypesBuilder

pub fn new(validator: &Validator) -> Self

Construct a new ComponentTypesBuilder for use with the given validator.

pub fn finish( self, component: &Component, ) -> (ComponentTypes, TypeComponentIndex)

Finishes this list of component types and returns the finished structure and the TypeComponentIndex corresponding to top-level component with imports and exports specified.

pub fn find_resource_drop_signature(&self) -> Option<ModuleInternedTypeIndex>

Smaller helper method to find a ModuleInternedTypeIndex which corresponds to the resource.drop intrinsic in components, namely a core wasm function type which takes one i32 argument and has no results.

This is a bit of a hack right now as ideally this find operation wouldn’t be needed and instead the ModuleInternedTypeIndex itself would be threaded through appropriately, but that’s left for a future refactoring. Try not to lean too hard on this method though.

pub fn module_types_builder(&self) -> &ModuleTypesBuilder

Returns the underlying builder used to build up core wasm module types.

Note that this is shared across all modules found within a component to improve the wins from deduplicating function signatures.

pub fn module_types_builder_mut(&mut self) -> &mut ModuleTypesBuilder

Same as module_types_builder, but mut.

pub fn num_resource_tables(&self) -> usize

Returns the number of resource tables allocated so far, or the maximum TypeResourceTableIndex.

pub fn resources_mut(&mut self) -> &mut ResourcesBuilder

Returns a mutable reference to the underlying ResourcesBuilder.

pub fn resources_mut_and_types( &mut self, ) -> (&mut ResourcesBuilder, &ComponentTypes)

Work around the borrow checker to borrow two sub-fields simultaneously externally.

pub fn convert_component_func_type( &mut self, types: TypesRef<'_>, id: ComponentFuncTypeId, ) -> Result<TypeFuncIndex>

Converts a wasmparser ComponentFuncType into Wasmtime’s type representation.

pub fn convert_component_entity_type( &mut self, types: TypesRef<'_>, ty: ComponentEntityType, ) -> Result<TypeDef>

Converts a wasmparser ComponentEntityType into Wasmtime’s type representation.

pub fn convert_type( &mut self, types: TypesRef<'_>, id: ComponentAnyTypeId, ) -> Result<TypeDef>

Converts a wasmparser Type into Wasmtime’s type representation.

pub fn resource_id(&mut self, id: ResourceId) -> TypeResourceTableIndex

Converts a wasmparser id, which must point to a resource, to its corresponding TypeResourceTableIndex.

pub fn add_func_type(&mut self, ty: TypeFunc) -> TypeFuncIndex

Interns a new function type within this type information.

pub fn add_record_type(&mut self, ty: TypeRecord) -> TypeRecordIndex

Interns a new record type within this type information.

pub fn add_flags_type(&mut self, ty: TypeFlags) -> TypeFlagsIndex

Interns a new flags type within this type information.

pub fn add_tuple_type(&mut self, ty: TypeTuple) -> TypeTupleIndex

Interns a new tuple type within this type information.

pub fn add_variant_type(&mut self, ty: TypeVariant) -> TypeVariantIndex

Interns a new variant type within this type information.

pub fn add_enum_type(&mut self, ty: TypeEnum) -> TypeEnumIndex

Interns a new enum type within this type information.

pub fn add_option_type(&mut self, ty: TypeOption) -> TypeOptionIndex

Interns a new option type within this type information.

pub fn add_result_type(&mut self, ty: TypeResult) -> TypeResultIndex

Interns a new result type within this type information.

pub fn add_list_type(&mut self, ty: TypeList) -> TypeListIndex

Interns a new type within this type information.

pub fn canonical_abi(&self, ty: &InterfaceType) -> &CanonicalAbiInfo

Returns the canonical ABI information about the specified type.

pub fn flat_types(&self, ty: &InterfaceType) -> Option<FlatTypes<'_>>

Returns the “flat types” for the given interface type used in the canonical ABI.

Returns None if the type is too large to be represented via flat types in the canonical abi.

pub fn ty_contains_borrow_resource(&self, ty: &InterfaceType) -> bool

Returns whether the type specified contains any borrowed resources within it.

Trait Implementations

impl<T> Index<T> for ComponentTypesBuilder

where ModuleTypes: Index<T>,

type Output = <ModuleTypes as Index<T>>::Output

The returned type after indexing.

fn index(&self, idx: T) -> &Self::Output

Performs the indexing (container[index]) operation.

impl Index<TypeComponentIndex> for ComponentTypesBuilder

type Output = TypeComponent

The returned type after indexing.

fn index(&self, idx: TypeComponentIndex) -> &TypeComponent

Performs the indexing (container[index]) operation.

impl Index<TypeComponentInstanceIndex> for ComponentTypesBuilder

type Output = TypeComponentInstance

The returned type after indexing.

fn index(&self, idx: TypeComponentInstanceIndex) -> &TypeComponentInstance

Performs the indexing (container[index]) operation.

impl Index<TypeEnumIndex> for ComponentTypesBuilder

type Output = TypeEnum

The returned type after indexing.

fn index(&self, idx: TypeEnumIndex) -> &TypeEnum

Performs the indexing (container[index]) operation.

impl Index<TypeFlagsIndex> for ComponentTypesBuilder

type Output = TypeFlags

The returned type after indexing.

fn index(&self, idx: TypeFlagsIndex) -> &TypeFlags

Performs the indexing (container[index]) operation.

impl Index<TypeFuncIndex> for ComponentTypesBuilder

type Output = TypeFunc

The returned type after indexing.

fn index(&self, idx: TypeFuncIndex) -> &TypeFunc

Performs the indexing (container[index]) operation.

impl Index<TypeListIndex> for ComponentTypesBuilder

type Output = TypeList

The returned type after indexing.

fn index(&self, idx: TypeListIndex) -> &TypeList

Performs the indexing (container[index]) operation.

impl Index<TypeModuleIndex> for ComponentTypesBuilder

type Output = TypeModule

The returned type after indexing.

fn index(&self, idx: TypeModuleIndex) -> &TypeModule

Performs the indexing (container[index]) operation.

impl Index<TypeOptionIndex> for ComponentTypesBuilder

type Output = TypeOption

The returned type after indexing.

fn index(&self, idx: TypeOptionIndex) -> &TypeOption

Performs the indexing (container[index]) operation.

impl Index<TypeRecordIndex> for ComponentTypesBuilder

type Output = TypeRecord

The returned type after indexing.

fn index(&self, idx: TypeRecordIndex) -> &TypeRecord

Performs the indexing (container[index]) operation.

impl Index<TypeResourceTableIndex> for ComponentTypesBuilder

type Output = TypeResourceTable

The returned type after indexing.

fn index(&self, idx: TypeResourceTableIndex) -> &TypeResourceTable

Performs the indexing (container[index]) operation.

impl Index<TypeResultIndex> for ComponentTypesBuilder

type Output = TypeResult

The returned type after indexing.

fn index(&self, idx: TypeResultIndex) -> &TypeResult

Performs the indexing (container[index]) operation.

impl Index<TypeTupleIndex> for ComponentTypesBuilder

type Output = TypeTuple

The returned type after indexing.

fn index(&self, idx: TypeTupleIndex) -> &TypeTuple

Performs the indexing (container[index]) operation.

impl Index<TypeVariantIndex> for ComponentTypesBuilder

type Output = TypeVariant

The returned type after indexing.

fn index(&self, idx: TypeVariantIndex) -> &TypeVariant

Performs the indexing (container[index]) operation.

impl TypeConvert for ComponentTypesBuilder

fn lookup_heap_type(&self, _index: UnpackedIndex) -> WasmHeapType

Converts the specified type index from a heap type into a canonicalized heap type.

fn lookup_type_index(&self, _index: UnpackedIndex) -> EngineOrModuleTypeIndex

Converts the specified type index from a heap type into a canonicalized heap type.

fn convert_global_type(&self, ty: &GlobalType) -> Global

Converts a wasmparser table type into a wasmtime type

fn convert_table_type(&self, ty: &TableType) -> Result<Table, WasmError>

Converts a wasmparser table type into a wasmtime type

fn convert_sub_type(&self, ty: &SubType) -> WasmSubType

fn convert_composite_type(&self, ty: &CompositeType) -> WasmCompositeType

fn convert_struct_type(&self, ty: &StructType) -> WasmStructType

fn convert_array_type(&self, ty: &ArrayType) -> WasmArrayType

fn convert_field_type(&self, ty: &FieldType) -> WasmFieldType

fn convert_storage_type(&self, ty: &StorageType) -> WasmStorageType

fn convert_func_type(&self, ty: &FuncType) -> WasmFuncType

Converts a wasmparser function type to a wasmtime type

fn convert_valtype(&self, ty: ValType) -> WasmValType

Converts a wasmparser value type to a wasmtime type

fn convert_ref_type(&self, ty: RefType) -> WasmRefType

Converts a wasmparser reference type to a wasmtime type

fn convert_heap_type(&self, ty: HeapType) -> WasmHeapType

Converts a wasmparser heap type to a wasmtime type