wardite 0.2.1 → 0.3.0

data/sig/generated/wardite/instruction.rbs

@@ -1,6 +1,8 @@
 # Generated from lib/wardite/instruction.rb with RBS::Inline
 
 module Wardite
+  type operandItem = Integer | Array[Integer] | Float | Block
+
   class Op
     # @see https://pengowray.github.io/wasm-ops/
     SYMS: Array[Symbol]
@@ -13,22 +15,23 @@ module Wardite
     attr_accessor code: Symbol
 
     # TODO: add types of potential operands
-    attr_accessor operand: Array[Integer | Float | Block]
+    attr_accessor operand: Array[operandItem]
 
     # @rbs namespace: Symbol
     # @rbs code: Symbol
-    # @rbs operand: Array[Integer|Float|Block]
-    def initialize: (Symbol namespace, Symbol code, Array[Integer | Float | Block] operand) -> untyped
+    # @rbs operand: Array[operandItem]
+    def initialize: (Symbol namespace, Symbol code, Array[operandItem] operand) -> untyped
 
     # @rbs chr: String
     # @rbs return: [Symbol, Symbol]
     def self.to_sym: (String chr) -> [ Symbol, Symbol ]
 
-    # @rbs chr: Symbol
+    # @rbs code: Symbol
     # @rbs return: Array[Symbol]
-    def self.operand_of: (untyped code) -> Array[Symbol]
+    def self.operand_of: (Symbol code) -> Array[Symbol]
 
     # @see https://www.w3.org/TR/wasm-core-1/#value-types%E2%91%A2
+    # We use this for reftype conversion. https://webassembly.github.io/spec/core/binary/types.html#binary-reftype
     # @rbs code: Integer
     # @rbs return: Symbol
     def self.i2type: (Integer code) -> Symbol

data/sig/generated/wardite/load.rbs

@@ -0,0 +1,236 @@
+# Generated from lib/wardite/load.rb with RBS::Inline
+
+# rbs_inline: enabled
+module Wardite
+  class Section
+    attr_accessor name: String
+
+    attr_accessor code: Integer
+
+    attr_accessor size: Integer
+  end
+
+  class TypeSection < Section
+    attr_accessor defined_types: Array[Array[Symbol]]
+
+    attr_accessor defined_results: Array[Array[Symbol]]
+
+    # @rbs return: void
+    def initialize: () -> void
+  end
+
+  class FunctionSection < Section
+    attr_accessor func_indices: Array[Integer]
+
+    # @rbs return: void
+    def initialize: () -> void
+  end
+
+  class TableSection < Section
+    attr_accessor table_types: Array[Symbol]
+
+    attr_accessor table_limits: Array[[ Integer, Integer? ]]
+
+    # @rbs return: void
+    def initialize: () -> void
+  end
+
+  class MemorySection < Section
+    attr_accessor limits: Array[[ Integer, Integer? ]]
+
+    # @rbs return: void
+    def initialize: () -> void
+  end
+
+  class GlobalSection < Section
+    class Global
+      attr_accessor type: Symbol
+
+      attr_accessor mutable: bool
+
+      # TODO: unused in wasm 1.0 spec?
+      attr_accessor shared: bool
+
+      attr_accessor value: wasmValue
+
+      # @rbs &blk: (Global) -> void
+      # @rbs return: void
+      def initialize: () { (Global) -> void } -> void
+    end
+
+    attr_accessor globals: Array[Global]
+
+    # @rbs return: void
+    def initialize: () -> void
+  end
+
+  class StartSection < Section
+    attr_accessor func_index: Integer
+
+    # @rbs return: void
+    def initialize: () -> void
+  end
+
+  class ElemSection < Section
+    attr_accessor table_indices: Array[Integer]
+
+    attr_accessor table_offsets: Array[Integer]
+
+    attr_accessor element_indices: Array[Array[Integer]]
+
+    # @rbs return: void
+    def initialize: () -> void
+  end
+
+  class CodeSection < Section
+    class CodeBody
+      attr_accessor locals_count: Array[Integer]
+
+      attr_accessor locals_type: Array[Symbol]
+
+      attr_accessor body: Array[Op]
+
+      # @rbs &blk: (CodeBody) -> void
+      # @rbs return: void
+      def initialize: () { (CodeBody) -> void } -> void
+    end
+
+    attr_accessor func_codes: Array[CodeBody]
+
+    # @rbs return: void
+    def initialize: () -> void
+  end
+
+  class DataSection < Section
+    class Segment
+      attr_accessor flags: Integer
+
+      attr_accessor offset: Integer
+
+      attr_accessor data: String
+
+      # @rbs &blk: (Segment) -> void
+      # @rbs return: void
+      def initialize: () { (Segment) -> void } -> void
+    end
+
+    attr_accessor segments: Array[Segment]
+
+    # @rbs return: void
+    def initialize: () -> void
+  end
+
+  class ExportSection < Section
+    class ExportDesc
+      attr_accessor name: String
+
+      attr_accessor kind: Integer
+
+      attr_accessor func_index: Integer
+    end
+
+    attr_accessor exports: Hash[String, ExportDesc]
+
+    def initialize: () -> void
+
+    # @rbs &blk: (ExportDesc) -> void
+    def add_desc: () { (ExportDesc) -> void } -> untyped
+  end
+
+  class ImportSection < Section
+    class ImportDesc
+      attr_accessor module_name: String
+
+      attr_accessor name: String
+
+      attr_accessor kind: Integer
+
+      attr_accessor sig_index: Integer
+    end
+
+    attr_accessor imports: Array[ImportDesc]
+
+    def initialize: () -> void
+
+    # @rbs &blk: (ImportDesc) -> void
+    def add_desc: () { (ImportDesc) -> void } -> untyped
+  end
+
+  module BinaryLoader
+    extend Wardite::Leb128Helper
+
+    extend Wardite::ValueHelper
+
+    self.@buf: File | StringIO
+
+    # @rbs buf: File|StringIO
+    # @rbs import_object: Hash[Symbol, Hash[Symbol, wasmCallable]]
+    # @rbs enable_wasi: boolish
+    # @rbs return: Instance
+    def self.load_from_buffer: (File | StringIO buf, ?import_object: Hash[Symbol, Hash[Symbol, wasmCallable]], ?enable_wasi: boolish) -> Instance
+
+    # @rbs return: Integer
+    def self.preamble: () -> Integer
+
+    # @rbs return: Array[Section]
+    def self.sections: () -> Array[Section]
+
+    # @rbs return: TypeSection
+    def self.type_section: () -> TypeSection
+
+    # @rbs return: ImportSection
+    def self.import_section: () -> ImportSection
+
+    # @rbs return: MemorySection
+    def self.memory_section: () -> MemorySection
+
+    # @rbs return: StartSection
+    def self.start_section: () -> StartSection
+
+    # @rbs return: ElemSection
+    def self.elem_section: () -> ElemSection
+
+    # @rbs return: GlobalSection
+    def self.global_section: () -> GlobalSection
+
+    # @rbs return: FunctionSection
+    def self.function_section: () -> FunctionSection
+
+    # @rbs return: TableSection
+    def self.table_section: () -> TableSection
+
+    # @rbs return: CodeSection
+    def self.code_section: () -> CodeSection
+
+    # @rbs buf: StringIO
+    # @rbs return: Array[::Wardite::Op]
+    def self.code_body: (StringIO buf) -> Array[::Wardite::Op]
+
+    # @rbs return: DataSection
+    def self.data_section: () -> DataSection
+
+    # @rbs sbuf: StringIO
+    # @rbs return: String
+    def self.fetch_insn_while_end: (StringIO sbuf) -> String
+
+    # @rbs ops: Array[Op]
+    # @rbs return: Integer
+    def self.decode_expr: (Array[Op] ops) -> Integer
+
+    # @rbs ops: Array[Op]
+    # @rbs return: wasmValue
+    def self.decode_global_expr: (Array[Op] ops) -> wasmValue
+
+    # @rbs return: ExportSection
+    def self.export_section: () -> ExportSection
+
+    # @rbs code: Integer
+    # @rbs return: nil
+    def self.unimplemented_skip_section: (Integer code) -> nil
+
+    # @rbs sbuf: StringIO
+    # @rbs n: Integer
+    # @rbs return: String
+    def self.assert_read: (StringIO sbuf, Integer n) -> String
+  end
+end

data/sig/generated/wardite/value.rbs

@@ -1,6 +1,8 @@
 # Generated from lib/wardite/value.rb with RBS::Inline
 
 module Wardite
+  type wasmValue = I32 | I64 | F32 | F64
+
   module ValueHelper
     # @rbs value: Integer
     # @rbs return: I32
@@ -59,44 +61,44 @@ module Wardite
     def packed: (?size: Integer | nil) -> String
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def wrap: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def wrap: (to: Symbol) -> wasmValue
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def extend_s: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def extend_s: (to: Symbol) -> wasmValue
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def extend_u: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def extend_u: (to: Symbol) -> wasmValue
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def trunc_s: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def trunc_s: (to: Symbol) -> wasmValue
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def trunc_u: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def trunc_u: (to: Symbol) -> wasmValue
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def convert_s: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def convert_s: (to: Symbol) -> wasmValue
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def convert_u: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def convert_u: (to: Symbol) -> wasmValue
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def demote: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def demote: (to: Symbol) -> wasmValue
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def promote: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def promote: (to: Symbol) -> wasmValue
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def reinterpret: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def reinterpret: (to: Symbol) -> wasmValue
 
     # I32#inspect shows signed value for convinience
     def inspect: () -> untyped
@@ -127,44 +129,44 @@ module Wardite
     def packed: (?size: Integer | nil) -> String
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def wrap: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def wrap: (to: Symbol) -> wasmValue
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def extend_s: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def extend_s: (to: Symbol) -> wasmValue
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def extend_u: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def extend_u: (to: Symbol) -> wasmValue
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def trunc_s: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def trunc_s: (to: Symbol) -> wasmValue
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def trunc_u: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def trunc_u: (to: Symbol) -> wasmValue
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def convert_s: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def convert_s: (to: Symbol) -> wasmValue
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def convert_u: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def convert_u: (to: Symbol) -> wasmValue
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def demote: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def demote: (to: Symbol) -> wasmValue
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def promote: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def promote: (to: Symbol) -> wasmValue
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def reinterpret: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def reinterpret: (to: Symbol) -> wasmValue
 
     # I64#inspect shows signed value
     def inspect: () -> untyped
@@ -190,47 +192,47 @@ module Wardite
     def packed: (?size: Integer | nil) -> String
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def wrap: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def wrap: (to: Symbol) -> wasmValue
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def extend_s: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def extend_s: (to: Symbol) -> wasmValue
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def extend_u: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def extend_u: (to: Symbol) -> wasmValue
 
     # @todo need more testcase...
     # @see https://webassembly.github.io/spec/core/exec/numerics.html#xref-exec-numerics-op-trunc-s-mathrm-trunc-mathsf-s-m-n-z
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def trunc_s: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def trunc_s: (to: Symbol) -> wasmValue
 
     # @see https://webassembly.github.io/spec/core/exec/numerics.html#xref-exec-numerics-op-trunc-u-mathrm-trunc-mathsf-u-m-n-z
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def trunc_u: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def trunc_u: (to: Symbol) -> wasmValue
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def convert_s: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def convert_s: (to: Symbol) -> wasmValue
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def convert_u: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def convert_u: (to: Symbol) -> wasmValue
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def demote: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def demote: (to: Symbol) -> wasmValue
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def promote: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def promote: (to: Symbol) -> wasmValue
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def reinterpret: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def reinterpret: (to: Symbol) -> wasmValue
 
     def inspect: () -> untyped
   end
@@ -255,47 +257,47 @@ module Wardite
     def packed: (?size: Integer | nil) -> String
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def wrap: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def wrap: (to: Symbol) -> wasmValue
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def extend_s: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def extend_s: (to: Symbol) -> wasmValue
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def extend_u: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def extend_u: (to: Symbol) -> wasmValue
 
     # @see the same as F32
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def trunc_s: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def trunc_s: (to: Symbol) -> wasmValue
 
     # @see the same as F32
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def trunc_u: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def trunc_u: (to: Symbol) -> wasmValue
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def convert_s: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def convert_s: (to: Symbol) -> wasmValue
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def convert_u: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def convert_u: (to: Symbol) -> wasmValue
 
     # @todo no loss of digits...
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def demote: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def demote: (to: Symbol) -> wasmValue
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def promote: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def promote: (to: Symbol) -> wasmValue
 
     # @rbs to: Symbol
-    # @rbs return: I32|I64|F32|F64
-    def reinterpret: (to: Symbol) -> (I32 | I64 | F32 | F64)
+    # @rbs return: wasmValue
+    def reinterpret: (to: Symbol) -> wasmValue
 
     def inspect: () -> untyped
   end

data/sig/generated/wardite/wasi.rbs

@@ -10,12 +10,12 @@ module Wardite
     def initialize: () -> untyped
 
     # @rbs store: Store
-    # @rbs args: Array[I32|I64|F32|F64]
+    # @rbs args: Array[wasmValue]
     # @rbs return: Object
-    def fd_write: (Store store, Array[I32 | I64 | F32 | F64] args) -> Object
+    def fd_write: (Store store, Array[wasmValue] args) -> Object
 
-    # @rbs return: Hash[Symbol, Proc]
-    def to_module: () -> Hash[Symbol, Proc]
+    # @rbs return: Hash[Symbol, wasmCallable]
+    def to_module: () -> Hash[Symbol, wasmCallable]
 
     private