| /ontohub/spec/factories/ |
| H A D | git_repository_factory.rb | 20 exec_silently.call('git init .')
21 exec_silently.call(
23 exec_silently.call('git config --local user.name "Tester"')
24 exec_silently.call('echo "(P x)" > file-0.clif')
25 exec_silently.call('echo "(Q y)" > file-1.clif')
26 exec_silently.call('git add file-0.clif')
27 exec_silently.call('git commit -m "add file-0.clif"')
28 exec_silently.call('git add file-1.clif')
29 exec_silently.call('git commit -m "add file-1.clif"')
32 exec_silently.call('r
[all...] |
| H A D | svn_repository_factory.rb | 20 exec_silently.call("svnadmin create #{File.basename(path_bare)}")
21 exec_silently.call("svn co file://#{path_bare} #{path_work}")
|
| /ontohub/lib/ |
| H A D | file_retriever.rb | 13 def call(url) method in class:FileRetriever
15 get_caller.call(get_caller_options)
|
| H A D | settings_interpreter.rb | 2 def call method in class:SettingsInterpreter
|
| H A D | proof_execution_worker.rb | 6 ProofExecution.new(proof_attempt).call
|
| H A D | proof_execution.rb | 11 def call method in class:ProofExecution
20 proof_attempt_configuration.axiom_selection.specific.call
29 ProofEvaluationStateUpdater.new(proof_attempt, :processing).call
|
| H A D | hets.rb | 27 parse_caller.call(qualified_loc_id_for(resource), with_mode: mode)
34 prove_caller.call(qualified_loc_id_for(resource))
41 provers_caller.call(qualified_loc_id_for(resource))
49 response_iri, filetype = filetype_caller.call(iri).split(': ')
|
| H A D | slug.rb | 28 elsif slug_condition_class_instance_variable.respond_to?(:call)
29 slug_condition_class_instance_variable.call
|
| /ontohub/lib/uri_fetcher/ |
| H A D | base_error_handler.rb | 9 def call(response) method in class:UriFetcher.BaseErrorHandler
|
| H A D | http_caller.rb | 26 def call(write_file: nil, file_type: File) method in class:UriFetcher.HTTPCaller
78 success_response = error_handler.call(response)
79 success_response == false ? block.call : success_response
85 call(write_file: write_file, file_type: file_type)
97 content_test_block.call(response)
|
| /ontohub/spec/lib/ |
| H A D | proof_execution_worker_spec.rb | 12 allow_any_instance_of(ProofExecution).to receive(:call)
24 allow_any_instance_of(ProofExecution).to receive(:call)
26 expect_any_instance_of(ProofExecution).to receive(:call).once
|
| H A D | proof_evaluation_state_updater_spec.rb | 11 before { pesu.call }
30 # That's why we call the ProofEvaluationStateUpdater many times on the same
41 before { [pesu21, pesu22].each(&:call) }
53 before { [pesu21, pesu22].each(&:call) }
64 before { pesu1.call }
70 before { [pesu21, pesu22].each(&:call) }
82 before { [pesu21, pesu22].each(&:call) }
94 before { [pesu11, pesu12].each(&:call) }
100 before { [pesu21, pesu22].each(&:call) }
112 before { [pesu21, pesu22].each(&:call) }
[all...] |
| /ontohub/spec/models/ |
| H A D | sine_axiom_selection_spec.rb | 128 sine_axiom_selection_previous.call
133 subject.call
138 subject.call
147 subject.call
158 subject.call
172 subject.call
191 subject.call
202 subject.call
215 subject.call
231 subject.call
[all...] |
| /ontohub/spec/support/fixtures_generation/ |
| H A D | pipeline_generator.rb | 19 def call method in class:FixturesGeneration.PipelineGenerator
20 # We don't want to call this before the tests.
29 block.call
37 block.call
48 block.call
55 result = block.call
|
| H A D | base_generator.rb | 19 def call method in class:FixturesGeneration.BaseGenerator
76 block.call
111 block.call(file)
|
| /ontohub/spec/lib/hets/ |
| H A D | szs_parser_spec.rb | 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).
|
| /ontohub/lib/hets/ |
| H A D | filetype_caller.rb | 6 def call(iri) method in class:Hets.FiletypeCaller
|
| H A D | version_caller.rb | 6 def call method in class:Hets.VersionCaller
|
| H A D | provers_caller.rb | 9 def call(iri) method in class:Hets.ProversCaller
|
| H A D | parse_caller.rb | 13 def call(iri, with_mode: :default) method in class:Hets.ParseCaller
|
| H A D | prove_caller.rb | 9 def call(iri) method in class:Hets.ProveCaller
|
| /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).
|
| /ontohub/app/controllers/ |
| H A D | filetypes_controller.rb | 13 @filetype ||= Hets::FiletypeCaller.new(hets_instance).call(params[:iri])
|
| /ontohub/app/models/ |
| H A D | axiom_selection.rb | 19 def call method in class:AxiomSelection
32 # but many jobs may call it in parallel.
|
| /ontohub/lib/hets/prove/ |
| H A D | szs_parser.rb | 11 def call method in class:Hets.Prove.SZSParser
|