wongi-engine 0.4.0 → 0.4.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 6436f3939185ba3c379a4fb06a9df42f9eda8e2b70fc3ba15dee97ba868dbd59
-  data.tar.gz: 209e4bfc4814cc52950f84e9d95ceb9a1c0298ca04801e350856467df95d0c7f
+  metadata.gz: e4882eda1c68ecfe584c5792c5ee1e450915f32835528b24879fa7152e76823f
+  data.tar.gz: 1cf31f0ef359346d7701aa65a7a0ab8b6143cad21528abe4fe5687d0482dbbbf
 SHA512:
-  metadata.gz: 045d9b46743c8a36c9398764864d5c333939500018f853289724e34b4564794c816704e37bc1cf74d7096b57ea56d91ced165ea4a57ac5105bc9efe1797dd7ee
-  data.tar.gz: bcb075bd1367b1c146a3299ebad4409defe227b8f4bd1d8d4c2aeefe7d5d8765602642edb1105b9abd8379595d2431412de95b3a1fd142c87bffe90e094df50b
+  metadata.gz: f2682f0a522ec363e3efaa4029ced8b0a95120baf58975f8e9d83a90be5795dc073ccdd82e0340cd89262b1d0f6a302e915d4cbe42175c94c40d2109fe149193
+  data.tar.gz: 61b9e9b4945726a2a2cde1d16b72adcde1032b165d52bc1d824a7c2c9970466ccd11eed539e669e00af87014395988cde474e1cb59c22d7cb5ef39abecec286b

data/lib/wongi-engine/dsl.rb

@@ -86,6 +86,12 @@ module Wongi::Engine::DSL
     clause :gte
     accept Wongi::Engine::GreaterThanOrEqualTest
 
+    clause :in_list
+    accept Wongi::Engine::InListTest
+
+    clause :not_in_list
+    accept Wongi::Engine::NotInListTest
+
     clause :aggregate
     accept Clause::Aggregate
 

data/lib/wongi-engine/filter/in_list_test.rb

@@ -0,0 +1,33 @@
+module Wongi::Engine
+  class InListTest < FilterTest
+    attr_reader :x, :y
+
+    def initialize(x, y)
+      super()
+      @x = x
+      @y = y
+    end
+
+    def passes?(token)
+      x = if Template.variable? @x
+            token[@x]
+          else
+            @x
+          end
+
+      y = if Template.variable? @y
+            token[@y]
+          else
+            @y
+          end
+
+      return false if x == :_ || y == :_
+
+      y.include?(x)
+    end
+
+    def ==(other)
+      super && x == other.x && y == other.y
+    end
+  end
+end

data/lib/wongi-engine/filter/not_in_list_test.rb

@@ -0,0 +1,33 @@
+module Wongi::Engine
+  class NotInListTest < FilterTest
+    attr_reader :x, :y
+
+    def initialize(x, y)
+      super()
+      @x = x
+      @y = y
+    end
+
+    def passes?(token)
+      x = if Template.variable? @x
+            token[@x]
+          else
+            @x
+          end
+
+      y = if Template.variable? @y
+            token[@y]
+          else
+            @y
+          end
+
+      return false if x == :_ || y == :_
+
+      !y.include?(x)
+    end
+
+    def ==(other)
+      super && x == other.x && y == other.y
+    end
+  end
+end

data/lib/wongi-engine/filter.rb

@@ -6,3 +6,5 @@ require 'wongi-engine/filter/less_than_test'
 require 'wongi-engine/filter/greater_than_test'
 require 'wongi-engine/filter/less_than_or_equal_test'
 require 'wongi-engine/filter/greater_than_or_equal_test'
+require 'wongi-engine/filter/in_list_test'
+require 'wongi-engine/filter/not_in_list_test'

data/lib/wongi-engine/version.rb

@@ -1,5 +1,5 @@
 module Wongi
   module Engine
-    VERSION = "0.4.0".freeze
+    VERSION = "0.4.1".freeze
   end
 end

data/spec/in_list_spec.rb

@@ -0,0 +1,115 @@
+require 'spec_helper'
+
+describe Wongi::Engine::InListTest do
+  include Wongi::Engine::DSL
+  let(:engine) { Wongi::Engine.create }
+
+  it "passes when the value is in the literal list" do
+    prod = engine << rule {
+      forall {
+        has :X, :is, :value
+        in_list :X, [1, 2, 3]
+      }
+    }
+
+    engine << [1, :is, :value]
+    expect(prod.size).to eq(1)
+  end
+
+  it "does not when the value is not in the literal list" do
+    prod = engine << rule {
+      forall {
+        has :X, :is, :value
+        in_list :X, [1, 2, 3]
+      }
+    }
+
+    engine << [0, :is, :value]
+    expect(prod.size).to eq(0)
+  end
+
+  it "passes when the value is in the variable list" do
+    prod = engine << rule {
+      forall {
+        has :X, :is, :value
+        has :Y, :is, :list
+        in_list :X, :Y
+      }
+    }
+
+    engine << [1, :is, :value]
+    engine << [[1, 2, 3], :is, :list]
+    expect(prod.size).to eq(1)
+  end
+
+  it "does not when the value is not in the variable list" do
+    prod = engine << rule {
+      forall {
+        has :X, :is, :value
+        has :Y, :is, :list
+        in_list :X, :Y
+      }
+    }
+
+    engine << [0, :is, :value]
+    engine << [[1, 2, 3], :is, :list]
+    expect(prod.size).to eq(0)
+  end
+end
+
+describe Wongi::Engine::NotInListTest do
+  include Wongi::Engine::DSL
+  let(:engine) { Wongi::Engine.create }
+
+  it "passes when the value is not in the literal list" do
+    prod = engine << rule {
+      forall {
+        has :X, :is, :value
+        not_in_list :X, [1, 2, 3]
+      }
+    }
+
+    engine << [0, :is, :value]
+    expect(prod.size).to eq(1)
+  end
+
+  it "does not when the value is in the literal list" do
+    prod = engine << rule {
+      forall {
+        has :X, :is, :value
+        not_in_list :X, [1, 2, 3]
+      }
+    }
+
+    engine << [1, :is, :value]
+    expect(prod.size).to eq(0)
+  end
+
+  it "passes when the value is not in the variable list" do
+    prod = engine << rule {
+      forall {
+        has :X, :is, :value
+        has :Y, :is, :list
+        not_in_list :X, :Y
+      }
+    }
+
+    engine << [0, :is, :value]
+    engine << [[1, 2, 3], :is, :list]
+    expect(prod.size).to eq(1)
+  end
+
+  it "does not when the value is in the variable list" do
+    prod = engine << rule {
+      forall {
+        has :X, :is, :value
+        has :Y, :is, :list
+        not_in_list :X, :Y
+      }
+    }
+
+    engine << [1, :is, :value]
+    engine << [[1, 2, 3], :is, :list]
+    expect(prod.size).to eq(0)
+  end
+end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: wongi-engine
 version: !ruby/object:Gem::Version
-  version: 0.4.0
+  version: 0.4.1
 platform: ruby
 authors:
 - Valeri Sokolov
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2022-11-09 00:00:00.000000000 Z
+date: 2022-12-08 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: pry
@@ -137,9 +137,11 @@ files:
 - lib/wongi-engine/filter/filter_test.rb
 - lib/wongi-engine/filter/greater_than_or_equal_test.rb
 - lib/wongi-engine/filter/greater_than_test.rb
+- lib/wongi-engine/filter/in_list_test.rb
 - lib/wongi-engine/filter/inequality_test.rb
 - lib/wongi-engine/filter/less_than_or_equal_test.rb
 - lib/wongi-engine/filter/less_than_test.rb
+- lib/wongi-engine/filter/not_in_list_test.rb
 - lib/wongi-engine/generator_tracker.rb
 - lib/wongi-engine/graph.rb
 - lib/wongi-engine/join_results.rb
@@ -168,6 +170,7 @@ files:
 - spec/generation_spec.rb
 - spec/greater_than_equality_test_spec.rb
 - spec/high_level_spec.rb
+- spec/in_list_spec.rb
 - spec/less_test_spec.rb
 - spec/less_than_equality_test_spec.rb
 - spec/maybe_rule_spec.rb