test/unit/symbol_parser_test.rb

	symbol_parser_test.rb revision 848ee2a2aff32bc2aa170967e43a2d768653b55f
require 'test_helper'

class SymbolParserTest < ActiveSupport::TestCase

  context "SymbolParser" do

    context 'parsing valid XML with symbols' do
      setup do
        @symbols = []
        SymbolParser.parse open_fixture('valid.xml') do |symbol|
          # collect symbols
          @symbols << symbol
        end
      end

      should 'found all symbols' do
        assert_equal 5, @symbols.count
      end

      should 'have correct symbols' do
        assert_equal [
          {"name"=>"nat", "range"=>"Examples/Reichel:28.9", "text"=>"sort nat"},
          {"name"=>"__*__", "range"=>"Examples/Reichel:33.11", "text"=>" nat"},
          {"name"=>"__+__", "range"=>"Examples/Reichel:32.11", "text"=>" nat"},
          {"name"=>"succ", "range"=>"Examples/Reichel:30.9", "text"=>" nat"},
          {"name"=>"zero", "range"=>"Examples/Reichel:29.9", "text"=>"op zero : nat"},
        ], @symbols
      end
    end

    context 'parsing empty XML' do
      setup do
        @symbols = []
        SymbolParser.parse open_fixture('empty.xml') do |symbol|
          # collect symbols
          @symbols << symbol
        end
      end

      should 'not found any symbols' do
        assert_equal 0, @symbols.count
      end
    end

    context 'parsing invalid XML' do
      should 'throw an exception' do
        begin
          SymbolParser.parse open_fixture('broken.xml') do; end
          fail "exception expected"
        rescue SymbolParser::ParseException => e
          assert_equal 'unsupported element: Invalid', e.message
        end
      end
    end

  end

  def open_fixture(name)
    File.open("#{Rails.root}/test/fixtures/symbols/#{name}")
  end

end