finitio 0.4.1 → 0.5.0

data/spec/{unit/type_factory → type_factory}/dsl/test_attributes.rb

@@ -9,7 +9,7 @@ module Finitio
       it{ should be_a(Array) }
 
       it 'should be the correct pair' do
-        subject.should eq([ Attribute.new(:a, intType), Attribute.new(:b, floatType) ])
+        expect(subject).to eq([ Attribute.new(:a, intType), Attribute.new(:b, floatType) ])
       end
     end
 

data/spec/{unit/type_factory → type_factory}/dsl/test_builtin.rb

@@ -9,7 +9,7 @@ module Finitio
       it{ should be_a(BuiltinType) }
 
       it 'should have the correct ruby type' do
-        subject.ruby_type.should be(Integer)
+        expect(subject.ruby_type).to be(Integer)
       end
     end
 
@@ -25,7 +25,7 @@ module Finitio
       it_should_behave_like "The Integer builtin type"
 
       it 'should have the correct name' do
-        subject.name.should eq("Integer")
+        expect(subject.name).to eq("Integer")
       end
     end
 
@@ -37,7 +37,7 @@ module Finitio
       it_should_behave_like "The Integer builtin type"
 
       it 'should have the correct name' do
-        subject.name.should eq("Int")
+        expect(subject.name).to eq("Int")
       end
     end
 

data/spec/type_factory/dsl/test_multi_relation.rb

@@ -0,0 +1,39 @@
+require 'spec_helper'
+module Finitio
+  describe TypeFactory, "DSL#multi_relation" do
+
+    let(:factory){ TypeFactory.new }
+
+    let(:heading){
+      Heading.new([
+        Attribute.new(:a, intType, false)
+      ])
+    }
+
+    shared_examples_for "The Relation[a :? Int] type" do
+
+      it{ should be_a(MultiRelationType) }
+
+      it 'should have the correct heading' do
+        expect(subject.heading).to eq(heading)
+      end
+    end
+
+    before do
+      subject
+    end
+
+    context 'when used with the standard signature' do
+      subject{
+        factory.multi_relation(heading, "MyRelation")
+      }
+
+      it_should_behave_like "The Relation[a :? Int] type"
+
+      it 'should have the correct name' do
+        expect(subject.name).to eq("MyRelation")
+      end
+    end
+
+  end
+end

data/spec/type_factory/dsl/test_multi_tuple.rb

@@ -0,0 +1,37 @@
+require 'spec_helper'
+module Finitio
+  describe TypeFactory, "DSL#multi_tuple" do
+
+    let(:factory){ TypeFactory.new }
+
+    let(:heading){
+      Heading.new([ Attribute.new(:a, intType, false) ])
+    }
+
+    shared_examples_for "The Tuple[a :? Int] type" do
+
+      it{ should be_a(MultiTupleType) }
+
+      it 'should have the correct heading' do
+        expect(subject.heading).to eq(heading)
+      end
+    end
+
+    before do
+      subject
+    end
+
+    context 'when used with the standard signature' do
+      subject{
+        factory.multi_tuple(heading, "MyTuple")
+      }
+
+      it_should_behave_like "The Tuple[a :? Int] type"
+
+      it 'should have the correct name' do
+        expect(subject.name).to eq("MyTuple")
+      end
+    end
+
+  end
+end

data/spec/{unit/type_factory → type_factory}/dsl/test_relation.rb

@@ -13,7 +13,7 @@ module Finitio
       it{ should be_a(RelationType) }
 
       it 'should have the correct heading' do
-        subject.heading.should eq(heading)
+        expect(subject.heading).to eq(heading)
       end
     end
 
@@ -29,7 +29,7 @@ module Finitio
       it_should_behave_like "The Relation[a: Int] type"
 
       it 'should have the correct name' do
-        subject.name.should eq("MyRelation")
+        expect(subject.name).to eq("MyRelation")
       end
     end
 
@@ -41,7 +41,7 @@ module Finitio
       it_should_behave_like "The Relation[a: Int] type"
 
       it 'should have the correct name' do
-        subject.name.should eq("MyRelation")
+        expect(subject.name).to eq("MyRelation")
       end
     end
 
@@ -53,7 +53,7 @@ module Finitio
       it_should_behave_like "The Relation[a: Int] type"
 
       it 'should have the correct name' do
-        subject.name.should eq("{{a: Integer}}")
+        expect(subject.name).to eq("{{a: Integer}}")
       end
     end
 
@@ -65,7 +65,7 @@ module Finitio
       it_should_behave_like "The Relation[a: Int] type"
 
       it 'should have the correct name' do
-        subject.name.should eq("MyRelation")
+        expect(subject.name).to eq("MyRelation")
       end
     end
 
@@ -77,7 +77,7 @@ module Finitio
       it_should_behave_like "The Relation[a: Int] type"
 
       it 'should have the correct name' do
-        subject.name.should eq("{{a: intType}}")
+        expect(subject.name).to eq("{{a: intType}}")
       end
     end
 

data/spec/{unit/type_factory → type_factory}/dsl/test_seq.rb

@@ -9,7 +9,7 @@ module Finitio
       it{ should be_a(SeqType) }
 
       it 'should have the correct element type' do
-        subject.elm_type.should eq(intType)
+        expect(subject.elm_type).to eq(intType)
       end
     end
 
@@ -25,7 +25,7 @@ module Finitio
       it_should_behave_like "The Seq[Int] type"
 
       it 'should have the correct name' do
-        subject.name.should eq("[Integer]")
+        expect(subject.name).to eq("[Integer]")
       end
     end
 
@@ -37,7 +37,7 @@ module Finitio
       it_should_behave_like "The Seq[Int] type"
 
       it 'should have the correct name' do
-        subject.name.should eq("[intType]")
+        expect(subject.name).to eq("[intType]")
       end
     end
 
@@ -49,7 +49,7 @@ module Finitio
       it_should_behave_like "The Seq[Int] type"
 
       it 'should have the correct name' do
-        subject.name.should eq("MySeq")
+        expect(subject.name).to eq("MySeq")
       end
     end
 

data/spec/{unit/type_factory → type_factory}/dsl/test_set.rb

@@ -9,7 +9,7 @@ module Finitio
       it{ should be_a(SetType) }
 
       it 'should have the correct element type' do
-        subject.elm_type.should eq(intType)
+        expect(subject.elm_type).to eq(intType)
       end
     end
 
@@ -25,7 +25,7 @@ module Finitio
       it_should_behave_like "The Set[Int] type"
 
       it 'should have the correct name' do
-        subject.name.should eq("{Integer}")
+        expect(subject.name).to eq("{Integer}")
       end
     end
 
@@ -37,7 +37,7 @@ module Finitio
       it_should_behave_like "The Set[Int] type"
 
       it 'should have the correct name' do
-        subject.name.should eq("{intType}")
+        expect(subject.name).to eq("{intType}")
       end
     end
 
@@ -49,7 +49,7 @@ module Finitio
       it_should_behave_like "The Set[Int] type"
 
       it 'should have the correct name' do
-        subject.name.should eq("MySet")
+        expect(subject.name).to eq("MySet")
       end
     end
 

data/spec/type_factory/dsl/test_struct.rb

@@ -0,0 +1,45 @@
+require 'spec_helper'
+module Finitio
+  describe TypeFactory, "DSL#struct" do
+
+    let(:factory){ TypeFactory.new }
+
+    shared_examples_for "The <Int, Float> type" do
+
+      it{ should be_a(StructType) }
+
+      it 'should have the correct components' do
+        expect(subject.component_types).to eq([intType, floatType])
+      end
+    end
+
+    before do
+      subject
+    end
+
+    context 'when used with the standard signature' do
+      subject{
+        factory.struct([intType, floatType], "MyTuple")
+      }
+
+      it_should_behave_like "The <Int, Float> type"
+
+      it 'should have the correct name' do
+        expect(subject.name).to eq("MyTuple")
+      end
+    end
+
+    context 'when used with an array of ruby classes' do
+      subject{
+        factory.struct([Integer, Float])
+      }
+
+      it_should_behave_like "The <Int, Float> type"
+
+      it 'should have the correct name' do
+        expect(subject.name).to eq("<Integer, Float>")
+      end
+    end
+
+  end
+end

data/spec/{unit/type_factory → type_factory}/dsl/test_subtype.rb

@@ -13,14 +13,14 @@ module Finitio
       it{ should be_a(SubType) }
 
       it 'should have the BuiltinType(Integer) super type' do
-        subject.super_type.should be_a(BuiltinType)
-        subject.super_type.ruby_type.should be(Integer)
+        expect(subject.super_type).to be_a(BuiltinType)
+        expect(subject.super_type.ruby_type).to be(Integer)
       end
 
       it 'should have the correct constraint' do
-        ->{
+        expect{
           subject.dress(-12)
-        }.should raise_error(TypeError)
+        }.to raise_error(TypeError)
       end
     end
 
@@ -29,12 +29,14 @@ module Finitio
       it{ should be_a(SubType) }
 
       it 'should have the BuiltinType(Integer) super type' do
-        subject.super_type.should be_a(BuiltinType)
-        subject.super_type.ruby_type.should be(Integer)
+        expect(subject.super_type).to be_a(BuiltinType)
+        expect(subject.super_type.ruby_type).to be(Integer)
       end
 
       it 'should have the correct constraints' do
-        subject.constraints.should eq(constraints)
+        subject.constraints.each do |c|
+          expect(c).to be_a(Constraint)
+        end
       end
     end
 
@@ -83,7 +85,7 @@ module Finitio
       it_should_behave_like "The SmallInt structural type"
 
       it 'should have the correct name' do
-        subject.name.should eq("SmallInt")
+        expect(subject.name).to eq("SmallInt")
       end
     end
 

data/spec/{unit/type_factory → type_factory}/dsl/test_tuple.rb

@@ -13,7 +13,7 @@ module Finitio
       it{ should be_a(TupleType) }
 
       it 'should have the correct heading' do
-        subject.heading.should eq(heading)
+        expect(subject.heading).to eq(heading)
       end
     end
 
@@ -29,7 +29,7 @@ module Finitio
       it_should_behave_like "The Tuple[a: Int] type"
 
       it 'should have the correct name' do
-        subject.name.should eq("MyTuple")
+        expect(subject.name).to eq("MyTuple")
       end
     end
 
@@ -41,7 +41,7 @@ module Finitio
       it_should_behave_like "The Tuple[a: Int] type"
 
       it 'should have the correct name' do
-        subject.name.should eq("{a: Integer}")
+        expect(subject.name).to eq("{a: Integer}")
       end
     end
 
@@ -53,7 +53,7 @@ module Finitio
       it_should_behave_like "The Tuple[a: Int] type"
 
       it 'should have the correct name' do
-        subject.name.should eq("MyTuple")
+        expect(subject.name).to eq("MyTuple")
       end
     end
 
@@ -65,7 +65,7 @@ module Finitio
       it_should_behave_like "The Tuple[a: Int] type"
 
       it 'should have the correct name' do
-        subject.name.should eq("{a: intType}")
+        expect(subject.name).to eq("{a: intType}")
       end
     end
 

data/spec/{unit/type_factory → type_factory}/dsl/test_union.rb

@@ -9,7 +9,7 @@ module Finitio
       it{ should be_a(UnionType) }
 
       it 'should have the correct candidates' do
-        subject.candidates.should eq([intType, floatType])
+        expect(subject.candidates).to eq([intType, floatType])
       end
     end
 
@@ -25,7 +25,7 @@ module Finitio
       it_should_behave_like "The Int|Float union type"
 
       it 'should have the correct name' do
-        subject.name.should eq("MyUnion")
+        expect(subject.name).to eq("MyUnion")
       end
     end
 
@@ -37,7 +37,7 @@ module Finitio
       it_should_behave_like "The Int|Float union type"
 
       it 'should have the correct name' do
-        subject.name.should eq("Integer|Float")
+        expect(subject.name).to eq("Integer|Float")
       end
     end
 
@@ -49,7 +49,7 @@ module Finitio
       it_should_behave_like "The Int|Float union type"
 
       it 'should have the correct name' do
-        subject.name.should eq("Integer|Float")
+        expect(subject.name).to eq("Integer|Float")
       end
     end
 
@@ -61,7 +61,7 @@ module Finitio
       it_should_behave_like "The Int|Float union type"
 
       it 'should have the correct name' do
-        subject.name.should eq("intType|floatType")
+        expect(subject.name).to eq("intType|floatType")
       end
     end
 
@@ -73,7 +73,7 @@ module Finitio
       it_should_behave_like "The Int|Float union type"
 
       it 'should have the correct name' do
-        subject.name.should eq("Integer|floatType")
+        expect(subject.name).to eq("Integer|floatType")
       end
     end
 

data/spec/{unit/type_factory → type_factory}/factory/test_builtin.rb

@@ -16,7 +16,7 @@ module Finitio
       it{ should eq(intType) }
 
       it 'should have the correct name' do
-        subject.name.should eq("Int")
+        expect(subject.name).to eq("Int")
       end
     end
 

data/spec/{unit/type_factory → type_factory}/factory/test_seq_type.rb

@@ -19,7 +19,7 @@ module Finitio
         it{ should eq(expected) }
 
         it 'should have the correct name' do
-          subject.name.should eq("MySeq")
+          expect(subject.name).to eq("MySeq")
         end
       end
     end
@@ -36,7 +36,7 @@ module Finitio
       it{ should eq(expected) }
 
       it 'should have the correct name' do
-        subject.name.should eq("MySeq")
+        expect(subject.name).to eq("MySeq")
       end
     end