Struct Global 

pub struct Global { /* private fields */ }

Each global stores a single value of the given global type. Its 𝗍𝗒𝗉𝖾 also specifies whether a global is immutable or mutable. Moreover, each global is initialized with an 𝗂𝗇𝗂𝗍 value given by a constant initializer expression. Globals are referenced through global indices, starting with the smallest index not referencing a global import.

See https://webassembly.github.io/spec/core/syntax/modules.html#globals

Examples

Immutable

use wasm_ast::{Global, GlobalType, ValueType, Expression};

let kind = GlobalType::immutable(ValueType::I64);
let initializer: Expression = vec![0i64.into()].into();
let global = Global::immutable(ValueType::I64, initializer.clone());

assert_eq!(global, Global::new(kind.clone(), initializer.clone()));
assert_eq!(global.kind(), &kind);
assert_eq!(global.initializer(), &initializer);

Mutable

use wasm_ast::{Global, GlobalType, ValueType, Expression};

let kind = GlobalType::mutable(ValueType::I64);
let initializer: Expression = vec![0i64.into()].into();
let global = Global::mutable(ValueType::I64, initializer.clone());

assert_eq!(global, Global::new(kind.clone(), initializer.clone()));
assert_eq!(global.kind(), &kind);
assert_eq!(global.initializer(), &initializer);

Implementations

impl Global

pub fn new(kind: GlobalType, initializer: Expression) -> Self

Creates a new Global with the given type and initializer.

pub fn mutable(kind: ValueType, initializer: Expression) -> Self

Creates a new Global for a mutable global variable.

pub fn immutable(kind: ValueType, initializer: Expression) -> Self

Creates a new Global for an immutable global variable.

pub fn kind(&self) -> &GlobalType

The type of this Global.

pub fn initializer(&self) -> &Expression

The expression to initialize this Global with.

Trait Implementations

impl Clone for Global

fn clone(&self) -> Global

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Global

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

Formats the value using the given formatter.

impl PartialEq for Global

fn eq(&self, other: &Global) -> 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 StructuralPartialEq for Global