Searched defs:call (Results 1 - 17 of 17) sorted by relevance

/ontohub/lib/
H A Dsettings_interpreter.rb2 def call method in class:SettingsInterpreter
H A Dfile_retriever.rb13 def call(url) method in class:FileRetriever
15 get_caller.call(get_caller_options)
H A Dproof_evaluation_state_updater.rb13 def call method in class:ProofEvaluationStateUpdater
H A Dproof_execution.rb11 def call method in class:ProofExecution
20 proof_attempt_configuration.axiom_selection.specific.call
29 ProofEvaluationStateUpdater.new(proof_attempt, :processing).call
/ontohub/lib/hets/
H A Dfiletype_caller.rb6 def call(iri) method in class:Hets.FiletypeCaller
H A Dversion_caller.rb6 def call method in class:Hets.VersionCaller
H A Dparse_caller.rb13 def call(iri, with_mode: :default) method in class:Hets.ParseCaller
H A Dprovers_caller.rb9 def call(iri) method in class:Hets.ProversCaller
H A Dprove_caller.rb9 def call(iri) method in class:Hets.ProveCaller
/ontohub/lib/uri_fetcher/
H A Dbase_error_handler.rb9 def call(response) method in class:UriFetcher.BaseErrorHandler
H A Dhttp_caller.rb26 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/app/models/
H A Daxiom_selection.rb19 def call method in class:AxiomSelection
32 # but many jobs may call it in parallel.
H A Dsine_axiom_selection.rb27 def call method in class:SineAxiomSelection
/ontohub/spec/support/fixtures_generation/
H A Ddirect_hets_generator.rb8 def call method in class:FixturesGeneration.DirectHetsGenerator
H A Dpipeline_generator.rb19 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 Dbase_generator.rb19 def call method in class:FixturesGeneration.BaseGenerator
76 block.call
111 block.call(file)
/ontohub/lib/hets/prove/
H A Dszs_parser.rb11 def call method in class:Hets.Prove.SZSParser

Completed in 25 milliseconds