| /ontohub/db/seeds/ |
| H A D | 001-hets.rb | 2 RakeHelper::Hets.create_instances
5 RakeHelper::Hets.create_instances
|
| /ontohub/lib/hets/ |
| H A D | action_caller.rb | 1 module Hets module
8 raise Hets::InactiveInstanceError, msg unless hets_instance.try(:up?)
18 rescue Hets::NotAHetsError
|
| H A D | version_caller.rb | 1 module Hets module
11 ==HETS== Hets Instance <#{hets_instance}> is currently not reachable.
|
| H A D | hets_error_process.rb | 1 module Hets module
19 raise Hets::NotAHetsError.new('Error was not produced due to hets.')
24 raise Hets::HetsFileError.new(message)
|
| H A D | filetype_caller.rb | 1 module Hets module
|
| H A D | provers_options.rb | 1 module Hets module
|
| H A D | provers_caller.rb | 1 module Hets module
|
| H A D | errors.rb | 1 module Hets module
|
| H A D | parse_caller.rb | 1 module Hets module
|
| H A D | prove_caller.rb | 1 module Hets module
23 # The HTTP timeout must be as long as Hets maximally takes.
|
| /ontohub/app/models/ontology_version/ |
| H A D | proving.rb | 6 Hets::ProveOptions.new(:'url-catalog' => repo.url_maps,
|
| H A D | parsing.rb | 34 # generate XML by passing the raw ontology to Hets
36 input_io = Hets.parse_via_api(ontology, ontology.hets_options,
60 hets_options = Hets::ProversOptions.new(**ontology.hets_options.options,
62 provers_io = Hets.provers_via_api(ontology, hets_options)
63 Hets::Provers::Importer.new(self, provers_io).import
|
| /ontohub/spec/lib/hets/ |
| H A D | provers_options_spec.rb | 3 describe Hets::ProversOptions do
9 let(:provers_options) { Hets::ProversOptions.new(options) }
18 let(:provers_options) { Hets::ProversOptions.new(options) }
31 let(:provers_options) { Hets::ProversOptions.new(options) }
|
| H A D | szs_parser_spec.rb | 3 describe Hets::Prove::SZSParser do
11 expect(Hets::Prove::SZSParser.new(prover, output).call).to eq('ResourceOut')
15 expect(Hets::Prove::SZSParser.new(prover, output).call).to be(nil)
28 expect(Hets::Prove::SZSParser.new(prover, output).call).
|
| H A D | hets_options_spec.rb | 3 describe Hets::HetsOptions do
8 expect(Hets::HetsOptions.new(options).options).to eq(options)
13 expect(Hets::HetsOptions.new(options_new).options).to eq(options)
20 expect(Hets::HetsOptions.from_hash(hash).options).to eq(options)
26 expect(Hets::HetsOptions.from_hash(hash).options).to eq(options)
31 let(:hets_options) { Hets::HetsOptions.new(options) }
49 let(:hets_options) { Hets::HetsOptions.new(access_token_options) }
59 let(:hets_options) { Hets::HetsOptions.new(access_token_options) }
70 let(:hets_options) { Hets::HetsOptions.new(catalog_options) }
79 let(:hets_options) { Hets
[all...] |
| H A D | prove_options_spec.rb | 3 describe Hets::ProveOptions do
18 let(:prove_options) { Hets::ProveOptions.new(options) }
33 let(:prove_options) { Hets::ProveOptions.new(options) }
67 let(:prove_options) { Hets::ProveOptions.new(options) }
77 let(:prove_options) { Hets::ProveOptions.new(options) }
87 let(:prove_options) { Hets::ProveOptions.new(options) }
|
| /ontohub/lib/ |
| H A D | hets.rb | 3 module Hets module
26 parse_caller = Hets::ParseCaller.new(hets_instance, hets_options)
33 prove_caller = Hets::ProveCaller.new(hets_instance, prove_options)
40 provers_caller = Hets::ProversCaller.new(hets_instance, provers_options)
48 filetype_caller = Hets::FiletypeCaller.new(hets_instance)
|
| /ontohub/spec/controllers/ |
| H A D | filetypes_controller_spec.rb | 12 allow_any_instance_of(Hets::FiletypeCaller).to receive(:call).
35 allow_any_instance_of(Hets::FiletypeCaller).to receive(:call).
36 and_raise(Hets::HetsError)
|
| /ontohub/app/controllers/ |
| H A D | filetypes_controller.rb | 4 rescue Hets::HetsError
13 @filetype ||= Hets::FiletypeCaller.new(hets_instance).call(params[:iri])
|
| /ontohub/app/models/ontology/ |
| H A D | import.rb | 10 evaluator = Hets::DG::Importer.new(user, version.ontology,
16 evaluator = Hets::Prove::Importer.new(user,
|
| H A D | hets_options.rb | 4 # Hets has some trouble inferring those input types
9 Hets::HetsOptions.new(:'url-catalog' => repository.url_maps,
|
| /ontohub/lib/hets/prove/ |
| H A D | importer.rb | 1 module Hets module
34 rescue Hets::JSONParser::ParserError => e
38 msg_lines = ['Hets found no theorems to prove']
40 raise Hets::Errors::HetsFileError, msg_lines.join("\n")
|
| /ontohub/lib/hets/dg/ |
| H A D | parser.rb | 1 module Hets module
|
| /ontohub/lib/hets/provers/ |
| H A D | importer.rb | 1 module Hets module
|
| /ontohub/spec/ |
| H A D | hets_helper.rb | 72 allow(Hets).to receive(:parse_via_api).and_return(io)
73 allow(Hets).to receive(:provers_via_api) do
79 evaluator = Hets::DG::Importer.new(user, ontology, io: io,
88 allow(Hets).to receive(:parse_via_api).and_call_original
89 allow(Hets).to receive(:provers_via_api).and_call_original
103 to_return(body: Hets.minimal_version_string)
112 to_return(body: Hets.minimal_version_string)
|