Struct GlobalType 

pub struct GlobalType { /* private fields */ }

Global types classify global variables, which hold a value and can either be mutable or immutable.

See https://webassembly.github.io/spec/core/syntax/types.html#global-types

Examples

Mutable

use wasm_ast::{ValueType, GlobalType, Mutability};

let mutable = GlobalType::mutable(ValueType::I64);

assert_eq!(mutable.mutability(), Mutability::Mutable);
assert_eq!(mutable.kind(), ValueType::I64);
assert_eq!(mutable, GlobalType::new( ValueType::I64,Mutability::Mutable));

Immutable

use wasm_ast::{ValueType, GlobalType, Mutability};

let immutable = GlobalType::immutable(ValueType::F64);

assert_eq!(immutable.mutability(), Mutability::Immutable);
assert_eq!(immutable.kind(), ValueType::F64);
assert_eq!(immutable, GlobalType::new( ValueType::F64,Mutability::Immutable));

Implementations

impl GlobalType

pub fn new(kind: ValueType, mutability: Mutability) -> Self

Creates a new GlobalType for a global variable with the given mutability and value type.

pub fn mutable(kind: ValueType) -> Self

Creates a new GlobalType for a mutable global variable.

pub fn immutable(kind: ValueType) -> Self

Creates a new GlobalType for an immutable (i.e. constant) global variable.

pub fn kind(&self) -> ValueType

The ValueType of the global variable defined by this GlobalType.

pub fn mutability(&self) -> Mutability

The mutability (i.e. variable versus constant) of the global variable type.

Trait Implementations

impl Clone for GlobalType

fn clone(&self) -> GlobalType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GlobalType

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

Formats the value using the given formatter.

impl PartialEq for GlobalType

fn eq(&self, other: &GlobalType) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for GlobalType

impl Eq for GlobalType

impl StructuralPartialEq for GlobalType