models/ontology_version/proving.rb

	proving.rb revision 7aad606a237a0b6145ad1d020429fcbe20dd448b
565N/Amodule OntologyVersion::Proving
565N/A
565N/A  extend ActiveSupport::Concern
565N/A  include Hets::ErrorHandling
565N/A
565N/A  included do
565N/A    @queue = 'hets'
565N/A  end
565N/A
565N/A  def async_prove(*args)
565N/A    async :prove
565N/A  end
565N/A
565N/A  def prove
565N/A    update_state! :processing
565N/A
565N/A    do_or_set_failed do
565N/A      cmd, input_io = execute_proof
565N/A      return if cmd == :abort
565N/A
565N/A      ontology.import_proof(self, self.user, input_io)
926N/A      update_state! :done
926N/A    end
835N/A  end
565N/A
926N/A  # generate XML by passing the raw ontology to Hets
565N/A  def execute_proof
1050N/A    input_io = Hets.prove_via_api(ontology, ontology.repository.url_maps)
926N/A    [:all_is_well, input_io]
926N/A  rescue Hets::ExecutionError => e
926N/A    handle_hets_execution_error(e, self)
926N/A    [:abort, nil]
926N/A  end
838N/Aend
565N/A