contracts-gen 0.1.0

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA256:
+  metadata.gz: 4f16e3702e3deb6d8a8febfc9594fdbec2b588e4f44bd4c7df168205d51bac4c
+  data.tar.gz: fbe52184b65a1a230c282064b88aaab8604efd6793956b03db050f371ce881a5
+SHA512:
+  metadata.gz: 3c4c9abdd7a86b8e86027b4c6274377d109efbc4f86271d041aa8a0991316f1cf81a21c4df54d4dc4c8282ad8ab7dac0b68995cd1cdf8c7e914a4faefc9b0765
+  data.tar.gz: bea2d47332693dedf696f8e87858b8139dd953b855e8b49373824ffb2b38319df71c851b1e62c845278900ff492f4f03c74b7fa2af8fa7b19a9d00531af77603

data/.gitignore

@@ -0,0 +1,13 @@
+/.bundle/
+/.yardoc
+/_yardoc/
+/coverage/
+/doc/
+/pkg/
+/spec/reports/
+/tmp/
+
+# rspec failure tracking
+.rspec_status
+.rakeTasks
+*.iml

data/.rspec

@@ -0,0 +1,3 @@
+--format documentation
+--color
+--require spec_helper

data/Gemfile

@@ -0,0 +1,4 @@
+source "https://rubygems.org"
+
+# Specify your gem's dependencies in contracts-gen.gemspec
+gemspec

data/Gemfile.lock

@@ -0,0 +1,48 @@
+PATH
+  remote: .
+  specs:
+    contracts-gen (0.1.0)
+      contracts (~> 0.16.0)
+      faker (~> 1.9.6)
+      gen-test (~> 0.1.0)
+
+GEM
+  remote: https://rubygems.org/
+  specs:
+    concurrent-ruby (1.1.5)
+    contracts (0.16.0)
+    diff-lcs (1.3)
+    faker (1.9.6)
+      i18n (>= 0.7)
+    gen-test (0.1.1)
+      faker (~> 1.9.6)
+      regexp-examples (~> 1.5.0)
+    i18n (1.8.2)
+      concurrent-ruby (~> 1.0)
+    rake (10.5.0)
+    regexp-examples (1.5.1)
+    rspec (3.8.0)
+      rspec-core (~> 3.8.0)
+      rspec-expectations (~> 3.8.0)
+      rspec-mocks (~> 3.8.0)
+    rspec-core (3.8.2)
+      rspec-support (~> 3.8.0)
+    rspec-expectations (3.8.4)
+      diff-lcs (>= 1.2.0, < 2.0)
+      rspec-support (~> 3.8.0)
+    rspec-mocks (3.8.1)
+      diff-lcs (>= 1.2.0, < 2.0)
+      rspec-support (~> 3.8.0)
+    rspec-support (3.8.2)
+
+PLATFORMS
+  ruby
+
+DEPENDENCIES
+  bundler (~> 2.0)
+  contracts-gen!
+  rake (~> 10.0)
+  rspec (~> 3.0)
+
+BUNDLED WITH
+   2.1.4

data/LICENSE.txt

@@ -0,0 +1,21 @@
+The MIT License (MIT)
+
+Copyright (c) 2019 Delon Newman
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.

data/README.md

@@ -0,0 +1,53 @@
+Contracts::Gen
+==============
+
+An extension for [Gen::Test][1], defining generators for [Contracts][2].
+
+Synopsis
+========
+
+```ruby
+require 'gen/test'
+require 'contracts'
+require 'contracts/gen'
+
+Sum = lambda { |xs| xs.reduce(:+) }
+
+C = Contracts
+
+class SumTest < Minitest::Test
+  include Gen::Test
+
+  def test_sum_for_all_arrays_of_integers
+    for_all C::ArrayOf[Integer] do |xs|
+      y = Sum[xs]
+      assert_equal(y, xs.reduce(:+))
+    end
+  end
+end
+```
+
+Install
+=======
+
+    > gem install contracts-gen
+
+or, add:
+
+```ruby
+gem 'contracts-gen'
+```
+
+to your Gemfile, and then execute:
+
+    > bundle
+
+
+See Also
+========
+
+- [Gen::Test][1]
+- [Contracts][2]
+
+[1]: https://github.com/delonnewman/gen-test
+[2]: https://github.com/egonSchiele/contracts.ruby

data/Rakefile

@@ -0,0 +1,6 @@
+require "bundler/gem_tasks"
+require "rspec/core/rake_task"
+
+RSpec::Core::RakeTask.new(:spec)
+
+task :default => :spec

data/contracts-gen.gemspec

@@ -0,0 +1,38 @@
+lib = File.expand_path("lib", __dir__)
+$LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
+require "contracts/gen/version"
+
+Gem::Specification.new do |spec|
+  spec.name          = "contracts-gen"
+  spec.version       = Contracts::Gen::VERSION
+  spec.authors       = ["Delon Newman"]
+  spec.email         = ["contact@delonnewman.name"]
+
+  spec.summary       = %q{Contracts for generative testing}
+  spec.description   = spec.summary
+  spec.homepage      = "https://github.com/delonnewman/contracts-gen"
+  spec.license       = "MIT"
+
+  spec.metadata["allowed_push_host"] = "https://rubygems.org"
+
+  spec.metadata["homepage_uri"] = spec.homepage
+  spec.metadata["source_code_uri"] = spec.homepage
+  spec.metadata["changelog_uri"] = "#{spec.homepage}#changelog"
+
+  # Specify which files should be added to the gem when it is released.
+  # The `git ls-files -z` loads the files in the RubyGem that have been added into git.
+  spec.files         = Dir.chdir(File.expand_path('..', __FILE__)) do
+    `git ls-files -z`.split("\x0").reject { |f| f.match(%r{^(test|spec|features)/}) }
+  end
+  spec.bindir        = "exe"
+  spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
+  spec.require_paths = ["lib"]
+
+  spec.add_runtime_dependency "faker", "~> 1.9.6"
+  spec.add_runtime_dependency "gen-test", "~> 0.1.0"
+  spec.add_runtime_dependency "contracts", "~> 0.16.0"
+
+  spec.add_development_dependency "bundler", "~> 2.0"
+  spec.add_development_dependency "rake", "~> 10.0"
+  spec.add_development_dependency "rspec", "~> 3.0"
+end

data/lib/contracts/builtin_ext.rb

@@ -0,0 +1,96 @@
+require 'contracts'
+
+module Contracts::Builtin
+  class Bool
+    def self.generate(true_ratio: 0.5)
+      Random.rand < true_ratio
+    end
+  end
+
+  class Num
+    def self.generate(min: -2e31.to_f, max: (2e31 - 1).to_f)
+      raise 'min should not be greater than max' if min > max
+      Random.rand(min..max)
+    end
+  end
+
+  class Int
+    def self.generate(min: -2e31, max: 2e31 - 1, neg_ratio: 0.5)
+      min_pos = min < 0 ? 0 : min
+      max_neg = max > -1 ? -1 : max
+
+      if Bool.generate(true_ratio: neg_ratio)
+        Num.generate(min: min, max: max_neg).to_i
+      else
+        Num.generate(min: min_pos, max: max).to_i
+      end
+    end
+  end
+
+  class BigInt < Int
+    def self.generate(min: -2e63, max: 2e63 - 1)
+      super(min: min, max: max)
+    end
+  end
+
+  class SmallInt < Int
+    def self.generate(min: -2e15, max: 2e15 - 1)
+      super(min: min, max: max)
+    end
+  end
+
+  class TinyInt < Int
+    def self.generate(min: 0, max: 255)
+      super(min: min, max: max)
+    end
+  end
+
+  class Neg
+    def self.generate(min: -1_000, max: -1)
+      raise 'max should not be greater than -1' if max > -1
+      Num.generate(min: min, max: max).to_i
+    end
+  end
+
+  class Pos
+    def self.generate(min: 1, max: 1_000)
+      raise 'min should not be less than 1' if min < 1
+      Num.generate(min: min, max: max).to_i
+    end
+  end
+
+  class Nat
+    def self.generate(min: 0, max: 1_000)
+      raise 'min should not be less than 0' if min < 0
+      Num.generate(min: min, max: max).to_i
+    end
+  end
+
+  class Maybe
+    def generate(nil_ratio: 0.5)
+      if Bool.generate(true_ratio: nil_ratio)
+        @vals.reject(&:nil?).first.generate
+      else
+        nil
+      end
+    end
+  end
+
+  class CollectionOf
+    def generate(min: 0, max: 30)
+      @collection_class.generate(min: min, max: max, type: @contract)
+    end
+  end
+
+  class HashOf
+    def generate(min: 0, max: 30)
+      Hash.generate(min: min, max: max, value_type: @value, key_type: @key)
+    end
+  end
+
+  class Or
+    def generate
+      @vals.sample.generate
+    end
+  end
+end

data/lib/contracts/gen.rb

@@ -0,0 +1,51 @@
+require "contracts/gen/version"
+require "contracts/builtin_ext"
+require 'gen/test'
+require 'faker'
+
+module Contracts
+  class Keys
+    def self.[](spec)
+      if spec[:required] and spec[:optional]
+        new(spec[:required], spec[:optional])
+      elsif spec[:required]
+        new(spec[:required], nil)
+      elsif spec[:optional]
+        new(nil, spec[:optional])
+      else
+        raise "Invalid hash spec: #{spec.inspect}"
+      end
+    end
+
+    def initialize(required, optional)
+      @required = required
+      @optional = optional
+    end
+
+    def valid?(value)
+      if not value.respond_to?(:[])
+        false
+      else
+        @required.all? { |(k, v)| Contract.valid?(value[k], v) }
+      end
+    end
+
+    def generate
+      h = {}
+      unless @required.nil? or @required.empty?
+        @required.each do |(k, contract)|
+          h[k] = ::Gen.generate(contract)
+        end
+      end
+      unless @optional.nil? or @optional.empty?
+        n = Faker::Number.between(0, @optional.keys.length)
+        keys = @optional.keys.sample(n)
+        keys.each do |k|
+          contract = @optional[k]
+          h[k] = ::Gen.generate(contract)
+        end
+      end
+      h
+    end
+  end
+end

data/lib/contracts/gen/version.rb

@@ -0,0 +1,5 @@
+module Contracts
+  module Gen
+    VERSION = "0.1.0"
+  end
+end

metadata

@@ -0,0 +1,142 @@
+--- !ruby/object:Gem::Specification
+name: contracts-gen
+version: !ruby/object:Gem::Version
+  version: 0.1.0
+platform: ruby
+authors:
+- Delon Newman
+autorequire: 
+bindir: exe
+cert_chain: []
+date: 2020-01-29 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: faker
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 1.9.6
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 1.9.6
+- !ruby/object:Gem::Dependency
+  name: gen-test
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.1.0
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.1.0
+- !ruby/object:Gem::Dependency
+  name: contracts
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.16.0
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.16.0
+- !ruby/object:Gem::Dependency
+  name: bundler
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '2.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '2.0'
+- !ruby/object:Gem::Dependency
+  name: rake
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '10.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '10.0'
+- !ruby/object:Gem::Dependency
+  name: rspec
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.0'
+description: Contracts for generative testing
+email:
+- contact@delonnewman.name
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- ".gitignore"
+- ".rspec"
+- Gemfile
+- Gemfile.lock
+- LICENSE.txt
+- README.md
+- Rakefile
+- contracts-gen.gemspec
+- lib/contracts/builtin_ext.rb
+- lib/contracts/gen.rb
+- lib/contracts/gen/version.rb
+homepage: https://github.com/delonnewman/contracts-gen
+licenses:
+- MIT
+metadata:
+  allowed_push_host: https://rubygems.org
+  homepage_uri: https://github.com/delonnewman/contracts-gen
+  source_code_uri: https://github.com/delonnewman/contracts-gen
+  changelog_uri: https://github.com/delonnewman/contracts-gen#changelog
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubygems_version: 3.0.6
+signing_key: 
+specification_version: 4
+summary: Contracts for generative testing
+test_files: []