| /ontohub/lib/ |
| H A D | ontology_search.rb | 3 attr_reader :params, :in_repository
5 def initialize(params, in_repository, current_user)
6 @params = params
17 if in_repository || params[:query].present?
28 if params[:ontology_type].present?
30 filter_by_ontology_type(params[:ontology_type])
33 if params[:project].present?
34 @search_response = @search_response.filter_by_project(params[:project])
37 if params[
[all...] |
| H A D | router_constraints.rb | 2 def params(request) method in class:RouterConstraint
7 params = params(request)
8 controller = params[:controller]
9 action = params[:action]
11 params.except!(*params.keys).merge!(
17 set_path_parameters(request, params(request).merge(add_params))
24 return false if Repository.find_by_path(request.params[:repository_id]).nil?
36 @params
[all...] |
| /ontohub/app/controllers/admin/ |
| H A D | users_controller.rb | 15 resource.update_attributes({email: params['user']['email'],
16 name: params['user']['name'],
17 admin: params['user']['admin'] == '1'},
20 if params[:back_url].blank?
23 params[:back_url]
|
| H A D | status_controller.rb | 6 @tab = params[:tab].try(:to_sym) || StatusViewhelper::DEFAULT_TAB
|
| /ontohub/app/helpers/ |
| H A D | application_helper.rb | 8 if params[:controller] == 'home'
10 elsif params[:controller] == 'categories' && params[:action] == 'show'
12 elsif params[:action] != 'index'
14 elsif %w(categories logics mappings ontologies).include? params[:controller]
16 elsif params[:controller] == 'repositories'
24 params[:controller] == 'home' && !user_signed_in?
28 params[:repository_id].present? || params[:controller] == 'repositories'
34 if params[
[all...] |
| H A D | history_helper.rb | 3 @repository ||= Repository.find_by_path!(params[:repository_id])
11 params[:ref] || 'master'
15 @commit_id ||= repository.commit_id(params[:ref])
23 params[:path]
|
| /ontohub/app/controllers/ |
| H A D | ontology_search_controller.rb | 4 @search_response ||= paginate_for(OntologySearch.new(params, in_repository?,
|
| H A D | history_controller.rb | 11 @history_entries ||= HistoryEntriesPage.find(params)
15 authorize! :show, Repository.find_by_path!(params[:repository_id])
|
| H A D | ontology_version_member.rb | 10 @ontology ||= Ontology.find(params[:ontology_id])
14 @version ||= ontology.versions.find_by_number!(params[:number])
|
| H A D | prover_outputs_controller.rb | 11 @proof_attempt ||= ProofAttempt.find(params[:proof_attempt_id])
15 @theorem ||= Theorem.find(params[:theorem_id])
19 @ontology ||= Ontology.find(params[:ontology_id])
|
| H A D | tools_controller.rb | 4 @ontology = Ontology.find(params[:ontology_id])
|
| H A D | axioms_controller.rb | 29 Kaminari.paginate_array(axioms).page(params[:page]).
30 per(params[:per_page])
32 Kaminari.paginate_array(parent.axioms.original).page(params[:page]).
33 per(params[:per_page])
|
| H A D | logics_controller.rb | 18 @search = params[:search]
25 @tab = params[:tab].try(:to_sym)
28 @depth = params[:depth] ? params[:depth].to_i : 3
48 collection = Kaminari.paginate_array(logics).page(params[:page])
58 params[:all].present?
|
| H A D | repositories_controller.rb | 12 unless params[:source_address]
13 params[:repository].except!(:source_type, :remote_type)
19 resource.convert_to_local! if params[:un_mirror]
20 params[:repository].
53 path = params[:repository_id] || params[:id]
|
| H A D | mappings_controller.rb | 18 @search = params[:search]
31 Ontology.find(params[:mapping][:source_id]).current_version
33 Ontology.find(params[:mapping][:target_id]).current_version
49 if params[:ontology_id]
50 @mappings = Mapping.with_ontology_reference(params[:ontology_id])
66 @mapping ||= Mapping.new params[:mapping]
70 unless params[:action] == 'index'
|
| H A D | autocomplete_controller.rb | 9 term = params[:term].to_s.strip
17 params[:scope].to_s.split(",").each do |scope|
18 exclude = params[:exclude] || {}
|
| H A D | diffs_controller.rb | 17 @history_entries ||= Diff.new(params)
21 @repository ||= Repository.find_by_path!(params[:repository_id])
25 @commit_id ||= repository.commit_id(params[:ref])
|
| H A D | proofs_controller.rb | 17 redirect_to(action: :new, params: {proof: params[:proof]})
24 @resource ||= resource_class.new(params)
|
| H A D | categories_controller.rb | 10 unless params[:ontology_id]
21 @category = Category.find(params[:id])
|
| H A D | url_maps_controller.rb | 27 authorize! :show, Repository.find_by_path(params[:repository_id])
33 Repository.find_by_path(params[:repository_id])
|
| H A D | proof_attempts_controller.rb | 16 @theorem ||= Theorem.find(params[:theorem_id])
20 @ontology ||= Ontology.find(params[:ontology_id])
|
| /ontohub/registry/purl/ |
| H A D | modifybatchpurls.pl | 99 my $params;
103 $params .= "type=$2&maintainers=";
107 $params .= "$1,";
110 $params .= "$1,";
113 $params .= "&";
115 $params .= "target=" . uri_escape($1) . "&";
117 $params .= "seealso=" . uri_escape($1);
119 $params =~ s/,&/&/;
120 $params =~ s/&$//;
130 my $url = $workurl . $purlid . '?' . $params;
[all...] |
| /ontohub/app/controllers/api/v1/ |
| H A D | base.rb | 19 if params[API_KEY_SYMBOL].present?
20 params[API_KEY_SYMBOL]
|
| /ontohub/app/models/repository/ |
| H A D | importing.rb | 93 def import_remote(type, user, source, name, params={})
101 params[:name] = name
102 params[:source_type] = type
103 params[:source_address] = source
104 params[:access] = params[:access] ?
105 Repository::Access.as_read_only(params[:access]) :
108 r = Repository.new(params)
|
| /ontohub/spec/lib/ |
| H A D | proof_spec.rb | 12 let(:params) do
30 expect(Proof.new(params).valid?).to be(true)
34 params[:proof][:prover_ids] = ['']
35 expect(Proof.new(params).valid?).to be(true)
39 params[:proof][:timeout] = nil
40 expect(Proof.new(params).valid?).to be(true)
44 params[:proof][:prover_ids] = ['-1', '']
45 expect(Proof.new(params).valid?).to be(false)
49 params[:proof][:axiom_selection_method] = :'_not_existent'
50 expect(Proof.new(params)
[all...] |