Searched refs:find (Results 1 - 25 of 56) sorted by relevance

123

/ontohub/lib/
H A Drepository_deletion_worker.rb5 Repository.destroying.find(id).destroy
H A Doops_request_worker.rb5 OopsRequest.find(oops_request_id).run
H A Drepository_conversion_worker.rb7 Repository.find(repository_id).convert_to_local!
H A Drepository_fetching_worker.rb7 Repository.find(repository_id).fetch(method, remote_type)
H A Dproof_execution_worker.rb5 proof_attempt = ProofAttempt.find(proof_attempt_id)
H A Daction_worker.rb5 action = Action.find(action_id)
H A Dhets_instance_force_free_worker.rb7 hets_instance = HetsInstance.find(hets_instance_id)
H A Drepository_update_worker.rb13 user = Key.includes(:user).find(key_id).user
H A Dontology_version_finder.rb11 def self.find(path) singleton method in class:OntologyVersionFinder
13 new(res[1], Ontology.find_with_locid(res[2])).find if res
21 def find method in class:OntologyVersionFinder
H A Dtarjan_tree.rb61 connected_symbols = OntologyMember::Symbol.find(symbol_ids)
76 parent_group = OntologyMember::Symbol.find(parent_id).symbol_group
78 child_group = OntologyMember::Symbol.find(child_id).symbol_group
/ontohub/spec/factories/
H A Dproof_status_factory.rb3 initialize_with { ProofStatus.find('SUC') }
7 initialize_with { ProofStatus.find('CSA') }
11 initialize_with { ProofStatus.find('CSAS') }
15 initialize_with { ProofStatus.find(ProofStatus::DEFAULT_OPEN_STATUS) }
19 initialize_with { ProofStatus.find(ProofStatus::DEFAULT_PROVEN_STATUS) }
23 initialize_with { ProofStatus.find(ProofStatus::DEFAULT_DISPROVEN_STATUS) }
27 initialize_with { ProofStatus.find(ProofStatus::DEFAULT_UNKNOWN_STATUS) }
31 initialize_with { ProofStatus.find(ProofStatus::CONTRADICTORY) }
/ontohub/app/controllers/
H A Dprover_outputs_controller.rb11 @proof_attempt ||= ProofAttempt.find(params[:proof_attempt_id])
15 @theorem ||= Theorem.find(params[:theorem_id])
19 @ontology ||= Ontology.find(params[:ontology_id])
H A Dtools_controller.rb4 @ontology = Ontology.find(params[:ontology_id])
H A Dproof_attempts_controller.rb16 @theorem ||= Theorem.find(params[:theorem_id])
20 @ontology ||= Ontology.find(params[:ontology_id])
H A Dhistory_controller.rb11 @history_entries ||= HistoryEntriesPage.find(params)
H A Dontology_version_member.rb10 @ontology ||= Ontology.find(params[:ontology_id])
H A Dtheorems_controller.rb13 @ontology ||= Ontology.find(params[:ontology_id])
H A Dcategories_controller.rb21 @category = Category.find(params[:id])
H A Doops_requests_controller.rb27 Ontology.find(params[:ontology_id])
/ontohub/spec/models/
H A Dcategory.rb16 onto1.categories = [Category.find(edge.parent_id)]
19 onto2.categories = [Category.find(edge.child_id)]
22 @parent_category = Category.find(edge.parent_id)
23 @child_category = Category.find(edge.child_id)
/ontohub/app/assets/javascripts/
H A Dontology_search.js11 $(".pagination:first").replaceWith($(d).find(".pagination:first"));
13 $(d).find(".pagination:first").insertBefore($("#search_response"));
15 $("#search_response").replaceWith($(d).find("#search_response"));
/ontohub/db/data/
H A D20160310132620_move_loc_id_to_own_model_data.rb31 ontology = Ontology.find(duplicate[:id])
38 klass.find(duplicate[:id]).ontology
/ontohub/features/step_definitions/
H A Drepository_file_browser_steps.rb8 expect(find(file_cell_selector).
16 expect(find(ontology_cell_selector).
23 expect(find(ontology_cell_selector)).
30 expect(find(ontology_cell_selector).
34 expect(find(ontology_cell_selector).
H A Duser_steps.rb77 expect { find('form#new_api_key input#api_key_key') }.
82 find('form#new_api_key input[name=commit]').click
86 expect(find('form#new_api_key input#api_key_key').value).
95 expect(find('form#new_api_key input#api_key_key').value).
100 key = find('form#new_api_key input#api_key_key').value
/ontohub/app/models/
H A Doops_response.rb19 request = OopsRequest.find(oops_request_id) # otherwise request is nil :-(

Completed in 23 milliseconds

123