hets/provers/importer.rb

	importer.rb revision f4d4f82239bc0e3f18e9d59dbae22891b20f40e6
module Hets
  module Provers
    class Importer
      attr_accessor :ontology_version, :io

      # io needs to be an instance of IO or a Tempfile.
      def initialize(ontology_version, io)
        self.ontology_version = ontology_version
        self.io = io
      end

      def import
        hash = JSON.parse(io.read)
        provers = hash['provers']
        provers.each do |prover_name|
          prover = Prover.where(name: prover_name).first_or_create!
          unless ontology_version.provers.include?(prover)
            ontology_version.provers << prover
          end
        end
        ontology_version.save!
      end
    end
  end
end