Contents

require 'spec_helper'
describe Finitio, "system" do

  context 'with a string' do
    subject{
      Finitio.system <<-EOF
        Posint = .Fixnum( i | i>=0 )
        Point  = { x: Posint, y: Posint }
      EOF
    }

    it{ should be_a(Finitio::System) }

    it 'should have the expected types' do
      expect(subject["Posint"]).to be_a(Finitio::SubType)
      expect(subject["Point"]).to be_a(Finitio::TupleType)
    end
  end

  context 'with a Path' do
    subject{
      Finitio.system(Path.dir/"system.fio")
    }

    it{ should be_a(Finitio::System) }

    it 'should have the expected types' do
      expect(subject["Posint"]).to be_a(Finitio::SubType)
    end
  end

  context "feedback about duplicate types" do
    subject{
      Finitio.system(Path.dir/"with-duplicates.fio")
    }

    it{ should be_a(Finitio::System) }
  end

end

Version data entries

1 entries across 1 versions & 1 rubygems

Version	Path
finitio-0.7.0.pre.rc2	spec/finitio/test_system.rb