type_constraints 0.0.1

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA1:
+  metadata.gz: 1c09c6618b3335ab1fe15343695323df479d872d
+  data.tar.gz: 7bc2530f521a40381e98b600bcdcce3bf9d4a4cb
+SHA512:
+  metadata.gz: 28f2a447bf63a6e714ed7190094f5afac7a441a040ab6c547a59894b19c6733baa21a3ee2d6cdebd0847e914a7ff5e2207a6f3bb83b05ad51cd75c121ba64854
+  data.tar.gz: 331697c3de260279fbe87d0c3aecd400526bb46c564447385bf69425176f4728d5fdf7ec7f754dcef275e9958708d26b30269d4834a0a7802778ab6258459dea

data/.gitignore

@@ -0,0 +1,14 @@
+/.bundle/
+/.yardoc
+/Gemfile.lock
+/_yardoc/
+/coverage/
+/doc/
+/pkg/
+/spec/reports/
+/tmp/
+*.bundle
+*.so
+*.o
+*.a
+mkmf.log

data/.rspec

@@ -0,0 +1,2 @@
+--format documentation
+--color

data/.travis.yml

@@ -0,0 +1,3 @@
+language: ruby
+rvm:
+  - 2.1.5

data/Gemfile

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

data/LICENSE.txt

@@ -0,0 +1,22 @@
+Copyright (c) 2014 hisaichi5518
+
+MIT License
+
+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,57 @@
+# TypeConstraints
+
+## Usage
+
+```ruby
+require "type_constraints"
+
+TypeConstraints.setup do
+  type :Array do
+    constraint -> v { v.kind_of?(Array) }
+  end
+  subtype :ArrayOfString, :Array do
+    constraint -> v { v.all?() {|v| v.kind_of?(String) } }
+  end
+  subtype :ArrayOfHisa, :ArrayOfString do
+    constraint -> v { v.all?() {|v| v === "5518" } }
+  end
+end
+
+
+puts "testing Array"
+p TypeConstraints.check?(:Array, []) #=> true
+p TypeConstraints.check?(:Array, {}) #=> false
+
+puts "testing ArrayOfString"
+p TypeConstraints.check?(:ArrayOfString, ["1000", "2000"]) #=> true
+p TypeConstraints.check?(:ArrayOfString, [1000, 2000])     #=> false
+
+puts "testing ArrayOfHisa"
+p TypeConstraints.check?(:ArrayOfHisa, ["5518"]) #=> true
+p TypeConstraints.check?(:ArrayOfHisa, ["hisa"]) #=> false
+p TypeConstraints.check?(:ArrayOfHisa, [5518])   #=> false
+```
+
+## Installation
+
+Add this line to your application's Gemfile:
+
+```ruby
+gem 'type_constraints'
+```
+
+And then execute:
+
+    $ bundle
+
+Or install it yourself as:
+
+    $ gem install type_constraints
+
+## Contributing
+
+1. Fork it ( https://github.com/[my-github-username]/type_constraints/fork )
+2. Create your feature branch (`git checkout -b my-new-feature`)
+3. Commit your changes (`git commit -am 'Add some feature'`)
+4. Push to the branch (`git push origin my-new-feature`)
+5. Create a new Pull Request

data/Rakefile

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

data/lib/type_constraints/meta.rb

@@ -0,0 +1,23 @@
+module TypeConstraints
+  class Meta
+
+    attr_accessor :name, :parent
+    def initialize(args={})
+      @name       = args[:name]
+      @parent     = args[:parent]
+      @constraint = args[:constraint]
+    end
+
+    def constraint(v=nil)
+      @constraint = v if !v.nil?
+      @constraint
+    end
+
+    def check?(val)
+      if !parent.nil? && !parent.check?(val)
+        return false
+      end
+      constraint.call(val)
+    end
+  end
+end

data/lib/type_constraints/registry.rb

@@ -0,0 +1,20 @@
+module TypeConstraints
+  class Registry
+    attr_accessor :metas
+    def initialize
+      @metas = {}
+    end
+
+    def type(name, &code)
+      meta = Meta.new(name: name)
+      meta.instance_eval(&code)
+      metas[name] = meta
+    end
+
+    def subtype(name, parent, &code)
+      meta = Meta.new(name: name, parent: metas[parent])
+      meta.instance_eval(&code)
+      metas[name] = meta
+    end
+  end
+end

data/lib/type_constraints/version.rb

@@ -0,0 +1,3 @@
+module TypeConstraints
+  VERSION = "0.0.1"
+end

data/lib/type_constraints.rb

@@ -0,0 +1,19 @@
+require "type_constraints/version"
+require "type_constraints/registry"
+require "type_constraints/meta"
+
+module TypeConstraints
+  class << self
+    attr_accessor :registry
+    def setup(&code)
+      @registry = Registry.new
+      @registry.instance_eval(&code)
+      @registry
+    end
+
+    def check?(name, val)
+      return false if registry.metas[name].nil?
+      registry.metas[name].check?(val)
+    end
+  end
+end

data/spec/spec_helper.rb

@@ -0,0 +1,2 @@
+$LOAD_PATH.unshift File.expand_path('../../lib', __FILE__)
+require 'type_constraints'

data/spec/type_constraints/meta_spec.rb

@@ -0,0 +1,38 @@
+require 'spec_helper'
+require 'type_constraints/meta'
+
+describe TypeConstraints::Meta do
+  describe "#initialize" do
+    context "Create new instance" do
+      meta = TypeConstraints::Meta.new(name: :AlwaysTrue, constraint: -> v { true })
+      it "returns TypeConstraints::Meta Object" do
+        expect(meta.class).to eq TypeConstraints::Meta
+      end
+    end
+  end
+
+  describe "#check?" do
+    context "Without parent Object." do
+      meta = TypeConstraints::Meta.new(name: :AlwaysTrue, constraint: -> v { true })
+      it "returns TrueClass Object" do
+        result = meta.check?("hogehoge")
+        expect(result).to eq true
+      end
+    end
+
+    context "With parent Object" do
+      parent = TypeConstraints::Meta.new(name: :AlwaysTrue, constraint: -> v { false })
+      meta   = TypeConstraints::Meta.new(
+        name: :AlwaysTrue,
+        constraint: -> v { true },
+        parent: parent
+      )
+
+      it "returns TrueClass Object" do
+        result = meta.check?("hogehoge")
+        expect(result).to eq false
+      end
+    end
+  end
+
+end

data/spec/type_constraints/registry_spec.rb

@@ -0,0 +1,34 @@
+require 'spec_helper'
+require 'type_constraints/registry'
+
+describe TypeConstraints::Registry do
+
+  describe "#type" do
+    before do
+      @r = TypeConstraints::Registry.new
+      @r.type(:ParentConstraint) { }
+    end
+
+    it "Sets meta object for metas" do
+      expect(@r.metas.size).to eq 1
+    end
+    it "Sets subtype meta" do
+      expect(@r.metas[:ParentConstraint].nil?).to eq false
+    end
+  end
+
+  describe "#subtype" do
+    before do
+      @r = TypeConstraints::Registry.new
+      @r.type(:ParentConstraint) { }
+      @r.subtype(:ChildConstraint, :ParentConstraint) { }
+    end
+
+    it "Sets meta object for metas" do
+      expect(@r.metas.size).to eq 2
+    end
+    it "Sets subtype meta" do
+      expect(@r.metas[:ChildConstraint].nil?).to eq false
+    end
+  end
+end

data/spec/type_constraints_spec.rb

@@ -0,0 +1,48 @@
+require 'spec_helper'
+
+describe TypeConstraints do
+
+  TypeConstraints.setup do
+    type :TypeName do
+      constraint -> v { v.kind_of?(Array) }
+    end
+    subtype :TypeName2, :TypeName do
+      constraint -> array {
+        array.all? do |v|
+          v.kind_of?(String)
+        end
+      }
+    end
+  end
+
+  describe "#setup" do
+    it "Created registry" do
+      expect(TypeConstraints.registry.class).to eq TypeConstraints::Registry
+    end
+
+    it "registry has TypeName meta" do
+      expect(TypeConstraints.registry.metas[:TypeName].nil?).to eq false
+      expect(TypeConstraints.registry.metas[:TypeName].constraint.class).to eq Proc
+    end
+  end
+
+  describe "#check?" do
+    it "return true if passed :TypeName and array" do
+      expect(TypeConstraints.check?(:TypeName, [100,101,102])).to eq true
+    end
+    it "return false if passed :TypeName and integer" do
+      expect(TypeConstraints.check?(:TypeName, 10000000000000)).to eq false
+    end
+
+    it "return true if passed :TypeName2 and Array[string]" do
+      expect(TypeConstraints.check?(:TypeName2, ["100", "200"])).to eq true
+    end
+    it "return false if passed :TypeName2 and Array[integer]" do
+      expect(TypeConstraints.check?(:TypeName2, [100, 200])).to eq false
+    end
+
+    it "return false if not exists meta" do
+      expect(TypeConstraints.check?(:Hoge, [100, 200])).to eq false
+    end
+  end
+end

data/type_constraints.gemspec

@@ -0,0 +1,24 @@
+# coding: utf-8
+lib = File.expand_path('../lib', __FILE__)
+$LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
+require 'type_constraints/version'
+
+Gem::Specification.new do |spec|
+  spec.name          = "type_constraints"
+  spec.version       = TypeConstraints::VERSION
+  spec.authors       = ["hisaichi5518"]
+  spec.email         = ["hisaichi5518@gmail.com"]
+  spec.summary       = %q{Type constraint system for Ruby}
+  spec.description   = %q{Type constraint system for Ruby}
+  spec.homepage      = "https://github.com/hisaichi5518/type_constraints"
+  spec.license       = "MIT"
+
+  spec.files         = `git ls-files -z`.split("\x0")
+  spec.executables   = spec.files.grep(%r{^bin/}) { |f| File.basename(f) }
+  spec.test_files    = spec.files.grep(%r{^(test|spec|features)/})
+  spec.require_paths = ["lib"]
+
+  spec.add_development_dependency "bundler", "~> 1.7"
+  spec.add_development_dependency "rake", "~> 10.0"
+  spec.add_development_dependency "rspec"
+end

metadata

@@ -0,0 +1,106 @@
+--- !ruby/object:Gem::Specification
+name: type_constraints
+version: !ruby/object:Gem::Version
+  version: 0.0.1
+platform: ruby
+authors:
+- hisaichi5518
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2014-12-16 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: bundler
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.7'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.7'
+- !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: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+description: Type constraint system for Ruby
+email:
+- hisaichi5518@gmail.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- ".gitignore"
+- ".rspec"
+- ".travis.yml"
+- Gemfile
+- LICENSE.txt
+- README.md
+- Rakefile
+- lib/type_constraints.rb
+- lib/type_constraints/meta.rb
+- lib/type_constraints/registry.rb
+- lib/type_constraints/version.rb
+- spec/spec_helper.rb
+- spec/type_constraints/meta_spec.rb
+- spec/type_constraints/registry_spec.rb
+- spec/type_constraints_spec.rb
+- type_constraints.gemspec
+homepage: https://github.com/hisaichi5518/type_constraints
+licenses:
+- MIT
+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.2.2
+signing_key: 
+specification_version: 4
+summary: Type constraint system for Ruby
+test_files:
+- spec/spec_helper.rb
+- spec/type_constraints/meta_spec.rb
+- spec/type_constraints/registry_spec.rb
+- spec/type_constraints_spec.rb