test/test_api.rb in rubyqc-0.0.1 vs test/test_api.rb in rubyqc-0.0.2

@@ -1,12 +1,58 @@
 
 require 'rubyqc/test'
+require 'rubyqc/all'
 
 describe RubyQC::API do
-  should 'one_of' do
+  should 'oneof' do
     check([Class]*5) do |klasses|
-      check(one_of(*klasses)) do |obj|
-        klasses.find{ |klass| obj.kind_of?(klass) }.should.not.nil
+      klasses -= [Should] # bacon's Should won't work...
+      check(oneof(*klasses)) do |obj|
+        begin
+          klasses.find{ |klass| obj.kind_of?(klass) }.should.not.nil
+        rescue => e
+          warn "Cannot find #{obj} in #{klasses}: #{e}"
+          raise
+        end
+      end
+    end
+  end
+
+  describe 'forall' do
+    should 'hard code' do
+      times = 0
+      forall([1,2], [3,4], [5,6]) do |a, b, c|
+        times += 1
+        [1,2].should.include a
+        [3,4].should.include b
+        [5,6].should.include c
+      end
+      times.should.eq 2**3
+    end
+
+    should 'check' do
+      check([Fixnum, Fixnum], [Fixnum, Fixnum], [Fixnum, Fixnum]) do |a, b, c|
+        times = 0
+        forall(a, b, c) do |aa, bb, cc|
+          times += 1
+          a.should.include aa
+          b.should.include bb
+          c.should.include cc
+        end
+        times.should.eq 2**3
+      end
+    end
+
+    should 'check check' do
+      check(1..5, 1..5) do |n, m|
+        check([[Fixnum]*n.abs]*m.abs) do |a|
+          times = 0
+          forall(*a) do |*aa|
+            times += 1
+            a.zip(aa).each{ |(b, bb)| b.should.include bb }
+          end
+          times.should.eq n**m
+        end
       end
     end
   end
 end