support/fixtures_generation/prover_output_generator.rb

	prover_output_generator.rb revision 8150838f450ff64107d7e1db8d92b56ec2a2a993
require_relative 'direct_hets_generator.rb'

module FixturesGeneration
  class ProverOutputGenerator < DirectHetsGenerator
    NODES = %w(CounterSatisfiable Theorem)
    PROVERS = %w(MathServeBroker SPASS Vampire darwin darwin-non-fd eprover)
    protected

    def perform(file)
      header = {'Content-Type' => 'application/json'}
      data_template = {format: 'json', include: 'true'}
      NODES.each do |node|
        PROVERS.each do |prover|
          data = data_template.merge(prover: prover, node: node)
          response = call_hets(file, 'prove',
                          method: :post, header: header, data: data)
          json = JSON.parse(response.read_body)
          write_prover_output_fixture(node, prover, json)
          response
        end
      end
    end

    def files
      %w(spec/fixtures/ontologies/prove/Simple_Implications.casl)
    end

    def subdir
      'prover_output'
    end

    def write_prover_output_fixture(node, prover, response_hash)
      target_file(node, prover) do |file|
        file.write(response_hash.first['goals'].first['proverOutput'])
      end
    end

    def target_file(node, prover, &block)
      filepath = "spec/fixtures/prover_output/generated/#{node}/#{prover}"
      FileUtils.mkdir_p(File.dirname(filepath))
      File.open(filepath, 'w', &block)
    end
  end
end