wardite 0.2.1 → 0.2.2

data/sig/generated/wardite/load.rbs

@@ -0,0 +1,198 @@
+# 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 MemorySection < Section
+    attr_accessor limits: Array[[ Integer, Integer | nil ]]
+
+    # @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: I32 | I64 | F32 | F64
+
+      # @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 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
+
+    # @rbs buf: File|StringIO
+    # @rbs import_object: Hash[Symbol, Hash[Symbol, Proc]]
+    # @rbs enable_wasi: boolish
+    # @rbs return: Instance
+    def self.load_from_buffer: (File | StringIO buf, ?import_object: Hash[Symbol, Hash[Symbol, Proc]], ?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: GlobalSection
+    def self.global_section: () -> GlobalSection
+
+    # @rbs return: FunctionSection
+    def self.function_section: () -> FunctionSection
+
+    # @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: I32|I64|F32|F64
+    def self.decode_global_expr: (Array[Op] ops) -> (I32 | I64 | F32 | F64)
+
+    # @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.rbs

@@ -7,171 +7,6 @@ module Wardite
 end
 
 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 MemorySection < Section
-    attr_accessor limits: Array[[ Integer, Integer | nil ]]
-
-    # @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
-
-    # @rbs buf: File|StringIO
-    # @rbs import_object: Hash[Symbol, Hash[Symbol, Proc]]
-    # @rbs enable_wasi: boolish
-    # @rbs return: Instance
-    def self.load_from_buffer: (File | StringIO buf, ?import_object: Hash[Symbol, Hash[Symbol, Proc]], ?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: FunctionSection
-    def self.function_section: () -> FunctionSection
-
-    # @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 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
-
   class Instance
     attr_accessor version: Integer
 
@@ -198,6 +33,9 @@ module Wardite
     # @rbs return: MemorySection|nil
     def memory_section: () -> (MemorySection | nil)
 
+    # @rbs return: GlobalSection|nil
+    def global_section: () -> (GlobalSection | nil)
+
     # @rbs return: DataSection|nil
     def data_section: () -> (DataSection | nil)
 
@@ -322,6 +160,8 @@ module Wardite
 
     attr_accessor memories: Array[Memory]
 
+    attr_accessor globals: Array[Global]
+
     # @rbs inst: Instance
     # @rbs return: void
     def initialize: (Instance inst) -> void
@@ -349,6 +189,25 @@ module Wardite
     def inspect: () -> untyped
   end
 
+  class Global
+    attr_accessor type: Symbol
+
+    attr_accessor mutable: bool
+
+    # TODO: unused in wasm 1.0 spec?
+    attr_accessor shared: bool
+
+    attr_accessor value: I32 | I64 | F32 | F64
+
+    # @rbs &blk: (Global) -> void
+    # @rbs return: void
+    def initialize: () { (Global) -> void } -> void
+
+    alias mutable? mutable
+
+    alias shared? shared
+  end
+
   class WasmData
     attr_accessor memory_index: Integer
 

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: wardite
 version: !ruby/object:Gem::Version
-  version: 0.2.1
+  version: 0.2.2
 platform: ruby
 authors:
 - Uchio Kondo
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2024-11-04 00:00:00.000000000 Z
+date: 2024-11-08 00:00:00.000000000 Z
 dependencies: []
 description: A pure-ruby webassembly runtime
 email:
@@ -28,6 +28,7 @@ files:
 - examples/consts.wat
 - examples/fib.wat
 - examples/fib2.wat
+- examples/global.wat
 - examples/helloworld.wat
 - examples/i32_const.wat
 - examples/i32_store.wat
@@ -43,6 +44,7 @@ files:
 - lib/wardite/convert.generated.rb
 - lib/wardite/instruction.rb
 - lib/wardite/leb128.rb
+- lib/wardite/load.rb
 - lib/wardite/value.rb
 - lib/wardite/version.rb
 - lib/wardite/wasi.rb
@@ -59,6 +61,7 @@ files:
 - sig/generated/wardite/convert.generated.rbs
 - sig/generated/wardite/instruction.rbs
 - sig/generated/wardite/leb128.rbs
+- sig/generated/wardite/load.rbs
 - sig/generated/wardite/value.rbs
 - sig/generated/wardite/version.rbs
 - sig/generated/wardite/wasi.rbs