constraint 0.1 → 0.2

data/test/tc_contraint.rb

@@ -2,15 +2,15 @@
 # tc_contraint.rb
 # @Author:      Thomas Link (samul@web.de)
 # @Created:     27-M�r-2005.
-# @Last Change: 09-Jun-2005.
-# @Revision:    0.105
+# @Last Change: 14-Jun-2005.
+# @Revision:    0.190
 
 require 'test/unit'
 require 'constraint'
 
 
 class NumericArray < Constraint::CArray
-    or_constraint("Numeric") {|e| e.kind_of?(Numeric)}
+    or_constraint("Numeric") {|o, e| e.kind_of?(Numeric)}
 end
 
 class NumericArray123 < NumericArray
@@ -18,13 +18,27 @@ class NumericArray123 < NumericArray
 end
 
 class EvenNumericArray < NumericArray
-    and_constraint("Even") {|e| e.modulo(2) == 0}
+    and_constraint("Even") {|o, e| e.modulo(2) == 0}
 end
 
 class EvenInteger < Constraint::Shell
-    and_constraint("Even") {|e| e.modulo(2) == 0}
+    and_constraint("Even") {|o, e| e.modulo(2) == 0}
 end
-    
+
+class EvenIntegerLT10 < Constraint::Shell
+    and_constraint("Even") {|o, e| e.modulo(2) == 0}
+    and_constraint('LT10') {|o, e| e < 10}
+    on_constraint_violation('LT10') {|o, object| object >= 10 ? 9 : 0}
+
+    def generate_constrained_value(value)
+        if value
+            (value / 2).round * 2 + 2
+        else
+            0
+        end
+    end
+end
+
 
 class TC_Contraint < Test::Unit::TestCase
     # def setup
@@ -45,9 +59,9 @@ class TC_Contraint < Test::Unit::TestCase
         assert_equal([1,2,3], (numarr + [3]).constrained_value)
         assert_same(numarr, numarr << 4)
         assert_not_same(numarr, numarr + [4])
-        assert_raise(ConstraintViolation) {NumericArray.new(["a",2,3])}
-        assert_raise(ConstraintViolation) {NumericArray.new([2,nil])}
-        assert_raise(ConstraintViolation) {numarr << "a"}
+        assert_raise(Constraint::Violation) {NumericArray.new(["a",2,3])}
+        assert_raise(Constraint::Violation) {NumericArray.new([2,nil])}
+        assert_raise(Constraint::Violation) {numarr << "a"}
         assert_equal(true, numarr.respond_to?(:[]))
         assert_equal(true, numarr.respond_to?(:with_constraints))
         assert_equal(false, numarr.respond_to?(:inexistent))
@@ -62,14 +76,14 @@ class TC_Contraint < Test::Unit::TestCase
         assert_same(numarr, numarr << 4)
         assert_not_same(numarr, numarr + [4])
         assert_instance_of(EvenNumericArray, numarr + [4])
-        assert_raise(ConstraintViolation) {EvenNumericArray.new([1,2,3])}
-        assert_raise(ConstraintViolation) {EvenNumericArray.new([nil,2])}
-        assert_raise(ConstraintViolation) {numarr.dup << 3}
-        assert_raise(ConstraintViolation) {numarr.dup << "a"}
-        assert_raise(ConstraintViolation) {numarr.dup << nil}
-        assert_raise(ConstraintViolation) {numarr.dup + [1]}
-        assert_raise(ConstraintViolation) {numarr.dup + [[2]]}
-        assert_raise(ConstraintViolation) {numarr.dup[0] = 1}
+        assert_raise(Constraint::Violation) {EvenNumericArray.new([1,2,3])}
+        assert_raise(Constraint::Violation) {EvenNumericArray.new([nil,2])}
+        assert_raise(Constraint::Violation) {numarr.dup << 3}
+        assert_raise(Constraint::Violation) {numarr.dup << "a"}
+        assert_raise(Constraint::Violation) {numarr.dup << nil}
+        assert_raise(Constraint::Violation) {numarr.dup + [1]}
+        assert_raise(Constraint::Violation) {numarr.dup + [[2]]}
+        assert_raise(Constraint::Violation) {numarr.dup[0] = 1}
         n = numarr.dup
         assert_nothing_raised {n[0] = 2}
         assert_equal([2,2,4], n.constrained_value)
@@ -80,19 +94,18 @@ class TC_Contraint < Test::Unit::TestCase
         enum = EvenInteger.new(2)
         assert_equal(2, enum.constrained_value)
         assert_equal(4, (enum + 2).constrained_value)
-        assert_raise(ConstraintViolation) {enum + 1}
+        assert_raise(Constraint::Violation) {enum + 1}
     end
 
     def test_evenint_lt10
         enum = EvenInteger.new(2)
-        enum.and_constraint("LT10") {|e| e < 10}
+        enum.and_constraint("LT10") {|o, e| e < 10}
         assert_equal(2, enum.constrained_value)
         assert_equal(4, (enum + 2).constrained_value)
-        assert_raise(ConstraintViolation) {enum + 10}
-        enum.or_constraint("GT20") {|e| e > 20}
+        assert_raise(Constraint::Violation) {enum + 10}
+        enum.or_constraint("GT20") {|o, e| e > 20}
         assert_nothing_raised {enum + 30}
-        # should this one raise an exception or not?
-        # assert_raise(ConstraintViolation) {enum + 111}
+        assert_raise(Constraint::Violation) {enum + 111}
         assert_equal(22, (enum + 20).constrained_value)
         enum = EvenInteger.new(2)
         assert_nothing_raised {enum + 10}
@@ -100,25 +113,58 @@ class TC_Contraint < Test::Unit::TestCase
 
     def test_evenint_lt10_rescue
         enum = EvenInteger.new(2)
-        enum.and_constraint("LT10") {|e| e < 10}
-        assert_raise(ConstraintViolation) {enum + 10}
-        class << enum
-            def handle_constraint_violation(name, object)
-                case name
-                when "LT10"
-                    if object > 10
-                        return 10
-                    else
-                        return 0
-                    end
-                else
-                    return super
-                end
-            end
-        end
-        assert_equal(10, (enum + 20).constrained_value)
-        assert_raise(ConstraintViolation) {enum + 1}
-        assert_nothing_raised {enum + 101}
+        enum.and_constraint('LT10') {|o, e| e < 10}
+        assert_raise(Constraint::Violation) {enum + 10}
+        enum.on_constraint_violation('LT10') {|o, object| object >= 10 ? 9 : 0}
+        assert_equal(9, (enum + 20).constrained_value)
+        assert_raise(Constraint::Violation) {enum + 1}
+        assert_nothing_raised {enum + 100}
+        assert_raise(Constraint::Violation) {enum + 101}
+        enum = EvenInteger.new(2)
+        enum.and_constraint('LT10') {|o, e| e < 10}
+        assert_raise(Constraint::Violation) {enum + 10}
+    end
+
+    def test_evenint_rescue_handle
+        enum = EvenInteger.new(2)
+        enum.on_constraint_violation('Even') {|o, object| (object / 2).round * 2}
+        assert_equal(2, (enum + 1).constrained_value)
+    end
+
+    def test_evenintlt10
+        enum = EvenIntegerLT10.new(2)
+        assert_equal(9, (enum + 20).constrained_value)
+        assert_raise(Constraint::Violation) {enum + 1}
+        assert_raise(Constraint::Violation) {enum + 101}
+        assert_nothing_raised {enum + 100}
+    end
+
+    def test_generator_evenintlt10
+        enum = EvenIntegerLT10.new(2)
+        assert_equal(4, (enum.next_constrained_value!).constrained_value)
+        assert_equal(6, (enum.next_constrained_value).constrained_value)
+        assert_equal(4, enum.constrained_value)
+        coll = enum.collect_constrained_values_until {|e| e > 6}
+        assert_equal([4, 6], coll.collect {|e| e.constrained_value})
+        coll = enum.collect_constrained_values_while {|e| e <= 6}
+        assert_equal([4, 6], coll.collect {|e| e.constrained_value})
+    end
+
+    def test_inspect
+        arr    = [1,2,3,4]
+        numarr = NumericArray.new(arr.dup)
+        assert_equal(arr.inspect, numarr.inspect)
+        assert_not_equal(arr.inspect, numarr.inspect_constraint_shell)
+        num  = 2
+        enum = EvenIntegerLT10.new(num)
+        assert_equal(num.inspect, enum.inspect)
+    end
+
+    def test_equal
+        arr    = [1,2,3,4]
+        numarr = NumericArray.new(arr.dup)
+        assert_equal(true, numarr === arr)
+        assert_equal(false, numarr.case_equal_constraint_shell(arr))
     end
 end
 

metadata

@@ -3,8 +3,8 @@ rubygems_version: 0.8.10
 specification_version: 1
 name: constraint
 version: !ruby/object:Gem::Version 
-  version: "0.1"
-date: 2005-06-10
+  version: "0.2"
+date: 2005-06-14
 summary: Ensure that objects comply with some constraints
 require_paths: 
   - lib
@@ -28,6 +28,13 @@ authors:
   - Thomas Link
 files: 
   - benchmarks/primes.rb
+  - examples/in_range.rb
+  - examples/primes.rb
+  - examples/queens.rb
+  - examples/queens_ca.rb
+  - examples/queens_cb.rb
+  - examples/queens_s.rb
+  - examples/run_queens.sh
   - lib/constraint.rb
   - test/tc_contraint.rb
   - test/ts_constraint.rb