wasmtime_environ::wasmparser

Struct WasmFeaturesInflated

Source
pub struct WasmFeaturesInflated {
Show 27 fields pub mutable_global: bool, pub saturating_float_to_int: bool, pub sign_extension: bool, pub reference_types: bool, pub multi_value: bool, pub bulk_memory: bool, pub simd: bool, pub relaxed_simd: bool, pub threads: bool, pub shared_everything_threads: bool, pub tail_call: bool, pub floats: bool, pub multi_memory: bool, pub exceptions: bool, pub memory64: bool, pub extended_const: bool, pub component_model: bool, pub function_references: bool, pub memory_control: bool, pub gc: bool, pub custom_page_sizes: bool, pub component_model_values: bool, pub component_model_nested_names: bool, pub component_model_more_flags: bool, pub component_model_multiple_returns: bool, pub legacy_exceptions: bool, pub gc_types: bool,
}
Expand description

Inflated version of WasmFeatures that allows for exhaustive matching on fields.

Fields§

§mutable_global: bool

The WebAssembly mutable-global proposal. Defaults to true.

§saturating_float_to_int: bool

The WebAssembly saturating-float-to-int proposal. Defaults to true.

§sign_extension: bool

The WebAssembly sign-extension-ops proposal. Defaults to true.

§reference_types: bool

The WebAssembly reference types proposal. Defaults to true.

§multi_value: bool

The WebAssembly multi-value proposal. Defaults to true.

§bulk_memory: bool

The WebAssembly bulk memory operations proposal. Defaults to true.

§simd: bool

The WebAssembly SIMD proposal. Defaults to true.

§relaxed_simd: bool

The WebAssembly Relaxed SIMD proposal. Defaults to true.

§threads: bool

The WebAssembly threads proposal. Defaults to true.

§shared_everything_threads: bool

The WebAssembly shared-everything-threads proposal; includes new component model built-ins. Defaults to false.

§tail_call: bool

The WebAssembly tail-call proposal. Defaults to true.

§floats: bool

Whether or not floating-point instructions are enabled.

This is enabled by default can be used to disallow floating-point operators and types.

This does not correspond to a WebAssembly proposal but is instead intended for embeddings which have stricter-than-usual requirements about execution. Floats in WebAssembly can have different NaN patterns across hosts which can lead to host-dependent execution which some runtimes may not desire. Defaults to true.

§multi_memory: bool

The WebAssembly multi memory proposal. Defaults to true.

§exceptions: bool

The WebAssembly exception handling proposal. Defaults to true.

§memory64: bool

The WebAssembly memory64 proposal. Defaults to false.

§extended_const: bool

The WebAssembly extended_const proposal. Defaults to true.

§component_model: bool

The WebAssembly component model proposal. Defaults to true.

§function_references: bool

The WebAssembly typed function references proposal. Defaults to true.

§memory_control: bool

The WebAssembly memory control proposal. Defaults to false.

§gc: bool

The WebAssembly gc proposal. Defaults to true.

§custom_page_sizes: bool

The WebAssembly custom-page-sizes proposal. Defaults to false.

§component_model_values: bool

Support for the value type in the component model proposal. Defaults to false.

§component_model_nested_names: bool

Support for the nested namespaces and projects in component model names. Defaults to false.

§component_model_more_flags: bool

Support for more than 32 flags per-type in the component model. Defaults to false.

§component_model_multiple_returns: bool

Support for multiple return values in a component model function. Defaults to false.

§legacy_exceptions: bool

The WebAssembly legacy exception handling proposal (phase 1)

§Note

Support this feature as long as all leading browsers also support it https://github.com/WebAssembly/exception-handling/blob/main/proposals/exception-handling/legacy/Exceptions.md Defaults to false.

§gc_types: bool

Whether or not gc types are enabled.

This feature does not correspond to any WebAssembly proposal nor concept in the specification itself. This is intended to assist embedders in disabling support for GC types at validation time. For example if an engine wants to support all of WebAssembly except a runtime garbage collector it could disable this feature.

This features is enabled by default and is used to gate types such as externref or anyref. Note that the requisite WebAssembly proposal must also be enabled for types like externref, meaning that it requires both REFERENCE_TYPES and GC_TYPE to be enabled.

Note that the funcref and exnref types are not gated by this feature. Those are expected to not require a full garbage collector so are not gated by this. Defaults to true.

Trait Implementations§

Source§

impl From<WasmFeatures> for WasmFeaturesInflated

Source§

fn from(features: WasmFeatures) -> WasmFeaturesInflated

Converts to this type from the input type.
Source§

impl From<WasmFeaturesInflated> for WasmFeatures

Source§

fn from(inflated: WasmFeaturesInflated) -> WasmFeatures

Converts to this type from the input type.

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.