ruleby 0.9.b4 → 0.9.b7

data/spec/property_spec.rb

@@ -0,0 +1,69 @@
+require 'spec_helper'
+
+class PropFact
+  attr :value, true
+  def initialize(v=nil); @value = v; end
+end
+
+class PropCtx
+
+end
+
+
+include Ruleby
+
+class PropRulebook < Rulebook
+  def gt_rules
+    rule [PropFact, :p, m.value > 0] do
+      assert Success.new
+    end
+  end
+
+  def lte_rules
+    rule [PropFact, :p, m.value > 42], [PropCtx, :pc] do
+      # do nothing, just being here helps reproduce a bug
+    end
+    rule [PropFact, :p, m.value <= 42], [PropCtx, :pc] do
+      assert Success.new
+    end
+  end
+end
+
+describe Ruleby::Core::Engine do
+  describe "property gt_rules" do
+    subject do
+      engine :engine do |e|
+        PropRulebook.new(e).gt_rules
+      end
+    end
+
+    before do
+      subject.assert PropFact.new(1)
+      subject.match
+    end
+
+    it "should have matched" do
+      subject.errors.should == []
+      subject.retrieve(Success).size.should == 1
+    end
+  end
+  describe "property lte_rules" do
+    subject do
+      engine :engine do |e|
+        PropRulebook.new(e).lte_rules
+      end
+    end
+
+    before do
+      subject.assert PropCtx.new
+      subject.assert PropFact.new(42)
+      subject.assert PropFact.new(41)
+      subject.match
+    end
+
+    it "should have matched" do
+      subject.errors.should == []
+      subject.retrieve(Success).size.should == 2
+    end
+  end
+end

data/spec/spec.opts

@@ -0,0 +1,4 @@
+--colour
+--loadby random
+--format profile
+--backtrace

data/spec/spec_helper.rb

@@ -0,0 +1,9 @@
+require 'ruleby'
+#require 'rspec'
+
+class Success
+  attr :status, true
+  def initialize(status=nil)
+    @status = status
+  end
+end

data/tasks/documentation.rake

@@ -0,0 +1,32 @@
+#
+# DOCUMENTATION
+
+#ALLISON=`allison --path`
+#ALLISON="/Library/Ruby/Gems/1.8/gems/allison-2.0.3/lib/allison.rb"
+
+Rake::RDocTask.new do |rd|
+
+    #rd.main = "README.txt"
+    #rd.rdoc_dir = "html/rufus-verbs"
+
+    rd.rdoc_files.include(
+        "LICENSE.txt",
+        "lib/**/*.rb")
+
+    rd.title = "ruleby rdoc"
+
+    rd.options << '-N' # line numbers
+    rd.options << '-S' # inline source
+
+    #rd.template = ALLISON if File.exist?(ALLISON)
+end
+
+
+#
+# WEBSITE
+
+#task :upload_website => [ :clean, :rdoc ] do
+#    account = "whoever@rubyforge.org"
+#    webdir = "/var/www/gforge-projects/ruleby"
+#    sh "rsync -azv -e ssh html/source #{account}:#{webdir}/"
+#end

data/tasks/rspec.rake

@@ -0,0 +1,21 @@
+begin
+  require 'spec'
+rescue LoadError
+  require 'rubygems'
+  require 'spec'
+end
+begin
+  require 'spec/rake/spectask'
+rescue LoadError
+  puts <<-EOS
+To use rspec for testing you must install rspec gem:
+    gem install rspec
+EOS
+  exit(0)
+end
+
+desc "Run the specs under spec/models"
+Spec::Rake::SpecTask.new do |t|
+  t.spec_opts = ['--options', "spec/spec.opts"]
+  t.spec_files = FileList['spec/**/*_spec.rb']
+end

data/tasks/test.rake

@@ -0,0 +1,9 @@
+
+#
+# TESTING
+
+Rake::TestTask.new(:test) do |t|
+    t.libs << "tests"
+    t.test_files = FileList['tests/test.rb']
+    t.verbose = true
+end

data/tests/assert_facts.rb

@@ -0,0 +1,130 @@
+# This file is part of the Ruleby project (http://ruleby.org)
+#
+# This application is free software; you can redistribute it and/or
+# modify it under the terms of the Ruby license defined in the
+# LICENSE.txt file.
+# 
+# Copyright (c) 2008 Joe Kutner and Matt Smith. All rights reserved.
+#
+# * Authors: Joe Kutner
+#
+
+require 'test/unit'
+
+require 'ruleby'
+
+include Ruleby
+
+module AssertFacts
+
+  class Fibonacci
+    def initialize(sequence,value=-1)
+      @sequence = sequence
+      @value = value 
+    end
+
+    attr_reader :sequence  
+    attr :value, true
+
+    def to_s
+      return super + "::sequence=" + @sequence.to_s + ",value=" + @value.to_s
+    end
+  end
+  
+  class SimpleRulebook < Rulebook
+    def rules          
+      rule [Message, :m, {m.message => :x}, m.status == b(:x)],
+           [Context, :c] do |v|
+        v[:c].inc :rule1
+      end   
+    end
+  end
+  
+  class FibonacciRulebook < Rulebook
+    def rules
+     # Bootstrap1
+      rule  :Bootstrap1,  {:priority => 4},
+        [Fibonacci, :f, m.value == -1, m.sequence == 1 ] do |vars|  
+          vars[:f].value = 1
+          modify vars[:f]     
+      end  
+
+      # Recurse
+      rule :Recurse, {:priority => 3},
+        [Fibonacci, :f, m.value == -1] do |vars|   
+          f2 = Fibonacci.new(vars[:f].sequence - 1)
+          assert f2
+      end  
+
+      # Bootstrap2
+      rule :Bootstrap2, 
+        [Fibonacci, :f, m.value == -1 , m.sequence == 2] do |vars|    
+          vars[:f].value = 1       
+          modify vars[:f]
+      end
+
+      # Calculate
+      rule :Calculate,
+        [Context, :c],
+        [Fibonacci,:f1, m.value.not== -1, {m.sequence => :s1}],
+        [Fibonacci,:f2, m.value.not== -1, {m.sequence( :s1, &c{ |s2,s1| s2 == s1 + 1 } ) => :s2}],
+        [Fibonacci,:f3, m.value == -1, m.sequence(:s2, &c{ |s3,s2| s3 == s2 + 1 }) ] do |vars|
+          vars[:f3].value = vars[:f1].value + vars[:f2].value
+          modify vars[:f3]
+          retract vars[:f1]
+          vars[:c].set vars[:f3].sequence, vars[:f3].value
+      end
+    end
+  end
+  
+  class Test < Test::Unit::TestCase
+  
+    def test_0  
+      engine :engine do |e|
+        ctx = Context.new
+        e.assert ctx
+        e.assert Message.new(:HELLO, :HELLO)
+        SimpleRulebook.new(e).rules
+        e.assert Message.new(:HELLO, :GOODBYE)
+        e.match          
+        assert_equal 1, ctx.get(:rule1)
+      end
+    end
+    
+    def test_1  
+      engine :engine do |e|
+        ctx = Context.new
+        e.assert ctx
+        e.assert Message.new(:HELLO, :HELLO)
+        e.assert Message.new(:HELLO, :GOODBYE)
+        SimpleRulebook.new(e).rules
+        e.match          
+        assert_equal 1, ctx.get(:rule1)
+      end
+    end
+    
+    def test_2
+      fib1 = Fibonacci.new(150)
+      engine :engine do |e|
+        FibonacciRulebook.new(e).rules
+        ctx = Context.new
+        e.assert ctx
+        e.assert fib1
+        e.match   
+        assert_equal 9969216677189303386214405760200, ctx.get(150)
+      end
+    end
+    
+    def test_3
+      fib1 = Fibonacci.new(150)
+      engine :engine do |e|
+        ctx = Context.new
+        e.assert ctx
+        e.assert fib1
+        FibonacciRulebook.new(e).rules
+        e.match   
+        assert_equal 9969216677189303386214405760200, ctx.get(150)
+      end
+    end
+  end
+end

data/tests/common.rb

@@ -0,0 +1,29 @@
+
+class Context
+  
+  def initialize
+    @counts = {}
+    @counts.default = 0
+  end
+  
+  def inc(key)
+    @counts[key] += 1    
+  end
+  
+  def set(key,value)
+    @counts[key] = value
+  end
+  
+  def get(key)
+    @counts[key]
+  end
+end
+
+class Message
+  def initialize(status,message)
+    @status = status
+    @message = message
+  end
+  attr :status, true
+  attr :message, true
+end

data/tests/duck_type.rb

@@ -0,0 +1,79 @@
+# This file is part of the Ruleby project (http://ruleby.org)
+#
+# This application is free software; you can redistribute it and/or
+# modify it under the terms of the Ruby license defined in the
+# LICENSE.txt file.
+# 
+# Copyright (c) 2008 Joe Kutner and Matt Smith. All rights reserved.
+#
+# * Authors: Joe Kutner, Matt Smith, John Mettraux
+#
+require 'test/unit'
+require 'ruleby'
+
+include Ruleby
+
+module Duck
+  class Foobar
+  end
+  
+  class Email < Message
+  end
+  
+  class Loan
+    def initialize(name,age)
+      @name = name
+      @age = age
+      @status = :HELLO
+    end
+    attr :name, true
+    attr :age, true
+    attr :status, true
+  end
+  
+  
+  class DuckRulebook < Rulebook
+  
+    def rules  
+  
+      rule [m.status == :HELLO], [Context, :c] do |v|
+        v[:c].inc :rule1
+      end
+      
+      rule [:is_a?, Message, m.status == :HELLO], [Context, :c] do |v|
+        v[:c].inc :rule2
+      end
+      
+      rule [Message, m.status == :HELLO], [Context, :c] do |v|
+        v[:c].inc :rule3
+      end
+    end
+  end
+  
+  class DuckTypeTest < Test::Unit::TestCase
+  
+    def test_0
+  
+      engine :engine do |e|
+        DuckRulebook.new(e).rules
+        ctx = Context.new
+        a = Loan.new('A','B')
+        b = Message.new(:HELLO, 'test')
+        c = Email.new(:HELLO, 'test')
+        d = Message.new(:FOOBAR, 'foobar')
+        f = Foobar.new
+        
+        e.assert ctx
+        e.assert a; e.match; e.retract a
+        e.assert b; e.match; e.retract b
+        e.assert c; e.match; e.retract c
+        e.assert d; e.match; e.retract d
+        e.assert f; e.match; e.retract f
+       
+        assert_equal 3, ctx.get(:rule1)
+        assert_equal 2, ctx.get(:rule2)
+        assert_equal 1, ctx.get(:rule3)
+      end
+    end
+  end
+end

data/tests/gets.rb

@@ -0,0 +1,48 @@
+# This file is part of the Ruleby project (http://ruleby.org)
+#
+# This application is free software; you can redistribute it and/or
+# modify it under the terms of the Ruby license defined in the
+# LICENSE.txt file.
+# 
+# Copyright (c) 2007 Joe Kutner and Matt Smith. All rights reserved.
+#
+# * Authors: Joe Kutner, Matt Smith
+#
+
+require 'test/unit'
+require 'ruleby'
+
+include Ruleby
+
+TEST_STR = String.new("it worked")
+
+module Get
+  
+  class GetRulebook < Rulebook
+    def rules    
+      
+      rule [Message, :m, m.status == :HELLO] do |v|
+        @engine.assert TEST_STR
+      end   
+      
+    end
+  end
+  
+  class Test < Test::Unit::TestCase
+  
+    def test_0
+      
+      engine :engine do |e|
+        GetRulebook.new(e).rules
+        e.assert Message.new(:HELLO, 'test')
+        e.match
+        
+        strs = e.retrieve(String)
+        
+        assert_equal 1, strs.size
+      
+        assert_equal TEST_STR, strs[0]
+      end
+    end
+  end
+end

data/tests/join_nodes.rb

@@ -0,0 +1,63 @@
+# This file is part of the Ruleby project (http://ruleby.org)
+#
+# This application is free software; you can redistribute it and/or
+# modify it under the terms of the Ruby license defined in the
+# LICENSE.txt file.
+# 
+# Copyright (c) 2009 Joe Kutner and Matt Smith. All rights reserved.
+#
+# * Authors: Joe Kutner
+#
+
+require 'test/unit'
+
+require 'ruleby'
+
+include Ruleby
+
+module JoinNodes
+  
+  class A
+    
+  end
+  
+  class B
+    
+  end
+
+  class JoinNodesRulebook < Rulebook
+    def rules        
+      rule [A], [B], [Context, :c] do |v|
+        v[:c].inc :rule1
+      end
+    end
+  end
+    
+  class Test < Test::Unit::TestCase  
+    def test_0  
+      engine :engine do |e|
+        JoinNodesRulebook.new(e).rules
+        ctx = Context.new
+        a = A.new
+        b = B.new
+        e.assert ctx
+        e.assert a
+        e.assert b
+        e.match          
+        assert_equal 1, ctx.get(:rule1)
+        e.retract a
+        e.match          
+        assert_equal 1, ctx.get(:rule1)
+        e.assert B.new
+        e.match          
+        assert_equal 1, ctx.get(:rule1)
+        e.assert A.new
+        e.match          
+        assert_equal 3, ctx.get(:rule1)
+        e.retract b
+        e.match          
+        assert_equal 4, ctx.get(:rule1)
+      end
+    end
+  end
+end