logicuit 0.3.0 → 0.3.2

data/sig/logicuit/dsl.rbs

@@ -0,0 +1,35 @@
+# Logicuit module
+module Logicuit
+  # base class for all gates and circuits
+  class DSL
+    def initialize: (*(0 | 1) args) -> void
+
+    def evaluate: (*Signals::Signal args) -> void
+
+    attr_reader input_targets: Array[Symbol]
+
+    attr_reader output_targets: Array[Symbol]
+
+    attr_reader clock: bool
+
+    attr_reader components: Array[untyped]
+
+    attr_reader initialized: bool 
+
+    def self.inputs: (*Symbol args, ?clock: Symbol) -> void
+
+    def []: (*Symbol keys) -> Signals::SignalGroup
+
+    def self.outputs: (*Symbol args, **^(instance) [self: instance] -> Signals::Signal kwargs) -> void
+
+    def self.assembling: () { () [self: instance] -> void } -> void
+
+    def self.diagram: (String source) -> void
+
+    def self.truth_table: (String source) -> void
+
+    def self.verify_against_truth_table: () -> void
+
+    def self.run: (?hz: ::Integer, ?noclear: bool) -> void
+  end
+end

data/sig/logicuit/runner.rbs

@@ -0,0 +1,4 @@
+# Logicuit module
+module Logicuit
+  def self.run: (DSL circuit, ?hz: ::Integer, ?noclear: bool) -> void
+end

data/sig/logicuit/signals/clock.rbs

@@ -0,0 +1,30 @@
+module Logicuit
+  module Signals
+    # Clock
+    class Clock
+      self.@instance: Clock
+
+      @downstreams: Array[DSL]
+
+      @tick_count: Integer
+
+      def initialize: () -> void
+
+      attr_reader downstreams: Array[DSL]
+
+      attr_reader tick_count: Integer
+
+      def tick: () -> void
+
+      def self.instance: () -> Clock
+
+      def self.connects_to: (DSL component) -> void
+
+      alias self.>> self.connects_to
+
+      def self.tick: () -> void
+
+      def self.tick_count: () -> Integer
+    end
+  end
+end

data/sig/logicuit/signals/signal.rbs

@@ -0,0 +1,32 @@
+module Logicuit
+  module Signals
+    # Signal
+    class Signal
+      @current: bool
+
+      @downstreams: Array[Signal | DSL]
+
+      def initialize: (?bool current) -> void
+
+      attr_reader current: bool
+
+      def on: () -> void
+
+      def off: () -> void
+
+      def connects_to: (Signal | SignalGroup | Array[Signal] | DSL other) -> void
+
+      alias >> connects_to
+
+      def to_s: () -> ("1" | "0")
+
+      def &: (Signal other) -> Signal
+      def |: (Signal other) -> Signal
+      def !: () -> Signal
+
+      private
+
+      def propagate_current: () -> void
+    end
+  end
+end

data/sig/logicuit/signals/signal_group.rbs

@@ -0,0 +1,20 @@
+module Logicuit
+  module Signals
+    # Signal Group
+    class SignalGroup
+      @signals: Array[Signal]
+
+      def initialize: (*Signal signals) -> void
+
+      def signals: () -> Array[Signal]
+
+      def connects_to: (SignalGroup | Array[Signal] others) -> void
+
+      alias >> connects_to
+
+      def to_s: () -> String
+
+      def set: (String vals) -> void
+    end
+  end
+end

data/sig/logicuit/version.rbs

@@ -0,0 +1,3 @@
+module Logicuit
+  VERSION: String
+end

metadata

@@ -1,13 +1,13 @@
 --- !ruby/object:Gem::Specification
 name: logicuit
 version: !ruby/object:Gem::Version
-  version: 0.3.0
+  version: 0.3.2
 platform: ruby
 authors:
 - Koji NAKAMURA
 bindir: exe
 cert_chain: []
-date: 2025-04-19 00:00:00.000000000 Z
+date: 1980-01-02 00:00:00.000000000 Z
 dependencies: []
 description: logi(c cir)cuit -> logicuit
 email:
@@ -20,6 +20,7 @@ files:
 - LICENSE.txt
 - README.md
 - Rakefile
+- Steepfile
 - lib/logicuit.rb
 - lib/logicuit/array_as_signal_group.rb
 - lib/logicuit/circuits/combinational/full_adder.rb
@@ -45,7 +46,30 @@ files:
 - lib/logicuit/signals/signal.rb
 - lib/logicuit/signals/signal_group.rb
 - lib/logicuit/version.rb
-- sig/logicuit.rbs
+- sig/generated/logicuit/circuits/combinational/full_adder.rbs
+- sig/generated/logicuit/circuits/combinational/full_adder_4bit.rbs
+- sig/generated/logicuit/circuits/combinational/half_adder.rbs
+- sig/generated/logicuit/circuits/combinational/multiplexer_2to1.rbs
+- sig/generated/logicuit/circuits/combinational/multiplexer_4to1.rbs
+- sig/generated/logicuit/circuits/sequential/d_flip_flop.rbs
+- sig/generated/logicuit/circuits/sequential/one_bit_cpu.rbs
+- sig/generated/logicuit/circuits/sequential/program_counter.rbs
+- sig/generated/logicuit/circuits/sequential/register_4bit.rbs
+- sig/generated/logicuit/circuits/td4/cpu.rbs
+- sig/generated/logicuit/circuits/td4/decoder.rbs
+- sig/generated/logicuit/circuits/td4/rom.rbs
+- sig/generated/logicuit/gates/and.rbs
+- sig/generated/logicuit/gates/nand.rbs
+- sig/generated/logicuit/gates/not.rbs
+- sig/generated/logicuit/gates/or.rbs
+- sig/generated/logicuit/gates/xor.rbs
+- sig/logicuit/array_as_signal_group.rbs
+- sig/logicuit/dsl.rbs
+- sig/logicuit/runner.rbs
+- sig/logicuit/signals/clock.rbs
+- sig/logicuit/signals/signal.rbs
+- sig/logicuit/signals/signal_group.rbs
+- sig/logicuit/version.rbs
 homepage: https://github.com/kozy4324/logicuit
 licenses:
 - MIT
@@ -68,7 +92,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.6.5
+rubygems_version: 3.6.7
 specification_version: 4
 summary: logi(c cir)cuit -> logicuit
 test_files: []

data/sig/logicuit.rbs

@@ -1,4 +0,0 @@
-module Logicuit
-  VERSION: String
-  # See the writing guide of rbs: https://github.com/ruby/rbs#guides
-end