/ontohub/spec/controllers/ |
H A D | proof_attempts_controller_spec.rb | 16 repository_id: repository.to_param, 17 ontology_id: ontology.to_param, 18 theorem_id: theorem.to_param, 19 id: proof_attempt.to_param 31 repository_id: repository.to_param, 32 ontology_id: ontology.to_param, 33 theorem_id: theorem.to_param, 34 id: proof_attempt.to_param 58 repository_id: repository.to_param, 59 ontology_id: ontology.to_param, [all...] |
H A D | comments_controller_spec.rb | 14 get :index, :ontology_id => ontology.to_param, :repository_id => repository.to_param 24 get :index, :ontology_id => ontology.to_param, :repository_id => repository.to_param 40 get :index, :ontology_id => ontology.to_param, :repository_id => repository.to_param 50 get :index, :ontology_id => ontology.to_param, :repository_id => repository.to_param 60 xhr :delete, :destroy, :ontology_id => ontology.to_param, :repository_id => repository.to_param, [all...] |
H A D | mappings_controller_spec.rb | 11 repository_id: ontology.repository.to_param, 12 ontology_id: ontology.to_param, 13 id: mapping.to_param
|
H A D | url_maps_controller_spec.rb | 10 before { get :index, repository_id: repository.to_param } 20 before { get :new, repository_id: repository.to_param } 25 before { get :edit, repository_id: repository.to_param, id: url_map.to_param } 30 before { post :create, repository_id: repository.to_param } 35 before { put :update, repository_id: repository.to_param, id: url_map.to_param } 40 before { delete :destroy, repository_id: repository.to_param, id: url_map.to_param } 47 before { get :new, repository_id: repository.to_param } [all...] |
H A D | oops_request_controller_spec.rb | 18 repository_id: repository.to_param, 19 ontology_id: ontology.to_param, 33 repository_id: repository.to_param, 34 ontology_id: ontology.to_param, 47 repository_id: repository.to_param, 48 ontology_id: ontology.to_param, 64 repository_id: repository.to_param, 65 ontology_id: ontology.to_param, 77 repository_id: repository.to_param, 78 ontology_id: ontology.to_param, [all...] |
H A D | proofs_controller_spec.rb | 26 repository_id: repository.to_param, 27 ontology_id: ontology.to_param 39 repository_id: repository.to_param, 40 ontology_id: ontology.to_param, 65 repository_id: repository.to_param, 66 ontology_id: ontology.to_param, 92 repository_id: repository.to_param, 93 ontology_id: ontology.to_param 110 repository_id: repository.to_param, 111 ontology_id: ontology.to_param [all...] |
H A D | theorems_controller_spec.rb | 15 repository_id: repository.to_param, 16 ontology_id: ontology.to_param 35 repository_id: repository.to_param, 36 ontology_id: ontology.to_param 55 repository_id: repository.to_param, 56 ontology_id: ontology.to_param
|
H A D | axioms_controller_spec.rb | 12 repository_id: ontology.repository.to_param, 13 ontology_id: ontology.to_param
|
H A D | repository_settings_controller_spec.rb | 8 before { get :index, repository_id: repository.to_param }
|
H A D | symbols_controller_spec.rb | 15 repository_id: repository.to_param, ontology_id: ontology.to_param 32 repository_id: repository.to_param, ontology_id: ontology.to_param
|
H A D | ontology_versions_controller_spec.rb | 18 get :index, repository_id: repository.to_param, ontology_id: ontology_child.to_param 35 get :index, repository_id: repository.to_param, ontology_id: ontology.to_param
|
H A D | formality_levels_controller_spec.rb | 18 before { get :show, id: formality_level.to_param } 31 before { get :edit, id: formality_level.to_param } 41 before { put :update, id: formality_level.to_param } 46 before { delete :destroy, id: formality_level.to_param } 68 before { get :edit, id: formality_level.to_param } 78 before { put :update, id: formality_level.to_param } 83 before { delete :destroy, id: formality_level.to_param }
|
H A D | license_models_controller_spec.rb | 18 before { get :show, id: license_model.to_param } 31 before { get :edit, id: license_model.to_param } 41 before { put :update, id: license_model.to_param } 46 before { delete :destroy, id: license_model.to_param } 68 before { get :edit, id: license_model.to_param } 78 before { put :update, id: license_model.to_param } 83 before { delete :destroy, id: license_model.to_param }
|
H A D | ontologies_controller_spec.rb | 17 before { post :retry_failed, repository_id: repository.to_param } 24 post :retry_failed, repository_id: repository.to_param, id: ontology.id 47 delete :destroy, repository_id: repository.to_param, id: ontology.id 60 delete :destroy, repository_id: repository.to_param, id: ontology.id 81 before { get :index, repository_id: repository.to_param } 99 repository_id: repository.to_param, 100 id: ontology.to_param 113 repository_id: repository.to_param, 114 id: ontology.to_param 135 repository_id: repository.to_param, [all...] |
H A D | projects_controller_spec.rb | 27 before { get :edit, id: project.to_param } 37 before { put :update, id: project.to_param } 42 before { delete :destroy, id: project.to_param } 64 before { get :edit, id: project.to_param } 74 before { put :update, id: project.to_param } 79 before { delete :destroy, id: project.to_param }
|
H A D | tasks_controller_spec.rb | 27 before { get :edit, id: task.to_param } 37 before { put :update, id: task.to_param } 42 before { delete :destroy, id: task.to_param } 64 before { get :edit, id: task.to_param } 74 before { put :update, id: task.to_param } 79 before { delete :destroy, id: task.to_param }
|
H A D | diffs_controller_spec.rb | 16 before { get :show, repository_id: repository.to_param, ref: 'master' } 26 before { get :show, repository_id: repository.to_param, ref: 'master' } 33 before { get :show, repository_id: repository.to_param, ref: 'master' } 49 before { get :show, repository_id: repository.to_param, ref: 'master' } 59 before { get :show, repository_id: repository.to_param, ref: 'master' } 71 before { get :show, repository_id: repository.to_param, ref: 'master' }
|
/ontohub/spec/controllers/api/v1/ |
H A D | proof_attempts_controller_spec.rb | 13 repository_id: repository.to_param, 14 ontology_id: ontology.to_param, 15 theorem_id: theorem.to_param, 32 repository_id: repository.to_param, 33 ontology_id: ontology.to_param, 34 theorem_id: theorem.to_param, 35 id: proof_attempt.to_param, 52 repository_id: repository.to_param, 53 ontology_id: ontology.to_param, 54 theorem_id: theorem.to_param, [all...] |
H A D | proof_attempt_configurations_controller_spec.rb | 13 repository_id: repository.to_param, 14 proof_attempt_id: proof_attempt.to_param, 15 id: pa_configuration.to_param, 33 repository_id: repository.to_param, 34 proof_attempt_id: proof_attempt.to_param, 35 id: pa_configuration.to_param, 57 repository_id: repository.to_param, 58 proof_attempt_id: proof_attempt.to_param, 59 id: pa_configuration.to_param,
|
H A D | prover_outputs_controller_spec.rb | 18 repository_id: repository.to_param, 19 ontology_id: ontology.to_param, 20 theorem_id: theorem.to_param, 21 proof_attempt_id: proof_attempt.to_param,
|
H A D | theorems_controller_spec.rb | 16 repository_id: repository.to_param, 17 ontology_id: ontology.to_param, 18 id: theorem.to_param,
|
H A D | mappings_controller_spec.rb | 16 repository_id: repository.to_param, 17 ontology_id: ontology.to_param, 43 repository_id: ontology.repository.to_param, 44 ontology_id: ontology.to_param, 45 id: mapping.to_param,
|
H A D | ontology_versions_controller_spec.rb | 16 repository_id: repository.to_param, 17 ontology_id: ontology.to_param, 43 repository_id: repository.to_param, 44 ontology_id: ontology.to_param, 46 id: version.to_param,
|
H A D | sentences_controller_spec.rb | 16 repository_id: repository.to_param, 17 ontology_id: ontology.to_param, 43 repository_id: ontology.repository.to_param, 44 ontology_id: ontology.to_param, 45 id: sentence.to_param,
|
H A D | symbols_controller_spec.rb | 16 repository_id: repository.to_param, 17 ontology_id: ontology.to_param, 43 repository_id: repository.to_param, 44 ontology_id: ontology.to_param, 45 id: symbol.to_param,
|