models/ontology/import.rb

	import.rb revision 103299001923c30139aa62c72127c9517493ccf1
module Ontology::Import
  extend ActiveSupport::Concern

  def import_latest_version(user)
    import_version(versions.last, user)
  end

  def import_version(version, user, io)
    return if version.nil?
    evaluator = Hets::DG::Evaluator.new(user, version.ontology,
                                    version: version, io: io)
    evaluator.import
  end

  def import_proof(version, user, proof_attempts, io)
    evaluator = Hets::Prove::Evaluator.new(user,
                                           version.ontology,
                                           proof_attempts,
                                           version: version, io: io)
    evaluator.import
  end
end