finitio 0.4.1 → 0.5.0

data/lib/finitio/data_type.rb

@@ -1,29 +0,0 @@
-module Finitio
-  module DataType
-
-    def dress(value, handler = DressHelper.new)
-      ad_type.dress(value, handler)
-    end
-
-    def contract(name, infotype)
-      dresser   = method(name)
-      undresser = instance_method(:"to_#{name}")
-      ad_contracts[name] = [
-        Finitio.type(infotype),
-        dresser,
-        ->(d){ undresser.bind(d).call }
-      ]
-    end
-
-  private
-
-    def ad_type
-      @ad_type ||= Finitio.adt(self, ad_contracts)
-    end
-
-    def ad_contracts
-      @ad_contracts ||= {}
-    end
-
-  end # module DataType
-end # module Finitio

data/lib/finitio/syntax/ad_type.rb

@@ -1,32 +0,0 @@
-module Finitio
-  module Syntax
-    module AdType
-      include Support
-
-      def compile(factory)
-        name  = builtin_type_name
-        clazz = name ? resolve_ruby_const(name.to_s) : nil
-        factory.adt(clazz, compile_contracts(factory, clazz))
-      end
-
-      def compile_contracts(factory, clazz)
-        contracts = {}
-        captures[:contract].each do |node|
-          contract = node.compile(factory, clazz)
-          contracts.merge!(contract) do |k,_,_|
-            raise Error, "Duplicate contract name `#{k}`"
-          end
-        end
-        contracts
-      end
-
-      def to_ast
-        [ 
-          :ad_type,
-          builtin_type_name ? builtin_type_name.to_s : nil
-        ] + captures[:contract].map(&:to_ast)
-      end
-
-    end # module AdType
-  end # module Syntax
-end # module Finitio

data/lib/finitio/syntax/attribute.rb

@@ -1,15 +0,0 @@
-module Finitio
-  module Syntax
-    module Attribute
-
-      def compile(factory)
-        factory.attribute(attribute_name.to_sym, type.compile(factory))
-      end
-
-      def to_ast
-        [:attribute, attribute_name.to_s, type.to_ast]
-      end
-
-    end # module BuiltinType
-  end # module Syntax
-end # module Finitio

data/lib/finitio/syntax/constraints.rb

@@ -1,22 +0,0 @@
-module Finitio
-  module Syntax
-    module Constraints
-
-      def compile(var_name)
-        constraints = {}
-        captures[:named_constraint].each do |node|
-          compiled = node.compile(var_name)
-          constraints.merge!(compiled) do |k,_,_|
-            raise Error, "Duplicate constraint name `#{k}`"
-          end
-        end
-        constraints
-      end
-
-      def to_ast(var_name)
-        captures[:named_constraint].map{|c| c.to_ast(var_name) }
-      end
-
-    end # module Constraints
-  end # module Syntax
-end # module Finitio

data/lib/finitio/syntax/heading.rb

@@ -1,19 +0,0 @@
-module Finitio
-  module Syntax
-    module Heading
-
-      def attributes(factory)
-        captures[:attribute].map{|x| x.compile(factory) }
-      end
-
-      def compile(factory)
-        Finitio::Heading.new(attributes(factory))
-      end
-
-      def to_ast
-        captures[:attribute].map(&:to_ast).unshift(:heading)
-      end
-
-    end # module Heading
-  end # module Syntax
-end # module Finitio

data/lib/finitio/syntax/relation_type.rb

@@ -1,15 +0,0 @@
-module Finitio
-  module Syntax
-    module RelationType
-
-      def compile(factory)
-        factory.relation(heading.compile(factory))
-      end
-
-      def to_ast
-        [:relation_type, heading.to_ast]
-      end
-
-    end # module RelationType
-  end # module Syntax
-end # module Finitio

data/lib/finitio/syntax/support.rb

@@ -1,13 +0,0 @@
-module Finitio
-  module Syntax
-    module Support
-
-      def resolve_ruby_const(name)
-        name.split('::').inject(::Kernel){|mod,const|
-          mod.const_get(const)
-        }
-      end
-
-    end # module Support
-  end # module Syntax
-end # module Finitio

data/lib/finitio/syntax/tuple_type.rb

@@ -1,15 +0,0 @@
-module Finitio
-  module Syntax
-    module TupleType
-
-      def compile(factory)
-        factory.tuple(heading.compile(factory))
-      end
-
-      def to_ast
-        [:tuple_type, heading.to_ast]
-      end
-
-    end # module TupleType
-  end # module Syntax
-end # module Finitio

data/spec/acceptance/Finitio/test_default.rb

@@ -1,96 +0,0 @@
-require 'spec_helper'
-module Finitio
-  describe "Finitio/default" do
-
-    let(:system){ Finitio.system('Finitio/default') }
-
-    describe 'Boolean' do
-      let(:type){ system['Boolean'] }
-
-      it 'recognizes true' do
-        type.dress(true).should eq(true)
-      end
-
-      it 'recognizes false' do
-        type.dress(false).should eq(false)
-      end
-
-      it 'raises on something else' do
-        ->{ type.dress("foo") }.should raise_error(TypeError)
-      end
-    end
-
-    describe 'Date' do
-      let(:type){ system['Date'] }
-
-      let(:expected){ Date.new(2014, 11, 9) }
-
-      it 'recognizes dates' do
-        type.dress(expected).should be(expected)
-      end
-
-      it 'recognizes iso8601 dates' do
-        type.dress('2014-11-09').should eq(expected)
-      end
-
-      it 'recognizes the output of iso8601' do
-        type.dress(expected.iso8601).should eq(expected)
-      end
-
-      it 'raises on something else' do
-        ->{
-          type.dress('foo')
-        }.should raise_error("Invalid value `foo` for Date")
-      end
-    end
-
-    describe 'Time' do
-      let(:type){ system['Time'] }
-
-      let(:expected){ Time.new(2014,3,1,12,9,31) }
-
-      it 'recognizes times' do
-        type.dress(expected).should be(expected)
-      end
-
-      it 'recognizes iso8601 times' do
-        type.dress('2014-03-01T12:09:31').should eq(expected)
-      end
-
-      it 'recognizes the output of iso8601' do
-        type.dress(expected.iso8601).should eq(expected)
-      end
-
-      it 'raises on something else' do
-        ->{
-          type.dress('foo')
-        }.should raise_error("Invalid value `foo` for Time")
-      end
-    end
-
-    describe 'DateTime' do
-      let(:type){ system['DateTime'] }
-
-      let(:expected){ DateTime.new(2014,3,1,12,9,31) }
-
-      it 'recognizes times' do
-        type.dress(expected).should be(expected)
-      end
-
-      it 'recognizes iso8601 times' do
-        type.dress('2014-03-01T12:09:31').should eq(expected)
-      end
-
-      it 'recognizes the output of iso8601' do
-        type.dress(expected.iso8601).should eq(expected)
-      end
-
-      it 'raises on something else' do
-        ->{
-          type.dress('foo')
-        }.should raise_error("Invalid value `foo` for DateTime")
-      end
-    end
-
-  end
-end

data/spec/acceptance/Finitio/test_parsing.rb

@@ -1,15 +0,0 @@
-require 'spec_helper'
-describe "Finitio definition files" do
-
-  Finitio.definition_files('Finitio').each do |file|
-    file = Path(file)
-
-    describe "Finitio/#{file.basename.rm_ext}" do
-
-      it 'should parse' do
-        Finitio.parse(file.read).should be_a(Finitio::System)
-      end
-    end
-  end
-
-end

data/spec/acceptance/ad_type/test_in_finitio.rb

@@ -1,82 +0,0 @@
-require 'spec_helper'
-module Finitio
-  describe "Using Finitio's abstract data types in Ruby/Finitio" do
-
-    class MyColorClass
-      extend Finitio::DataType
-
-      def initialize(r, g, b)
-        @r, @g, @b = r, g, b
-      end
-      attr_reader :r, :g, :b
-
-      def to_rgb
-        { r: @r, g: @g, b: @b }
-      end
-
-      def self.rgb(tuple)
-        new(tuple[:r], tuple[:g], tuple[:b])
-      end
-    end
-
-    let(:system) do
-      Finitio.parse <<-EOF
-        Byte   = .Fixnum( i | i>=0 and i<= 255 )
-        Color  = .Finitio::MyColorClass <rgb> {r: Byte, g: Byte, b: Byte}
-        Gender = <mf> .String( s | s=='M' or s=='F' )
-      EOF
-    end
-
-    let(:color){
-      system["Color"]
-    }
-
-    describe 'the Color.dress method' do
-      subject{ color.dress(arg) }
-
-      context 'when valid' do
-        let(:arg){ {"r" => 12, "g" => 17, "b" => 71} }
-
-        it{ should be_a(MyColorClass) }
-
-        it 'should be the expected one' do
-          subject.r.should eq(12)
-          subject.g.should eq(17)
-          subject.b.should eq(71)
-        end
-      end
-
-      context 'when invalid' do
-        let(:arg){ {"r" => -12, "g" => 17, "b" => 71} }
-
-        it 'should raise an error' do
-          ->{
-            subject
-          }.should raise_error(TypeError)
-        end
-      end
-
-    end
-
-    describe 'the Gender.dress method' do
-      subject{ system['Gender'].dress(arg) }
-
-      context 'when valid' do
-        let(:arg){ 'M' }
-
-        it{ should eq('M') }
-      end
-
-      context 'when valid' do
-        let(:arg){ 'Monsieur' }
-
-        it 'should raise an error' do
-          ->{
-            subject
-          }.should raise_error(TypeError, "Invalid value `Monsieur` for Gender")
-        end
-      end
-    end
-
-  end
-end

data/spec/acceptance/ad_type/test_in_ruby.rb

@@ -1,60 +0,0 @@
-require 'spec_helper'
-module Finitio
-  describe "Using Finitio's abstract data types in Ruby" do
-
-    let(:color) do
-      Class.new{
-        extend Finitio::DataType
-
-        def initialize(r, g, b)
-          @r, @g, @b = r, g, b
-        end
-        attr_reader :r, :g, :b
-
-        def to_rgb
-          { r: @r, g: @g, b: @b }
-        end
-
-        def self.rgb(tuple)
-          new(tuple[:r], tuple[:g], tuple[:b])
-        end
-
-        contract :rgb, {r: 0..255, g: 0..255, b: 0..255}
-      }
-    end
-
-    describe 'The factored class' do
-      subject{ color }
-
-      it{ should be_a(Class) }
-    end
-
-    describe 'the dress method, when valid' do
-
-      subject{
-        color.dress(r: 12, g: 13, b: 28)
-      }
-
-      it{ should be_a(color) }
-
-      it 'should set the instance variables correctly' do
-        subject.r.should eq(12)
-        subject.g.should eq(13)
-        subject.b.should eq(28)
-      end
-    end
-
-    describe 'the up method, when already a color' do
-      let(:value){
-        color.new(12, 13, 28)
-      }
-
-      subject{
-        color.dress(value)
-      }
-
-      it{ should be(value) }
-    end
-
-  end
-end

data/spec/unit/attribute/test_initialize.rb

@@ -1,13 +0,0 @@
-require 'spec_helper'
-module Finitio
-  describe Attribute, "initialize" do
-
-    subject{ Attribute.new(:red, intType) }
-
-    it 'should correctly set the instance variables' do
-      subject.name.should eq(:red)
-      subject.type.should eq(intType)
-    end
-
-  end
-end

data/spec/unit/attribute/test_to_name.rb

@@ -1,10 +0,0 @@
-require 'spec_helper'
-module Finitio
-  describe Attribute, "to_name" do
-
-    subject{ Attribute.new(:red, intType).to_name }
-
-    it{ should eq("red: intType") }
-
-  end
-end