queencheck 0.1.2 → 1.0.0

data/spec/queencheck/rspec_spec.rb

@@ -1,19 +1,19 @@
 require 'queencheck/rspec'
 
-describe 'QueenCheck::RSpec' do
-  qcheck 1, :+, [Integer], {count: 5} do | result, arguments, exception |
-    result.should == arguments[0] + 1
-  end
+describe QueenCheck do
+  QueenCheck('stadard check', String) { | x |
+    x.class.should == String
+  }
+
+  verboseQueenCheck('verbose check', QueenCheck::ASCIIChar) { | x |
+    x.size.should == 1
+  }
 
-  qcheck 1, :/, [Integer], {count: 5} do | result, arguments, exception |
-    if exception
-      if exception.kind_of?(ZeroDivisionError)
-        arguments[0].should == 0
-      else
-        raise exception
-      end
-    else
-      result.should == 1 / arguments[0]
-    end
+  labelingQueenCheck('labelig check', {
+    "x > y" => proc{|x,y| x > y },
+    "x < y" => proc{|x,y| x < y },
+    "x = y" => proc{|x,y| x == y },
+  },Integer, Integer) do | x, y |
+    (x + y).should == y + x
   end
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: queencheck
 version: !ruby/object:Gem::Version
-  version: 0.1.2
+  version: 1.0.0
   prerelease: 
 platform: ruby
 authors:
@@ -9,11 +9,22 @@ authors:
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2012-02-06 00:00:00.000000000 Z
+date: 2012-02-17 00:00:00.000000000 Z
 dependencies:
+- !ruby/object:Gem::Dependency
+  name: colorize
+  requirement: &70160982288100 !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ! '>='
+      - !ruby/object:Gem::Version
+        version: 0.5.8
+  type: :runtime
+  prerelease: false
+  version_requirements: *70160982288100
 - !ruby/object:Gem::Dependency
   name: rake
-  requirement: &70236171344200 !ruby/object:Gem::Requirement
+  requirement: &70160982287160 !ruby/object:Gem::Requirement
     none: false
     requirements:
     - - ! '>='
@@ -21,10 +32,10 @@ dependencies:
         version: 0.9.2.2
   type: :development
   prerelease: false
-  version_requirements: *70236171344200
+  version_requirements: *70160982287160
 - !ruby/object:Gem::Dependency
   name: rspec
-  requirement: &70236171387000 !ruby/object:Gem::Requirement
+  requirement: &70160982286680 !ruby/object:Gem::Requirement
     none: false
     requirements:
     - - ! '>='
@@ -32,10 +43,10 @@ dependencies:
         version: 2.8.0
   type: :development
   prerelease: false
-  version_requirements: *70236171387000
+  version_requirements: *70160982286680
 - !ruby/object:Gem::Dependency
   name: fuubar
-  requirement: &70236171386500 !ruby/object:Gem::Requirement
+  requirement: &70160982286200 !ruby/object:Gem::Requirement
     none: false
     requirements:
     - - ! '>='
@@ -43,10 +54,10 @@ dependencies:
         version: 0.0.6
   type: :development
   prerelease: false
-  version_requirements: *70236171386500
+  version_requirements: *70160982286200
 - !ruby/object:Gem::Dependency
   name: jeweler
-  requirement: &70236171386020 !ruby/object:Gem::Requirement
+  requirement: &70160982285720 !ruby/object:Gem::Requirement
     none: false
     requirements:
     - - ! '>='
@@ -54,10 +65,10 @@ dependencies:
         version: 1.8.3
   type: :development
   prerelease: false
-  version_requirements: *70236171386020
+  version_requirements: *70160982285720
 - !ruby/object:Gem::Dependency
   name: growl
-  requirement: &70236171385400 !ruby/object:Gem::Requirement
+  requirement: &70160982285240 !ruby/object:Gem::Requirement
     none: false
     requirements:
     - - ! '>='
@@ -65,10 +76,10 @@ dependencies:
         version: 1.0.3
   type: :development
   prerelease: false
-  version_requirements: *70236171385400
+  version_requirements: *70160982285240
 - !ruby/object:Gem::Dependency
   name: spork
-  requirement: &70236171384920 !ruby/object:Gem::Requirement
+  requirement: &70160982284760 !ruby/object:Gem::Requirement
     none: false
     requirements:
     - - ! '>='
@@ -76,10 +87,10 @@ dependencies:
         version: 0.9.0.rc9
   type: :development
   prerelease: false
-  version_requirements: *70236171384920
+  version_requirements: *70160982284760
 - !ruby/object:Gem::Dependency
   name: rb-fsevent
-  requirement: &70236171384440 !ruby/object:Gem::Requirement
+  requirement: &70160982284280 !ruby/object:Gem::Requirement
     none: false
     requirements:
     - - ! '>='
@@ -87,10 +98,10 @@ dependencies:
         version: 0.9.0
   type: :development
   prerelease: false
-  version_requirements: *70236171384440
+  version_requirements: *70160982284280
 - !ruby/object:Gem::Dependency
   name: guard-spork
-  requirement: &70236171383960 !ruby/object:Gem::Requirement
+  requirement: &70160982283720 !ruby/object:Gem::Requirement
     none: false
     requirements:
     - - ! '>='
@@ -98,10 +109,10 @@ dependencies:
         version: 0.5.1
   type: :development
   prerelease: false
-  version_requirements: *70236171383960
+  version_requirements: *70160982283720
 - !ruby/object:Gem::Dependency
   name: guard-rspec
-  requirement: &70236171383480 !ruby/object:Gem::Requirement
+  requirement: &70160982283200 !ruby/object:Gem::Requirement
     none: false
     requirements:
     - - ! '>='
@@ -109,10 +120,10 @@ dependencies:
         version: 0.6.0
   type: :development
   prerelease: false
-  version_requirements: *70236171383480
+  version_requirements: *70160982283200
 - !ruby/object:Gem::Dependency
   name: guard-bundler
-  requirement: &70236171383000 !ruby/object:Gem::Requirement
+  requirement: &70160982282720 !ruby/object:Gem::Requirement
     none: false
     requirements:
     - - ! '>='
@@ -120,10 +131,10 @@ dependencies:
         version: 0.1.3
   type: :development
   prerelease: false
-  version_requirements: *70236171383000
+  version_requirements: *70160982282720
 - !ruby/object:Gem::Dependency
   name: guard-yard
-  requirement: &70236171382200 !ruby/object:Gem::Requirement
+  requirement: &70160982282240 !ruby/object:Gem::Requirement
     none: false
     requirements:
     - - ! '>='
@@ -131,10 +142,10 @@ dependencies:
         version: 1.0.2
   type: :development
   prerelease: false
-  version_requirements: *70236171382200
+  version_requirements: *70160982282240
 - !ruby/object:Gem::Dependency
   name: yard
-  requirement: &70236171381420 !ruby/object:Gem::Requirement
+  requirement: &70160982425520 !ruby/object:Gem::Requirement
     none: false
     requirements:
     - - ! '>='
@@ -142,10 +153,10 @@ dependencies:
         version: 0.7.4
   type: :development
   prerelease: false
-  version_requirements: *70236171381420
+  version_requirements: *70160982425520
 - !ruby/object:Gem::Dependency
   name: yard-tomdoc
-  requirement: &70236171380700 !ruby/object:Gem::Requirement
+  requirement: &70160982424980 !ruby/object:Gem::Requirement
     none: false
     requirements:
     - - ! '>='
@@ -153,42 +164,62 @@ dependencies:
         version: 0.3.0
   type: :development
   prerelease: false
-  version_requirements: *70236171380700
+  version_requirements: *70160982424980
+- !ruby/object:Gem::Dependency
+  name: redcarpet
+  requirement: &70160982424500 !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ! '>='
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: *70160982424500
+- !ruby/object:Gem::Dependency
+  name: pry
+  requirement: &70160982424020 !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ! '>='
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: *70160982424020
 description: QueenCheck is random test library. Inspired by QuickCheck library in
   Haskell.
 email: rosylilly@aduca.org
 executables: []
 extensions: []
 extra_rdoc_files:
-- README.markdown
+- README.md
 files:
 - .rspec
 - .rvmrc
 - .travis.yml
 - Gemfile
 - Guardfile
-- README.markdown
+- README.md
 - Rakefile
 - VERSION
 - lib/queencheck.rb
+- lib/queencheck/arbitraries/all.rb
+- lib/queencheck/arbitraries/boolean.rb
+- lib/queencheck/arbitraries/integer.rb
+- lib/queencheck/arbitraries/string.rb
 - lib/queencheck/arbitrary.rb
-- lib/queencheck/array.rb
-- lib/queencheck/boolean.rb
-- lib/queencheck/config.rb
+- lib/queencheck/condition.rb
 - lib/queencheck/core.rb
-- lib/queencheck/elements_of.rb
-- lib/queencheck/float.rb
-- lib/queencheck/integer.rb
+- lib/queencheck/exception.rb
+- lib/queencheck/gen.rb
+- lib/queencheck/result.rb
 - lib/queencheck/rspec.rb
-- lib/queencheck/rspec/dsl.rb
-- lib/queencheck/string.rb
 - queencheck.gemspec
 - spec/queencheck/arbitrary_spec.rb
 - spec/queencheck/core_spec.rb
-- spec/queencheck/elements_of_spec.rb
-- spec/queencheck/integer_spec.rb
+- spec/queencheck/gen_spec.rb
 - spec/queencheck/rspec_spec.rb
-- spec/queencheck/string_spec.rb
 - spec/spec_helper.rb
 homepage: https://github.com/rosylilly/QueenCheck
 licenses: []
@@ -202,6 +233,9 @@ required_ruby_version: !ruby/object:Gem::Requirement
   - - ! '>='
     - !ruby/object:Gem::Version
       version: '0'
+      segments:
+      - 0
+      hash: 2669412712847825288
 required_rubygems_version: !ruby/object:Gem::Requirement
   none: false
   requirements:
@@ -210,7 +244,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
       version: '0'
 requirements: []
 rubyforge_project: 
-rubygems_version: 1.8.10
+rubygems_version: 1.8.11
 signing_key: 
 specification_version: 3
 summary: like haskell's QuickCheck

data/README.markdown

@@ -1,24 +0,0 @@
-# QueenCheck [![Build Status](https://secure.travis-ci.org/rosylilly/QueenCheck.png)](http://travis-ci.org/rosylilly/QueenCheck) [![Gem Status](https://gemnasium.com/rosylilly/QueenCheck.png)](https://gemnasium.com/rosylilly/QueenCheck)
-
-QueenCheck is random test library.
-
-Inspired by QuickCheck library in Haskell.
-
-## Usage
-
-    $ gem install queencheck
-
-
-## Example
-
-    require 'queencheck'
-    
-    number = 100
-    
-    check = QueenCheck(number, :+, Integer)
-    
-    res = check.run(verbose: true) do | result, arguments, error |
-    result == number + arguments[0]
-    end
-    
-    puts "#{res.passes} / #{res.examples}"

data/lib/queencheck/array.rb

@@ -1,33 +0,0 @@
-require 'queencheck/arbitrary'
-
-class Array
-  extend QueenCheck::Arbitrary
-
-  @@bound = 10
-
-  set_arbitrary do |seed|
-    if seed == 0
-      return []
-    else
-      base = ((@@bound * seed).ceil)
-
-      ary = Array.new(rand(base) + 1)
-
-      if seed > 0.3
-        ary.map!{|ar| Array.new(rand(base) + 1) }
-      end
-
-      if seed > 0.5
-        ary.map!{|ar| ar.map!{|a| Array.new(rand(base) + 1) } }
-      end
-
-      if seed > 0.8
-        ary.map!{|ar| ar.map!{|a| a.map!{|item| Array.new(rand(base) + 1) } } }
-      end
-
-      return ary
-    end
-  end
-end
-
-

data/lib/queencheck/boolean.rb

@@ -1,9 +0,0 @@
-require 'queencheck/arbitrary'
-
-class Boolean
-  extend QueenCheck::Arbitrary
-
-  set_arbitrary do | seed |
-    rand(2).zero? ? true : false
-  end
-end

data/lib/queencheck/config.rb

@@ -1,16 +0,0 @@
-
-module QueenCheck
-  class Config
-    attr_reader :count, :log
-
-    def initialize(options = nil)
-      options ||= {}
-
-      @count = options[:count] || 100 # デフォルトの試行回数は 100 回
-      @verbose = options[:verbose] || false
-      @log = options[:log] || STDOUT
-    end
-
-    def verbose?; @verbose; end
-  end
-end

data/lib/queencheck/elements_of.rb

@@ -1,44 +0,0 @@
-
-module QueenCheck
-  class << self
-    def ElementsOf(name, elements = nil)
-      if elements.nil? && !name.kind_of?(Array)
-        return QueenCheck::ElementsOf.get_by_id(name)
-      else
-        return QueenCheck::ElementsOf.new(name, elements)
-      end
-    end
-  end
-
-  class ElementsOf
-    @@instances = {}
-
-    def self.get_by_id(id)
-      return @@instances[id.to_s.to_sym]
-    end
-
-    attr_reader :elements, :name
-
-    def arbitrary?; true; end
-
-    def arbitrary(seed)
-      @elements[rand(@elements.length)]
-    end
-
-    def initialize(name, elements = nil)
-      if elements.nil? && name.kind_of?(Array)
-        elements = name
-        name = nil
-      end
-
-      raise ArgumentError, 'elements length require over 1' if !elements.respond_to?(:length) || elements.length < 0
-      @elements = elements
-
-      if name
-        @name = name.to_s.to_sym
-        @@instances[@name] = self
-        QueenCheck::Arbitrary::Instance.collection["elements_of_#{@name}".to_sym] = self
-      end
-    end
-  end
-end

data/lib/queencheck/float.rb

@@ -1,23 +0,0 @@
-require 'queencheck/arbitrary'
-
-class Float
-  extend QueenCheck::Arbitrary
-
-  @@bound = 25
-
-  set_arbitrary do |seed|
-    if seed == 0
-      0.0
-    else
-      if seed > 0.9 && rand(3) > 0
-        return rand(2).zero? ? 0.0/0.0 : rand(2).zero? ? 1.0/0 : -1.0/0
-      end
-      base = ((@@bound * seed).ceil).to_f
-      max = 10.0 ** base
-      num = rand(max)
-      nod = num.to_s.length
-      num.to_f / (10 ** ((rand(nod / 2) + nod / 2) / 2)) * (rand(2).zero? ? 1.0 : -1.0)
-    end
-  end
-end
-