Struct ValidationConfig

pub struct ValidationConfig {
    pub allow_globals_in_init: bool,
    pub allow_sign_extension_instr: bool,
}

Configuration for module validation. This determines the features of Wasm we support or not, depending on the protocol version.

Some Wasm features are not supported in any protocol versions, so are not part of this configuration. These include imported globals, floating point types, floating point operations, etc.

Fields

allow_globals_in_init: bool

Allow locally defined globals in constant expressions when initializing data and element sections. In protocols 1-5 this was allowed, but we need to disallow it in following protocols since the Wasm spec has been updated to not allow this anymore. See issue on the Wasm spec repository.

allow_sign_extension_instr: bool

Allow sign extension instructions. See proposal.

Implementations

impl ValidationConfig

pub const V0: Self

Validation configuration valid in protocols 1-5.

pub const V1: Self

Validation configuration valid in protocol 6 and onward.

Trait Implementations

impl Clone for ValidationConfig

fn clone(&self) -> ValidationConfig

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ValidationConfig

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'a> Parseable<'a, ValidationConfig> for Global

fn parse( ctx: ValidationConfig, cursor: &mut Cursor<&'a [u8]>, ) -> ParseResult<Self>

Read a value from the cursor, or signal error. This function is responsible for advancing the cursor in-line with the data it has read.

impl<'a> Parseable<'a, ValidationConfig> for GlobalSection

fn parse( ctx: ValidationConfig, cursor: &mut Cursor<&'a [u8]>, ) -> ParseResult<Self>

Read a value from the cursor, or signal error. This function is responsible for advancing the cursor in-line with the data it has read.

impl Copy for ValidationConfig