| /ontohub/app/models/proof_status/ |
| H A D | creation_from_ontology.rb | 19 new_statuses.each { |status| refresh(status) }
22 def refresh(status)
23 proof_status = ProofStatus.find_or_initialize_by_identifier(status)
24 proof_status.name = proof_status_name(status)
25 proof_status.label = label(status)
26 proof_status.description = description(status)
27 proof_status.solved = solved?(status)
31 def label(status)
33 where('text LIKE ?', "Class: #{status}
[all...] |
| /ontohub/spec/models/ |
| H A D | action_spec.rb | 33 context '#status' do
35 let(:status) { 'some status' }
38 let(:resource) { mock_model('Resource', state: status) }
40 it 'should return the correct status' do
41 expect(action.status).to eq(status)
45 context 'on resource with status' do
46 let(:resource) { mock_model('Resource', status: status) }
[all...] |
| H A D | theorem_spec.rb | 64 context 'from status open' do
70 %i(open unknown success disproven_on_subset disproven proven contr).each do |status|
71 context "to status #{status}" do
72 before { create :proof_attempt, theorem: theorem, proof_status: send(status) }
74 it "theorem has status #{status}" do
75 expect(theorem.proof_status).to eq(send(status))
81 context 'from status unknown' do
87 %i(open).each do |status|
[all...] |
| /ontohub/lib/ |
| H A D | subprocess.rb | 6 attr_reader :status, :output
7 def initialize(args, status, output)
8 super "Subprocess #{args.inspect} exited with status #{status}:\n#{output}"
9 @status = status
20 status = $?.exitstatus
22 if status != 0
23 raise Error.new args, status, output
|
| /ontohub/lib/hets/prove/ |
| H A D | szs_parser.rb | 22 regex_parse_status(/SZS status (\w+)/)
26 status = regex_parse_status(/\n\nSZS status (\w+)/)
27 if status == 'Timeout'
30 status
39 regex_parse_status(/\n# SZS status (\w+)/)
|
| /ontohub/app/controllers/ |
| H A D | filetypes_controller.rb | 5 render json: {status: 415, message: 'Media Type not supported'},
6 status: 415
20 status: 200,
|
| H A D | repository_directories_controller.rb | 11 render json: create_json_data, status: 201
13 render partial: 'form', status: 422
|
| H A D | autocomplete_controller.rb | 31 render :text => error.message, :status => :unprocessable_entity
|
| /ontohub/app/models/ |
| H A D | action.rb | 19 def status method in class:Action
24 elsif resource.respond_to?(:status)
25 resource.status
27 raise NoMethodError, "resource does know neither state nor status."
35 TERMINAL_STATUSES.include?(status.to_s)
|
| /ontohub/app/controllers/api/v1/ |
| H A D | actions_controller.rb | 8 response.status = 303
10 render json: {status: response.message, location: response.location}
|
| H A D | combinations_controller.rb | 12 response.status = 202
14 render json: {status: response.message, location: response.location}
16 response.status = 400
17 render json: {status: response.message,
|
| /ontohub/app/fake_records/ |
| H A D | diff.rb | 31 file_change.diff = diff_without_metadata(diff, file_change.status)
46 def diff_without_metadata(diff, status)
47 diff.split("\n", metadata_line_count(status)).last[0..-1]
50 def metadata_line_count(status)
51 case status
|
| /ontohub/lib/git_repository/ |
| H A D | get_diff.rb | 7 attr_accessor :directory, :name, :status, :delta, :diff
14 @status = delta.status
19 %i( added modified deleted renamed ).each do |status|
20 define_method :"#{status}?" do
21 @status == status
|
| /ontohub/spec/support/ |
| H A D | scenario_progress_formatter.rb | 66 def step_name(keyword, step_match, status, source_indent, background, file_colon_line)
67 name_to_report = format_step(keyword, step_match, status, source_indent)
71 def exception(exception, status)
74 @processed_steps << format_exception(exception, status, EXCEPTION_INDENT)
113 def format_exception(e, status, indent)
120 format_string(string, status)
|
| /ontohub/spec/factories/ |
| H A D | proof_status_factory.rb | 80 statuses.map do |status|
81 ProofStatus.where(identifier: status['identifier']).any? ||
82 ProofStatus.create(status)
|
| /ontohub/app/serializers/ |
| H A D | action_serializer.rb | 12 attributes :iri, :status, :eta
|
| /ontohub/app/controllers/polymorphic_resource/ |
| H A D | base.rb | 19 render :partial => 'form', :status => :unprocessable_entity
|
| /ontohub/app/assets/stylesheets/ |
| H A D | application.css.sass | 61 @import status
|
| /ontohub/features/step_definitions/ |
| H A D | admin_steps.rb | 49 When(/^I allow the user admin status$/) do
53 Then(/^I should see the users overview page and the updated admin user status$/) do
61 When(/^I delete the user admin status$/) do
65 Then(/^I should see the users overview page and the updated non admin user status$/) do
|
| H A D | loc_id_steps.rb | 14 Then(/^I should get a response with a status of (\d+)$/) do |code|
|
| H A D | processing_ontologies_status_steps.rb | 6 Given(/^i navigate to the status page$/) do
37 And i navigate to the status page
|
| /ontohub/app/controllers/privilege_list/ |
| H A D | base.rb | 51 render :text => exception.message, :status => :unprocessable_entity
|
| /ontohub/spec/lib/ |
| H A D | hets_instance_foce_free_worker_spec.rb | 6 to_return(status: 500, body: "", headers: {})
|
| /ontohub/spec/lib/repository/ |
| H A D | diff_spec.rb | 51 %w(modified deleted renamed).each do |status|
52 it "should have the type #{status} in the list when using the first commit" do
53 expect(repository.changed_files(@commit1).first.send("#{status}?")).to be(false)
88 %w(added deleted renamed).each do |status|
89 it "should have the type #{status} in the list when using a commit in the middle" do
90 expect(repository.changed_files(@commit2).first.send("#{status}?")).to be(false)
125 %w(added modified renamed).each do |status|
126 it "should have the type #{status} in the list when using the HEAD" do
127 expect(repository.changed_files.first.send("#{status}?")).to be(false)
|
| /ontohub/lib/uri_fetcher/ |
| H A D | errors.rb | 45 Encountered an unexpected status code of #{status_code}.
|