qrb 0.1.0

data/spec/unit/type_factory/factory/test_set_type.rb

@@ -0,0 +1,44 @@
+require 'spec_helper'
+module Qrb
+  describe TypeFactory, "Factory#set" do
+
+    let(:factory){ TypeFactory.new }
+
+    context 'for set of scalars' do
+      let(:expected){ SetType.new(intType) }
+
+      context 'when used with {Class}' do
+        subject{ factory.type([Integer].to_set) }
+
+        it{ should eq(expected) }
+      end
+
+      context 'when used with [Class] and a name' do
+        subject{ factory.type([Integer].to_set, "MySet") }
+
+        it{ should eq(expected) }
+
+        it 'should have the correct name' do
+          subject.name.should eq("MySet")
+        end
+      end
+    end
+
+    context 'for pseudo-relations' do
+      subject{
+        factory.type([{r: Integer}].to_set, "MySet")
+      }
+
+      let(:expected){
+        factory.relation(r: Integer)
+      }
+
+      it{ should eq(expected) }
+
+      it 'should have the correct name' do
+        subject.name.should eq("MySet")
+      end
+    end
+
+  end
+end

data/spec/unit/type_factory/factory/test_sub_type.rb

@@ -0,0 +1,53 @@
+require 'spec_helper'
+module Qrb
+  describe TypeFactory, "Factory#sub_type" do
+
+    let(:factory){ TypeFactory.new }
+
+    shared_examples_for "The 1..10 type" do
+
+      it{ should be_a(SubType) }
+
+      it 'should have the BuiltinType(Fixnum) super type' do
+        subject.super_type.should be_a(BuiltinType)
+        subject.super_type.ruby_type.should be(Fixnum)
+      end
+
+      it 'should have the correct constraint' do
+        subject.dress(10).should eq(10)
+        ->{ subject.dress(-12) }.should raise_error(TypeError)
+        ->{ subject.dress(12) }.should raise_error(TypeError)
+      end
+    end
+
+    context 'when use with a ruby class and a block' do
+      subject{
+        factory.type(Fixnum){|i| i>=0 and i<=10 }
+      }
+
+      it_should_behave_like "The 1..10 type"
+    end
+
+    context 'when use with a a range' do
+      subject{
+        factory.type(1..10)
+      }
+
+      it_should_behave_like "The 1..10 type"
+    end
+
+    context 'when use with a regexp' do
+      subject{
+        factory.type(/[a-z]+/)
+      }
+
+      it { should be_a(SubType) }
+
+      it 'should have the correct constraint' do
+        subject.dress('abc').should eq('abc')
+        ->{ subject.dress('123') }.should raise_error(TypeError)
+      end
+    end
+
+  end
+end

data/spec/unit/type_factory/factory/test_tuple_type.rb

@@ -0,0 +1,43 @@
+require 'spec_helper'
+module Qrb
+  describe TypeFactory, "Factory#tuple" do
+
+    let(:factory){ TypeFactory.new }
+
+    let(:expected){ factory.tuple(r: Integer) }
+
+    context 'when use with {r: Integer}' do
+      subject{ factory.type(r: Integer) }
+
+      it{ should eq(expected) }
+    end
+
+    context 'when use with {r: Integer} and a name' do
+      subject{ factory.type({r: Integer}, "MyTuple") }
+
+      it{ should eq(expected) }
+
+      it 'should have the correct name' do
+        subject.name.should eq("MyTuple")
+      end
+    end
+
+    context 'when use with {r: 0..255} and a name' do
+      subject{ factory.type({r: 0..255}, "MyTuple") }
+
+      it{ should be_a(TupleType) }
+
+      it 'should have the correct constraint on r' do
+        subject.dress(r: 36)
+        ->{
+          subject.dress(r: 543)
+        }.should raise_error(TypeError)
+      end
+
+      it 'should have the correct name' do
+        subject.name.should eq("MyTuple")
+      end
+    end
+
+  end
+end

data/tasks/gem.rake

@@ -0,0 +1,73 @@
+# Installs rake tasks for gemming and packaging
+#
+# This file installs the 'rake package', 'rake gem' tasks and associates
+# (clobber_package, repackage, ...). It is automatically generated by Noe
+# from your .noespec file, and should therefore be configured there, under
+# the variables/rake_tasks/gem entry, as illustrated below:
+#
+# variables:
+#   rake_tasks:
+#     gem:
+#       package_dir: pkg
+#       need_tar: false
+#       need_tar_gz: false
+#       need_tar_bz2: false
+#       need_zip: false
+#       ...
+#
+# If you have specific needs requiring manual intervention on this file,
+# don't forget to set safe-override to false in your noe specification:
+#
+# template-info:
+#   manifest:
+#     tasks/gem.rake:
+#       safe-override: false
+#
+begin
+  require 'rubygems/package_task'
+
+  # Dynamically load the gem spec
+  gemspec_file = File.expand_path('../../qrb.gemspec', __FILE__)
+  gemspec      = Kernel.eval(File.read(gemspec_file))
+
+  Gem::PackageTask.new(gemspec) do |t|
+
+    # Name of the package
+    t.name = gemspec.name
+
+    # Version of the package
+    t.version = gemspec.version
+
+    # Directory used to store the package files
+    t.package_dir = "pkg"
+
+    # True if a gzipped tar file (tgz) should be produced
+    t.need_tar = false
+
+    # True if a gzipped tar file (tar.gz) should be produced
+    t.need_tar_gz = false
+
+    # True if a bzip2'd tar file (tar.bz2) should be produced
+    t.need_tar_bz2 = false
+
+    # True if a zip file should be produced (default is false)
+    t.need_zip = false
+
+    # List of files to be included in the package.
+    t.package_files = gemspec.files
+
+    # Tar command for gzipped or bzip2ed archives.
+    t.tar_command = "tar"
+
+    # Zip command for zipped archives.
+    t.zip_command = "zip"
+
+  end
+rescue LoadError
+  task :gem do
+    abort 'rubygems/package_task is not available. You should verify your rubygems installation'
+  end
+  task :package do
+    abort 'rubygems/package_task is not available. You should verify your rubygems installation'
+  end
+end

data/tasks/test.rake

@@ -0,0 +1,31 @@
+namespace :test do
+
+  begin
+    require "rspec/core/rake_task"
+    desc "Run RSpec code examples"
+    RSpec::Core::RakeTask.new(:unit) do |t|
+      t.pattern = "spec/**/test_*.rb"
+      t.rspec_opts = ["--color", "--backtrace"]
+    end
+  rescue LoadError => ex
+    task :unit do
+      abort 'rspec is not available.'
+    end
+  end
+
+  begin
+    require 'cucumber'
+    require 'cucumber/rake/task'
+
+    Cucumber::Rake::Task.new(:cucumber) do |t|
+      t.cucumber_opts = "features --format pretty"
+    end
+  rescue LoadError => ex
+    task :unit do
+      abort 'cucumber is not available.'
+    end
+  end
+
+  task :all => [ :unit, :cucumber ]
+end
+task :test => :'test:all'

metadata

@@ -0,0 +1,344 @@
+--- !ruby/object:Gem::Specification
+name: qrb
+version: !ruby/object:Gem::Version
+  version: 0.1.0
+  prerelease: 
+platform: ruby
+authors:
+- Bernard Lambeau
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2014-03-03 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: rake
+  requirement: !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: '10.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: '10.0'
+- !ruby/object:Gem::Dependency
+  name: rspec
+  requirement: !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: '2.14'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: '2.14'
+description: Implements the Q information language in Ruby.
+email:
+- blambeau@gmail.com
+executables: []
+extensions: []
+extra_rdoc_files:
+- README.md
+- CHANGELOG.md
+- LICENCE.md
+files:
+- CHANGELOG.md
+- Gemfile
+- Gemfile.lock
+- lib/qrb/data_type.rb
+- lib/qrb/errors.rb
+- lib/qrb/Q/default.q
+- lib/qrb/support/attribute.rb
+- lib/qrb/support/collection_type.rb
+- lib/qrb/support/dress_helper.rb
+- lib/qrb/support/heading.rb
+- lib/qrb/support/type_factory.rb
+- lib/qrb/support.rb
+- lib/qrb/syntax/ad_type.rb
+- lib/qrb/syntax/attribute.rb
+- lib/qrb/syntax/builtin_type.rb
+- lib/qrb/syntax/constraint_def.rb
+- lib/qrb/syntax/constraints.rb
+- lib/qrb/syntax/contract.rb
+- lib/qrb/syntax/definitions.rb
+- lib/qrb/syntax/expression.rb
+- lib/qrb/syntax/heading.rb
+- lib/qrb/syntax/lambda_expr.rb
+- lib/qrb/syntax/named_constraint.rb
+- lib/qrb/syntax/q.citrus
+- lib/qrb/syntax/relation_type.rb
+- lib/qrb/syntax/seq_type.rb
+- lib/qrb/syntax/set_type.rb
+- lib/qrb/syntax/sub_type.rb
+- lib/qrb/syntax/support.rb
+- lib/qrb/syntax/system.rb
+- lib/qrb/syntax/tuple_type.rb
+- lib/qrb/syntax/type_def.rb
+- lib/qrb/syntax/type_ref.rb
+- lib/qrb/syntax/union_type.rb
+- lib/qrb/syntax/unnamed_constraint.rb
+- lib/qrb/syntax.rb
+- lib/qrb/system.rb
+- lib/qrb/type/ad_type.rb
+- lib/qrb/type/builtin_type.rb
+- lib/qrb/type/relation_type.rb
+- lib/qrb/type/seq_type.rb
+- lib/qrb/type/set_type.rb
+- lib/qrb/type/sub_type.rb
+- lib/qrb/type/tuple_type.rb
+- lib/qrb/type/union_type.rb
+- lib/qrb/type.rb
+- lib/qrb/version.rb
+- lib/qrb.rb
+- LICENCE.md
+- Manifest.txt
+- qrb.gemspec
+- Rakefile
+- README.md
+- spec/acceptance/ad_type/test_in_q.rb
+- spec/acceptance/ad_type/test_in_ruby.rb
+- spec/acceptance/Q/test_default.rb
+- spec/acceptance/Q/test_parsing.rb
+- spec/spec_helper.rb
+- spec/unit/attribute/test_equality.rb
+- spec/unit/attribute/test_fetch_on.rb
+- spec/unit/attribute/test_initialize.rb
+- spec/unit/attribute/test_to_name.rb
+- spec/unit/heading/test_each.rb
+- spec/unit/heading/test_equality.rb
+- spec/unit/heading/test_initialize.rb
+- spec/unit/heading/test_size.rb
+- spec/unit/heading/test_to_name.rb
+- spec/unit/qrb/test_parse.rb
+- spec/unit/syntax/nodes/test_ad_type.rb
+- spec/unit/syntax/nodes/test_attribute.rb
+- spec/unit/syntax/nodes/test_builtin_type.rb
+- spec/unit/syntax/nodes/test_comment.rb
+- spec/unit/syntax/nodes/test_constraint_def.rb
+- spec/unit/syntax/nodes/test_constraints.rb
+- spec/unit/syntax/nodes/test_contract.rb
+- spec/unit/syntax/nodes/test_expression.rb
+- spec/unit/syntax/nodes/test_heading.rb
+- spec/unit/syntax/nodes/test_named_constraint.rb
+- spec/unit/syntax/nodes/test_relation_type.rb
+- spec/unit/syntax/nodes/test_seq_type.rb
+- spec/unit/syntax/nodes/test_set_type.rb
+- spec/unit/syntax/nodes/test_spacing.rb
+- spec/unit/syntax/nodes/test_sub_type.rb
+- spec/unit/syntax/nodes/test_tuple_type.rb
+- spec/unit/syntax/nodes/test_union_type.rb
+- spec/unit/syntax/nodes/test_unnamed_constraint.rb
+- spec/unit/syntax/test_compile_type.rb
+- spec/unit/system/test_add_type.rb
+- spec/unit/system/test_dsl.rb
+- spec/unit/system/test_dup.rb
+- spec/unit/system/test_fetch.rb
+- spec/unit/system/test_get_type.rb
+- spec/unit/system/test_initialize.rb
+- spec/unit/test_qrb.rb
+- spec/unit/type/ad_type/test_default_name.rb
+- spec/unit/type/ad_type/test_dress.rb
+- spec/unit/type/ad_type/test_include.rb
+- spec/unit/type/ad_type/test_initialize.rb
+- spec/unit/type/ad_type/test_name.rb
+- spec/unit/type/builtin_type/test_default_name.rb
+- spec/unit/type/builtin_type/test_dress.rb
+- spec/unit/type/builtin_type/test_equality.rb
+- spec/unit/type/builtin_type/test_include.rb
+- spec/unit/type/builtin_type/test_initialize.rb
+- spec/unit/type/builtin_type/test_name.rb
+- spec/unit/type/relation_type/test_default_name.rb
+- spec/unit/type/relation_type/test_dress.rb
+- spec/unit/type/relation_type/test_equality.rb
+- spec/unit/type/relation_type/test_include.rb
+- spec/unit/type/relation_type/test_initialize.rb
+- spec/unit/type/relation_type/test_name.rb
+- spec/unit/type/seq_type/test_default_name.rb
+- spec/unit/type/seq_type/test_dress.rb
+- spec/unit/type/seq_type/test_equality.rb
+- spec/unit/type/seq_type/test_include.rb
+- spec/unit/type/seq_type/test_initialize.rb
+- spec/unit/type/seq_type/test_name.rb
+- spec/unit/type/set_type/test_default_name.rb
+- spec/unit/type/set_type/test_dress.rb
+- spec/unit/type/set_type/test_equality.rb
+- spec/unit/type/set_type/test_include.rb
+- spec/unit/type/set_type/test_initialize.rb
+- spec/unit/type/set_type/test_name.rb
+- spec/unit/type/sub_type/test_default_name.rb
+- spec/unit/type/sub_type/test_dress.rb
+- spec/unit/type/sub_type/test_equality.rb
+- spec/unit/type/sub_type/test_include.rb
+- spec/unit/type/sub_type/test_initialize.rb
+- spec/unit/type/sub_type/test_name.rb
+- spec/unit/type/tuple_type/test_default_name.rb
+- spec/unit/type/tuple_type/test_dress.rb
+- spec/unit/type/tuple_type/test_equality.rb
+- spec/unit/type/tuple_type/test_include.rb
+- spec/unit/type/tuple_type/test_initialize.rb
+- spec/unit/type/tuple_type/test_name.rb
+- spec/unit/type/union_type/test_default_name.rb
+- spec/unit/type/union_type/test_dress.rb
+- spec/unit/type/union_type/test_equality.rb
+- spec/unit/type/union_type/test_include.rb
+- spec/unit/type/union_type/test_initialize.rb
+- spec/unit/type/union_type/test_name.rb
+- spec/unit/type_factory/dsl/test_adt.rb
+- spec/unit/type_factory/dsl/test_attribute.rb
+- spec/unit/type_factory/dsl/test_attributes.rb
+- spec/unit/type_factory/dsl/test_builtin.rb
+- spec/unit/type_factory/dsl/test_relation.rb
+- spec/unit/type_factory/dsl/test_seq.rb
+- spec/unit/type_factory/dsl/test_set.rb
+- spec/unit/type_factory/dsl/test_subtype.rb
+- spec/unit/type_factory/dsl/test_tuple.rb
+- spec/unit/type_factory/dsl/test_union.rb
+- spec/unit/type_factory/factory/test_builtin.rb
+- spec/unit/type_factory/factory/test_seq_type.rb
+- spec/unit/type_factory/factory/test_set_type.rb
+- spec/unit/type_factory/factory/test_sub_type.rb
+- spec/unit/type_factory/factory/test_tuple_type.rb
+- tasks/gem.rake
+- tasks/test.rake
+homepage: https://github.com/blambeau/qrb
+licenses: []
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  none: false
+  requirements:
+  - - ! '>='
+    - !ruby/object:Gem::Version
+      version: '0'
+      segments:
+      - 0
+      hash: 1288789255252686776
+required_rubygems_version: !ruby/object:Gem::Requirement
+  none: false
+  requirements:
+  - - ! '>='
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 1.8.25
+signing_key: 
+specification_version: 3
+summary: Q - in Ruby
+test_files:
+- spec/acceptance/ad_type/test_in_q.rb
+- spec/acceptance/ad_type/test_in_ruby.rb
+- spec/acceptance/Q/test_default.rb
+- spec/acceptance/Q/test_parsing.rb
+- spec/spec_helper.rb
+- spec/unit/attribute/test_equality.rb
+- spec/unit/attribute/test_fetch_on.rb
+- spec/unit/attribute/test_initialize.rb
+- spec/unit/attribute/test_to_name.rb
+- spec/unit/heading/test_each.rb
+- spec/unit/heading/test_equality.rb
+- spec/unit/heading/test_initialize.rb
+- spec/unit/heading/test_size.rb
+- spec/unit/heading/test_to_name.rb
+- spec/unit/qrb/test_parse.rb
+- spec/unit/syntax/nodes/test_ad_type.rb
+- spec/unit/syntax/nodes/test_attribute.rb
+- spec/unit/syntax/nodes/test_builtin_type.rb
+- spec/unit/syntax/nodes/test_comment.rb
+- spec/unit/syntax/nodes/test_constraint_def.rb
+- spec/unit/syntax/nodes/test_constraints.rb
+- spec/unit/syntax/nodes/test_contract.rb
+- spec/unit/syntax/nodes/test_expression.rb
+- spec/unit/syntax/nodes/test_heading.rb
+- spec/unit/syntax/nodes/test_named_constraint.rb
+- spec/unit/syntax/nodes/test_relation_type.rb
+- spec/unit/syntax/nodes/test_seq_type.rb
+- spec/unit/syntax/nodes/test_set_type.rb
+- spec/unit/syntax/nodes/test_spacing.rb
+- spec/unit/syntax/nodes/test_sub_type.rb
+- spec/unit/syntax/nodes/test_tuple_type.rb
+- spec/unit/syntax/nodes/test_union_type.rb
+- spec/unit/syntax/nodes/test_unnamed_constraint.rb
+- spec/unit/syntax/test_compile_type.rb
+- spec/unit/system/test_add_type.rb
+- spec/unit/system/test_dsl.rb
+- spec/unit/system/test_dup.rb
+- spec/unit/system/test_fetch.rb
+- spec/unit/system/test_get_type.rb
+- spec/unit/system/test_initialize.rb
+- spec/unit/test_qrb.rb
+- spec/unit/type/ad_type/test_default_name.rb
+- spec/unit/type/ad_type/test_dress.rb
+- spec/unit/type/ad_type/test_include.rb
+- spec/unit/type/ad_type/test_initialize.rb
+- spec/unit/type/ad_type/test_name.rb
+- spec/unit/type/builtin_type/test_default_name.rb
+- spec/unit/type/builtin_type/test_dress.rb
+- spec/unit/type/builtin_type/test_equality.rb
+- spec/unit/type/builtin_type/test_include.rb
+- spec/unit/type/builtin_type/test_initialize.rb
+- spec/unit/type/builtin_type/test_name.rb
+- spec/unit/type/relation_type/test_default_name.rb
+- spec/unit/type/relation_type/test_dress.rb
+- spec/unit/type/relation_type/test_equality.rb
+- spec/unit/type/relation_type/test_include.rb
+- spec/unit/type/relation_type/test_initialize.rb
+- spec/unit/type/relation_type/test_name.rb
+- spec/unit/type/seq_type/test_default_name.rb
+- spec/unit/type/seq_type/test_dress.rb
+- spec/unit/type/seq_type/test_equality.rb
+- spec/unit/type/seq_type/test_include.rb
+- spec/unit/type/seq_type/test_initialize.rb
+- spec/unit/type/seq_type/test_name.rb
+- spec/unit/type/set_type/test_default_name.rb
+- spec/unit/type/set_type/test_dress.rb
+- spec/unit/type/set_type/test_equality.rb
+- spec/unit/type/set_type/test_include.rb
+- spec/unit/type/set_type/test_initialize.rb
+- spec/unit/type/set_type/test_name.rb
+- spec/unit/type/sub_type/test_default_name.rb
+- spec/unit/type/sub_type/test_dress.rb
+- spec/unit/type/sub_type/test_equality.rb
+- spec/unit/type/sub_type/test_include.rb
+- spec/unit/type/sub_type/test_initialize.rb
+- spec/unit/type/sub_type/test_name.rb
+- spec/unit/type/tuple_type/test_default_name.rb
+- spec/unit/type/tuple_type/test_dress.rb
+- spec/unit/type/tuple_type/test_equality.rb
+- spec/unit/type/tuple_type/test_include.rb
+- spec/unit/type/tuple_type/test_initialize.rb
+- spec/unit/type/tuple_type/test_name.rb
+- spec/unit/type/union_type/test_default_name.rb
+- spec/unit/type/union_type/test_dress.rb
+- spec/unit/type/union_type/test_equality.rb
+- spec/unit/type/union_type/test_include.rb
+- spec/unit/type/union_type/test_initialize.rb
+- spec/unit/type/union_type/test_name.rb
+- spec/unit/type_factory/dsl/test_adt.rb
+- spec/unit/type_factory/dsl/test_attribute.rb
+- spec/unit/type_factory/dsl/test_attributes.rb
+- spec/unit/type_factory/dsl/test_builtin.rb
+- spec/unit/type_factory/dsl/test_relation.rb
+- spec/unit/type_factory/dsl/test_seq.rb
+- spec/unit/type_factory/dsl/test_set.rb
+- spec/unit/type_factory/dsl/test_subtype.rb
+- spec/unit/type_factory/dsl/test_tuple.rb
+- spec/unit/type_factory/dsl/test_union.rb
+- spec/unit/type_factory/factory/test_builtin.rb
+- spec/unit/type_factory/factory/test_seq_type.rb
+- spec/unit/type_factory/factory/test_set_type.rb
+- spec/unit/type_factory/factory/test_sub_type.rb
+- spec/unit/type_factory/factory/test_tuple_type.rb