proinsias 0.5.0 → 0.6.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: c0a4bf173e6cda40f59c1ea516b7b692b364814ba4e99a166a7347ef39abaf0b
-  data.tar.gz: bc3e5f35b892ccd4f11b45c6313e27299f1a52a8bf7eb4cdf8b3544e613f094e
+  metadata.gz: 59df574c594440e3e4adc365f2553d997eb02daa5c7286658e4bb51e51db7c45
+  data.tar.gz: 4040cf2b2855982541c03c832b06095eed0502345dff50baa72a6354706b9c8d
 SHA512:
-  metadata.gz: 52bb28ebce936f928e6d33eabcfb738d085e3b7f41d20e2ee83c47f9d4382905fa2f239348ceeba2242c95e998eaf249c9cabb1650103ddfff1ffa20af5ad7db
-  data.tar.gz: 350ab68ec3615c8ff092a02d05d1e97303d1a6163588fe7e3f9a466017b91bb74fb9713d6656f2b64d618f1b668d3bdf2c85dc35b07ab26ed9498b8c43ed2160
+  metadata.gz: c7494a0772aca77521153fd5ff18ebaf94c471b1100e1550995396ad5b1e6f63729eff3569cb019d4287c9e956b5a8cbb5c84bb8ed48b57fadf8a92cd158b02a
+  data.tar.gz: 8cd380d0703ff14f01434c5fcb5a299184e95f44a9d942e9f4df7760f286c5cae7f638be6564e37b879d00c427c460710c49dc078f0ef1b579baf522554fc758

data/Gemfile.lock

@@ -1,7 +1,7 @@
 PATH
   remote: .
   specs:
-    proinsias (0.5.0)
+    proinsias (0.6.0)
       moory (~> 1.2.0)
 
 GEM

data/examples/parentheses.rb

@@ -8,7 +8,7 @@ scanner = Proinsias::Scanner.new(
   consumer: director.method(:issue)
 )
 
-"((p ≡ q) ≡ r) ≡ (p ≡ (q ≡ r))".each_char do |c|
+"p ⇒ (q ≡ r) ≡ (p ⇒ q) ≡ (p ⇒ r)".each_char do |c|
   scanner.issue(c)
 end
 

data/examples/parser.rb

@@ -0,0 +1,4 @@
+Proinsias::Parser.new.tap do |psr|
+  psr.analyse("p ⇒ q ∧ r ≡ (p ⇒ q) ∧ (p ⇒ r)")
+  pp psr.ast
+end

data/lib/proinsias/parser.rb

@@ -0,0 +1,35 @@
+module Proinsias
+  class Parser
+    def analyse(str)
+      str.each_char { |c| issue(c) }
+    end
+
+    def ast
+      assembly_line.product ?
+      assembly_line.product.to_ast :
+      nil
+    end
+    
+    private
+
+    def issue(char)
+      scanner.issue(char)
+    end
+
+    def scanner
+      @scanner ||= Proinsias::Scanner.new(
+        consumer: director.method(:issue)
+      )
+    end
+
+    def director
+      @director ||= Proinsias::Director.new(
+        consumer: assembly_line.method(:issue)
+      )
+    end
+
+    def assembly_line
+      @assembly_line ||= Proinsias::AssemblyLine.new
+    end
+  end
+end

data/lib/proinsias/particle.rb

@@ -95,7 +95,7 @@ module Proinsias
       end
 
       def to_ast
-        arguments.collect { |a| a.to_ast }
+        arguments.first.to_ast
       end
 
       def receive(rparen)

data/lib/proinsias/version.rb

@@ -1,3 +1,3 @@
 module Proinsias
-  VERSION = "0.5.0"
+  VERSION = "0.6.0"
 end

data/lib/proinsias.rb

@@ -7,6 +7,7 @@ require "proinsias/scanner"
 require "proinsias/assembler"
 require "proinsias/director"
 require "proinsias/assemblyline"
+require "proinsias/parser"
 
 
 module Proinsias

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: proinsias
 version: !ruby/object:Gem::Version
-  version: 0.5.0
+  version: 0.6.0
 platform: ruby
 authors:
 - Adam W. Grant
@@ -86,6 +86,7 @@ files:
 - examples/assemblyline.rb
 - examples/director.rb
 - examples/parentheses.rb
+- examples/parser.rb
 - examples/scanner.rb
 - lib/proinsias.rb
 - lib/proinsias/assembler.rb
@@ -93,6 +94,7 @@ files:
 - lib/proinsias/configurations.rb
 - lib/proinsias/director.rb
 - lib/proinsias/filter.rb
+- lib/proinsias/parser.rb
 - lib/proinsias/particle.rb
 - lib/proinsias/receiver.rb
 - lib/proinsias/scanner.rb