Searched refs:number (Results 1 - 19 of 19) sorted by relevance

/ontohub/app/helpers/admin/
H A Dstatus_helper.rb2 def class_for_tab(view, tab, number)
5 classes << 'disabled' if number == 0
/ontohub/lib/
H A Dnumbering.rb15 # It's possible that the database column `number` has not yet been created.
16 if respond_to?(:number)
18 max = self.class.where(column => send(column).to_i).maximum('number').to_i
19 self.number = max + 1
H A Dproof_evaluation_state_updater.rb26 proof_attempts: failed_proof_attempts.map(&:number).join(', '))
33 theorem.proof_attempts.select(%i(id number)).state(:failed)
H A Diri_url_builder.rb21 reference: ontology_version.number,
H A Dontology_version_finder.rb29 number: version_reference).first
/ontohub/app/serializers/
H A Dontology_version_serializer.rb4 attributes :number
13 attributes :number, :commit_oid
H A Dproof_attempt_configuration_serializer.rb11 attributes :number
23 def number method in class:ProofAttemptConfigurationSerializer
24 object.proof_attempt.number
H A Dproof_attempt_serializer.rb4 attributes :number
12 :number,
/ontohub/app/controllers/
H A Dontology_version_member.rb14 @version ||= ontology.versions.find_by_number!(params[:number])
H A Doops_requests_controller.rb31 ontology.versions.where(number: params[:ontology_version_id]).first!
/ontohub/spec/controllers/
H A Doops_request_controller_spec.rb20 ontology_version_id: version.number,
35 ontology_version_id: version.number,
49 ontology_version_id: version.number,
66 ontology_version_id: version.number,
79 ontology_version_id: version.number,
/ontohub/features/step_definitions/
H A Dcombination_steps.rb27 Given(/^I have (\d+) ontologies$/) do |number|
28 @ontologies = (1..number.to_i).to_a.
52 Then(/^I should get a (\d+) response$/) do |number|
53 expect(last_response.status).to eq(number.to_i)
H A Dprocessing_ontologies_status_steps.rb23 Transform /^(-?\d+)$/ do |number|
24 number.to_i
H A Drepository_edit_file_steps.rb54 number = 1 + @ontology.children.count
56 expect(page.find('#ontology-list-headline').text).to match(/\s+#{number}\s+/)
57 expect(page).to have_selector('ul.ontology-list > li', count: number)
/ontohub/spec/controllers/api/v1/
H A Dontology_versions_controller_spec.rb45 reference: version.number,
/ontohub/spec/models/
H A Dontology_version_spec.rb10 it { should have_db_index([:ontology_id, :number]) }
/ontohub/app/models/ontology/
H A Dversions.rb9 :order => :number,
13 reorder('number DESC').first
17 reorder('number DESC')
45 order('number DESC').
/ontohub/app/models/
H A Dontology_version.rb49 self.number
53 "#{ontology.name} (version #{number})"
79 "/ref/#{number}#{ontology.locid}"
H A Dproof_attempt.rb25 :number,
36 scope :latest, order('number DESC')
48 "#{theorem.locid}#{sep}#{klass}-#{number}"

Completed in 83 milliseconds