Contents

require 'spec_helper'
module Finitio
  describe Syntax, "tuple_type" do

    subject{
      Syntax.parse(input, root: "tuple_type")
    }

    describe "compilation result" do
      let(:compiled){
        subject.compile(type_factory)
      }

      context 'empty heading' do
        let(:input){ '{ }' }

        it 'compiles to a TupleType' do
          compiled.should be_a(TupleType)
          compiled.heading.should be_empty
        end
      end

      context '{a: .Integer}' do
        let(:input){ '{a: .Integer}' }

        it 'compiles to a TupleType' do
          compiled.should be_a(TupleType)
          compiled.heading.size.should eq(1)
        end
      end

      context '{a: .Integer, b: .Float}' do
        let(:input){ '{a: .Integer, b: .Float}' }

        it 'compiles to a TupleType' do
          compiled.should be_a(TupleType)
          compiled.heading.size.should eq(2)
        end
      end
    end

    describe "AST" do
      let(:input){ '{a: .Integer}' }

      let(:ast){ subject.to_ast }

      it{
        ast.should eq([
          :tuple_type,
          [
            :heading,
            [ :attribute, "a", [:builtin_type, "Integer" ]]
          ]
        ])
      }
    end

  end
end

Version data entries

2 entries across 2 versions & 1 rubygems

Version	Path
finitio-0.4.1	spec/unit/syntax/nodes/test_tuple_type.rb
finitio-0.4.0	spec/unit/syntax/nodes/test_tuple_type.rb