gwr - v0.0.2

gwr/execution/runtime

Types

Address

</>

https://webassembly.github.io/spec/core/exec/runtime.html#addresses

pub type Address {
  FunctionAddress(Int)
  TableAddress(Int)
  MemoryAddress(Int)
  GlobalAddress(Int)
  ElementAddress(Int)
  DataAddress(Int)
  ExternAddress(Int)
}

Constructors 

  • FunctionAddress(Int)
  • TableAddress(Int)
  • MemoryAddress(Int)
  • GlobalAddress(Int)
  • ElementAddress(Int)
  • DataAddress(Int)
  • ExternAddress(Int)

DataInstance

</>

An data instance is the runtime representation of a data segment. It holds a vector of bytes.

https://webassembly.github.io/spec/core/exec/runtime.html#data-instances

pub type DataInstance {
  DataInstance(data: BitArray)
}

Constructors 

  • DataInstance(data: BitArray)

ElementInstance

</>

An element instance is the runtime representation of an element segment. It holds a vector of references and their common type.

https://webassembly.github.io/spec/core/exec/runtime.html#element-instances

pub type ElementInstance {
  ElementInstance(
    type_: types.ReferenceType,
    element: List(Value),
  )
}

Constructors 

  • ElementInstance(type_: types.ReferenceType, element: List(Value))

ExecutionResult

</>

A result is the outcome of a computation. It is either a sequence of values or a trap.

https://webassembly.github.io/spec/core/exec/runtime.html#results

pub type ExecutionResult {
  Success(List(Value))
  Trap
}

Constructors 

  • Success(List(Value))
  • Trap

ExportInstance

</>

An export instance is the runtime representation of an export. It defines the export’s name and the associated external value.

https://webassembly.github.io/spec/core/exec/runtime.html#export-instances

pub type ExportInstance {
  ExportInstance(name: value.Name, value: ExternalValue)
}

Constructors 

  • ExportInstance(name: value.Name, value: ExternalValue)

ExternalValue

</>

An external value is the runtime representation of an entity that can be imported or exported. It is an address denoting either a function instance, table instance, memory instance, or global instances in the shared store.

https://webassembly.github.io/spec/core/exec/runtime.html#external-values

pub type ExternalValue {
  Function(Address)
  Table(Address)
  Memory(Address)
  Global(Address)
}

Constructors 

  • Function(Address)
  • Table(Address)
  • Memory(Address)
  • Global(Address)

FunctionInstance

</>

A function instance is the runtime representation of a function. It effectively is a closure of the original function over the runtime module instance of its originating module. The module instance is used to resolve references to other definitions during execution of the function.

https://webassembly.github.io/spec/core/exec/runtime.html#function-instances

pub type FunctionInstance {
  WebAssemblyFunctionInstance(
    type_: types.FunctionType,
    module_instance: ModuleInstance,
    code: module.Function,
  )
  HostFunctionInstance(
    type_: types.FunctionType,
    code: fn(List(dynamic.Dynamic)) -> List(dynamic.Dynamic),
  )
}

Constructors 

  • WebAssemblyFunctionInstance(
  type_: types.FunctionType,
  module_instance: ModuleInstance,
  code: module.Function,
)
  • HostFunctionInstance(
  type_: types.FunctionType,
  code: fn(List(dynamic.Dynamic)) -> List(dynamic.Dynamic),
)

GlobalInstance

</>

A global instance is the runtime representation of a global variable. It records its type and holds an individual value.

https://webassembly.github.io/spec/core/exec/runtime.html#global-instances

pub type GlobalInstance {
  GlobalInstance(type_: types.GlobalType, value: Value)
}

Constructors 

  • GlobalInstance(type_: types.GlobalType, value: Value)

MemoryInstance

</>

A memory instance is the runtime representation of a linear memory. It records its type and holds a vector of bytes.

https://webassembly.github.io/spec/core/exec/runtime.html#memory-instances

pub type MemoryInstance {
  MemoryInstance(type_: types.MemoryType, data: BitArray)
}

Constructors 

  • MemoryInstance(type_: types.MemoryType, data: BitArray)

ModuleInstance

</>

A module instance is the runtime representation of a module. It is created by instantiating a module, and collects runtime representations of all entities that are imported, defined, or exported by the module.

https://webassembly.github.io/spec/core/exec/runtime.html#module-instances

pub type ModuleInstance {
  ModuleInstance(
    types: List(types.FunctionType),
    function_addresses: List(Address),
    table_addresses: List(Address),
    memory_addresses: List(Address),
    global_addresses: List(Address),
    element_addresses: List(Address),
    data_addresses: List(Address),
    exports: List(ExportInstance),
  )
}

Constructors 

  • ModuleInstance(
  types: List(types.FunctionType),
  function_addresses: List(Address),
  table_addresses: List(Address),
  memory_addresses: List(Address),
  global_addresses: List(Address),
  element_addresses: List(Address),
  data_addresses: List(Address),
  exports: List(ExportInstance),
)

ReferenceValueType

</> 
pub type ReferenceValueType {
  Null
  ToFunctionAddress(Address)
  ToExternAddress(Address)
}

Constructors 

  • Null
  • ToFunctionAddress(Address)
  • ToExternAddress(Address)

Store

</>

The store represents all global state that can be manipulated by WebAssembly programs. It consists of the runtime representation of all instances of functions, tables, memories, and globals, element segments, and data segments that have been allocated during the life time of the abstract machine.

https://webassembly.github.io/spec/core/exec/runtime.html#store

pub type Store {
  Store(
    functions: List(FunctionInstance),
    tables: List(TableInstance),
    memories: List(MemoryInstance),
    globals: List(GlobalInstance),
    elements: List(ElementInstance),
    datas: List(DataInstance),
  )
}

Constructors 

  • Store(
  functions: List(FunctionInstance),
  tables: List(TableInstance),
  memories: List(MemoryInstance),
  globals: List(GlobalInstance),
  elements: List(ElementInstance),
  datas: List(DataInstance),
)

TableInstance

</>

A table instance is the runtime representation of a table. It records its type and holds a vector of reference value.

https://webassembly.github.io/spec/core/exec/runtime.html#table-instances

pub type TableInstance {
  TableInstance(type_: types.TableType, elements: List(Value))
}

Constructors 

  • TableInstance(type_: types.TableType, elements: List(Value))

Value

</>

https://webassembly.github.io/spec/core/exec/runtime.html#values

pub type Value {
  Number(Int)
  Vector(Int)
  Reference(ReferenceValueType)
}

Constructors 

  • Number(Int)
  • Vector(Int)
  • Reference(ReferenceValueType)

Constants

number_value_default_value

</> 
pub const number_value_default_value: Int

reference_value_default_value

</> 
pub const reference_value_default_value: ReferenceValueType

vector_value_default_value

</> 
pub const vector_value_default_value: Int
✨ Search Document