axiom-types 0.0.1

data/spec/unit/axiom/types/type/class_methods/finalize_spec.rb

@@ -0,0 +1,20 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Axiom::Types::Type, '.finalize' do
+  subject { object.finalize }
+
+  let(:object) do
+    Class.new(described_class) do
+      constraint Tautology
+    end
+  end
+
+  it_should_behave_like 'a command method'
+  it_should_behave_like 'an idempotent method'
+
+  it { should be_frozen }
+
+  its(:constraint) { should be_frozen }
+end

data/spec/unit/axiom/types/type/class_methods/include_predicate_spec.rb

@@ -0,0 +1,25 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Axiom::Types::Type, '.include?' do
+  subject { object.include?(value) }
+
+  let(:value) { Object.new }
+
+  context 'when the value matches the type constraint' do
+    let(:object) { Class.new(described_class) }
+
+    it { should be(true) }
+  end
+
+  context 'when the value does not match the type constraint' do
+    let(:object) do
+      Class.new(described_class) do
+        constraint(proc { false })
+      end
+    end
+
+    it { should be(false) }
+  end
+end

data/spec/unit/axiom/types/type/class_methods/includes_spec.rb

@@ -0,0 +1,45 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Axiom::Types::Type, '.includes' do
+  subject { object.includes(*members) }
+
+  let(:object) { Class.new(described_class) }
+
+  context 'with a non-empty list' do
+    let(:member)  { Object.new         }
+    let(:members) { [ member, member ] }
+
+    it_should_behave_like 'a command method'
+
+    it 'adds a constraint that returns true for a valid member' do
+      should include(member)
+    end
+
+    it 'adds a constraint that returns false for an invalid member' do
+      should_not include(nil)
+    end
+
+    it 'freezes the members' do
+      expect { subject }.to change(member, :frozen?).from(false).to(true)
+    end
+
+    it 'removes duplicate members' do
+      member.should_receive(:frozen?).and_return(true)
+      member.should_receive(:hash).exactly(3).times.and_return(1)
+      subject
+      expect(object).to include(member)
+    end
+  end
+
+  context 'with an empty set' do
+    let(:members) { [] }
+
+    it_should_behave_like 'a command method'
+
+    it 'adds a constraint that returns false' do
+      should_not include(Object.new)
+    end
+  end
+end

data/spec/unit/axiom/types/type/class_methods/new_spec.rb

@@ -0,0 +1,79 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Axiom::Types::Type, '.new' do
+  let(:undefined) { Axiom::Types::Undefined }
+
+  context 'with no arguments' do
+    subject { object.new }
+
+    let(:object) { described_class }
+
+    it { should be_instance_of(Class) }
+
+    it { should be_frozen }
+
+    its(:ancestors) { should include(object) }
+
+    it 'has no constraints' do
+      should include(undefined)
+    end
+  end
+
+  context 'with a constraint' do
+    subject { object.new(proc { false }) }
+
+    let(:object) { described_class }
+
+    it { should be_instance_of(Class) }
+
+    it { should be_frozen }
+
+    its(:ancestors) { should include(object) }
+
+    it 'has constraints' do
+      should_not include(undefined)
+    end
+  end
+
+  context 'with a block' do
+    subject do
+      object.new do
+        constraint { false }
+      end
+    end
+
+    let(:object) { described_class }
+
+    it { should be_instance_of(Class) }
+
+    it { should be_frozen }
+
+    its(:ancestors) { should include(object) }
+
+    it 'has constraints' do
+      should_not include(undefined)
+    end
+  end
+
+  context 'with a constraint and block' do
+    subject do
+      object.new(proc { false }) do
+        constraint { false }
+      end
+    end
+
+    let(:object) { described_class }
+
+    it { should be_instance_of(Class) }
+
+    it { should be_frozen }
+
+    its(:ancestors) { should include(object) }
+
+    it 'has constraints' do
+      should_not include(undefined)
+    end
+  end
+end

data/spec/unit/axiom/types/value_comparable/class_methods/extended_spec.rb

@@ -0,0 +1,32 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Axiom::Types::ValueComparable, '.extended' do
+  subject { object.extend(described_class) }
+
+  let(:object) { Class.new(Axiom::Types::Type) }
+
+  it 'delegates to the ancestor' do
+    # RSpec will reset stubbed methods after the example. A normal expectation
+    # causes a SystemStackError to be thrown, so we stub it first so that RSpec
+    # tracks the original method (if any), then we add our own stub that
+    # actually works, and finally when the example finishes RSpec will reset the
+    # Module#extended method back to it's original state.
+    Module.any_instance.stub(:extended).with(object)
+
+    delegated_ancestor = false
+    Module.send(:define_method, :extended) { |_| delegated_ancestor = true }
+    expect { subject }.to change { delegated_ancestor }.from(false).to(true)
+  end
+
+  it 'adds minimum method' do
+    expect { subject }.to change { object.respond_to?(:minimum) }.
+      from(false).to(true)
+  end
+
+  it 'adds maxumum method' do
+    expect { subject }.to change { object.respond_to?(:maximum) }.
+      from(false).to(true)
+  end
+end

data/spec/unit/axiom/types/value_comparable/finalize_spec.rb

@@ -0,0 +1,32 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Axiom::Types::ValueComparable, '#finalize' do
+  subject { object.finalize }
+
+  let(:object) do
+    Class.new(Axiom::Types::Type) do
+      extend Axiom::Types::ValueComparable
+      minimum 1
+      maximum 2
+    end
+  end
+
+  it_should_behave_like 'a command method'
+  it_should_behave_like 'an idempotent method'
+
+  it { should be_frozen }
+
+  its(:constraint) { should be_frozen }
+
+  it 'adds a constraint that returns true for a value within range' do
+    should include(1)
+    should include(2)
+  end
+
+  it 'adds a constraint that returns false for a value not within range' do
+    should_not include(0)
+    should_not include(3)
+  end
+end

metadata

@@ -0,0 +1,215 @@
+--- !ruby/object:Gem::Specification
+name: axiom-types
+version: !ruby/object:Gem::Version
+  version: 0.0.1
+platform: ruby
+authors:
+- Dan Kubb
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2013-03-17 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: backports
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: '3.1'
+    - - ! '>='
+      - !ruby/object:Gem::Version
+        version: 3.1.1
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: '3.1'
+    - - ! '>='
+      - !ruby/object:Gem::Version
+        version: 3.1.1
+- !ruby/object:Gem::Dependency
+  name: descendants_tracker
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: 0.0.1
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: 0.0.1
+- !ruby/object:Gem::Dependency
+  name: ice_nine
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: 0.7.0
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: 0.7.0
+- !ruby/object:Gem::Dependency
+  name: rake
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: 10.0.3
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: 10.0.3
+- !ruby/object:Gem::Dependency
+  name: rspec
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: 2.13.0
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: 2.13.0
+- !ruby/object:Gem::Dependency
+  name: yard
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: 0.8.5
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: 0.8.5
+description: Abstract types for logic programming
+email: dan.kubb@gmail.com
+executables: []
+extensions: []
+extra_rdoc_files:
+- LICENSE
+- README.md
+- TODO
+files:
+- .gitignore
+- .rspec
+- .rvmrc
+- .travis.yml
+- .yardopts
+- Gemfile
+- Gemfile.devtools
+- Guardfile
+- LICENSE
+- README.md
+- Rakefile
+- TODO
+- axiom-types.gemspec
+- config/flay.yml
+- config/flog.yml
+- config/mutant.yml
+- config/reek.yml
+- config/roodi.yml
+- config/yardstick.yml
+- lib/axiom-types.rb
+- lib/axiom/types.rb
+- lib/axiom/types/array.rb
+- lib/axiom/types/boolean.rb
+- lib/axiom/types/class.rb
+- lib/axiom/types/date.rb
+- lib/axiom/types/date_time.rb
+- lib/axiom/types/decimal.rb
+- lib/axiom/types/encodable.rb
+- lib/axiom/types/float.rb
+- lib/axiom/types/hash.rb
+- lib/axiom/types/integer.rb
+- lib/axiom/types/length_comparable.rb
+- lib/axiom/types/numeric.rb
+- lib/axiom/types/object.rb
+- lib/axiom/types/set.rb
+- lib/axiom/types/string.rb
+- lib/axiom/types/support/options.rb
+- lib/axiom/types/symbol.rb
+- lib/axiom/types/time.rb
+- lib/axiom/types/type.rb
+- lib/axiom/types/value_comparable.rb
+- lib/axiom/types/version.rb
+- spec/spec_helper.rb
+- spec/unit/axiom/types/class_methods/finalize_spec.rb
+- spec/unit/axiom/types/encodable/class_methods/extended_spec.rb
+- spec/unit/axiom/types/encodable/finalize_spec.rb
+- spec/unit/axiom/types/hash/class_methods/finalize_spec.rb
+- spec/unit/axiom/types/length_comparable/class_methods/extended_spec.rb
+- spec/unit/axiom/types/length_comparable/finalize_spec.rb
+- spec/unit/axiom/types/object/class_methods/coercion_method_spec.rb
+- spec/unit/axiom/types/object/class_methods/finalize_spec.rb
+- spec/unit/axiom/types/object/class_methods/primitive_spec.rb
+- spec/unit/axiom/types/options/accept_options_spec.rb
+- spec/unit/axiom/types/options/inherited_spec.rb
+- spec/unit/axiom/types/type/class_methods/constraint_spec.rb
+- spec/unit/axiom/types/type/class_methods/finalize_spec.rb
+- spec/unit/axiom/types/type/class_methods/include_predicate_spec.rb
+- spec/unit/axiom/types/type/class_methods/includes_spec.rb
+- spec/unit/axiom/types/type/class_methods/new_spec.rb
+- spec/unit/axiom/types/value_comparable/class_methods/extended_spec.rb
+- spec/unit/axiom/types/value_comparable/finalize_spec.rb
+homepage: https://github.com/dkubb/axiom-types
+licenses: []
+metadata: {}
+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: []
+rubyforge_project: 
+rubygems_version: 2.0.3
+signing_key: 
+specification_version: 4
+summary: Abstract types for logic programming
+test_files:
+- spec/unit/axiom/types/class_methods/finalize_spec.rb
+- spec/unit/axiom/types/encodable/class_methods/extended_spec.rb
+- spec/unit/axiom/types/encodable/finalize_spec.rb
+- spec/unit/axiom/types/hash/class_methods/finalize_spec.rb
+- spec/unit/axiom/types/length_comparable/class_methods/extended_spec.rb
+- spec/unit/axiom/types/length_comparable/finalize_spec.rb
+- spec/unit/axiom/types/object/class_methods/coercion_method_spec.rb
+- spec/unit/axiom/types/object/class_methods/finalize_spec.rb
+- spec/unit/axiom/types/object/class_methods/primitive_spec.rb
+- spec/unit/axiom/types/options/accept_options_spec.rb
+- spec/unit/axiom/types/options/inherited_spec.rb
+- spec/unit/axiom/types/type/class_methods/constraint_spec.rb
+- spec/unit/axiom/types/type/class_methods/finalize_spec.rb
+- spec/unit/axiom/types/type/class_methods/include_predicate_spec.rb
+- spec/unit/axiom/types/type/class_methods/includes_spec.rb
+- spec/unit/axiom/types/type/class_methods/new_spec.rb
+- spec/unit/axiom/types/value_comparable/class_methods/extended_spec.rb
+- spec/unit/axiom/types/value_comparable/finalize_spec.rb
+has_rdoc: