| /ontohub/app/controllers/users/ |
| H A D | confirmations_controller.rb | 5 url_for [:edit, :user, :registration] if is_navigational_format?
|
| /ontohub/app/helpers/ |
| H A D | comments_helper.rb | 4 url_for([comment.commentable.repository, comment.commentable, :comments]) << "#comment_#{comment.id}"
|
| H A D | navigation_helper.rb | 23 ['Content', url_for([resource, content_page]),
25 ['Comments', url_for([resource, :comments]),
27 ['Metadata', url_for([resource, :metadata]),
29 ['Versions', url_for([resource, :ontology_versions]),
31 ['Graphs', url_for([resource, :graphs]),
33 ['Mappings', url_for([resource, :mappings]),
57 pages << [:children, url_for([resource_chain.last, :children])]
59 pages << [:axioms, url_for([resource_chain.last, :axioms])]
60 pages << [:theorems, url_for([resource_chain.last, :theorems])]
163 ['Projects', url_for([resourc
[all...] |
| H A D | oops_helper.rb | 15 url_for [@ontology.repository, @ontology, current_version, :oops_request]
19 url_for [@ontology.repository, @ontology] #, anchor: 'detail'
|
| H A D | state_helper.rb | 14 url_for([resource, :retry])
38 uri: url_for(resource),
59 url_for([resource, :ontology_versions]),
|
| H A D | proofs_helper.rb | 5 url_for([destination, :prove])
|
| /ontohub/app/serializers/ |
| H A D | theorem_serializer.rb | 7 url_for(object)
34 url_for([object, :symbols])
38 url_for([object, :proof_attempts])
|
| H A D | proof_attempt_serializer.rb | 7 url_for(object)
39 url_for([object, :used_axioms])
43 url_for([object, :generated_axioms])
47 url_for([object, :used_theorems])
|
| H A D | axiom_serializer.rb | 7 url_for(object)
21 url_for([object, :symbols])
|
| H A D | sentence_serializer.rb | 7 url_for(object)
21 url_for([object, :symbols])
|
| H A D | ontology_serializer.rb | 7 url_for(object)
42 url_for([object, :ontology_versions])
46 url_for([object, :symbols])
50 url_for([object, :sentences])
54 url_for([object, :mappings])
|
| H A D | proof_attempt_configuration_serializer.rb | 6 url_for([object.proof_attempt, :'proof-attempt-configuration'])
40 url_for([object.proof_attempt,
45 url_for([object.proof_attempt,
|
| H A D | proof_status_serializer.rb | 7 url_for(object)
|
| H A D | ontology_version_serializer.rb | 7 url_for(object)
|
| H A D | prover_output_serializer.rb | 6 url_for(object)
|
| H A D | mapping_serializer.rb | 7 url_for(object)
|
| /ontohub/app/serializers/ontology_member/ |
| H A D | symbol_serializer.rb | 7 url_for(object)
25 url_for([object, :sentences])
|
| /ontohub/app/controllers/ |
| H A D | metadata_controller.rb | 9 redirect_to url_for([resource_chain.last, :projects])
|
| H A D | proofs_controller.rb | 33 url_for([resource.proof_obligation, :proof_attempts])
35 url_for([resource.proof_obligation.ontology, :theorems])
|
| H A D | proof_attempts_controller.rb | 10 redirect_to url_for(resource)
|
| H A D | ontologies_controller.rb | 67 redirect_to url_for([resource, :symbols, params_to_pass_on_redirect.
70 redirect_to url_for([resource, :children, params_to_pass_on_redirect])
98 redirect_to url_for([resource, :ontology_versions])
|
| /ontohub/app/controllers/api/v1/ |
| H A D | actions_controller.rb | 21 url_for(resource.resource)
|
| /ontohub/spec/controllers/api/v1/ |
| H A D | proof_attempt_configurations_controller_spec.rb | 16 locid: url_for([proof_attempt,
36 locid: url_for([proof_attempt,
60 locid: url_for([proof_attempt, :'proof-attempt-configuration']),
|
| H A D | proof_attempts_controller_spec.rb | 16 locid: url_for([theorem, :proof_attempts]),
36 locid: url_for([proof_attempt, :used_axioms]),
56 locid: url_for([proof_attempt, :used_theorems]),
76 locid: url_for([proof_attempt, :generated_axioms]),
|
| /ontohub/spec/support/ |
| H A D | common_helper_methods.rb | 6 def url_for(resource, *args, &block) method
8 send(:url_for, *[resource, *args], &block)
|