require 'rubyqc/test'
require 'rubyqc/all'

describe RubyQC::API do
  should 'oneof' do
    check([Class]*5) do |klasses|
      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