parsing.rb revision 745541d1ed9a97715ee21919e3dc495a1add55c0
included do
@queue = 'hets'
end
@deactivate_parsing = true
end
if !@deactivate_parsing
if @fast_parse
else
end
end
end
# run hets if necessary
# Import version
update_state! :done
end
end
# generate XML by passing the raw ontology to Hets
[:all_is_well, input_io]
end
repository.access_tokens << access_token
repository.save!
access_token
end
def parse_full
parse(structure_only: false)
end
def parse_fast
parse(structure_only: true)
end
def retrieve_available_provers_for_self_and_children
retrieve_available_provers
if ontology.distributed?
ontology.children.each do |child|
child.versions.find_by_commit_oid(commit_oid).retrieve_available_provers
end
end
end
def retrieve_available_provers
hets_options =
Hets::ProversOptions.new(:'url-catalog' => ontology.repository.url_maps,
ontology: ontology)
provers_io = Hets.provers_via_api(ontology, hets_options)
Hets::Provers::Importer.new(self, provers_io).import
end
end