app/models/proof_status.rb

	proof_status.rb revision 826cc3b7365c94d05c44118c603d7a36c1974eee
class ProofStatus < ActiveRecord::Base
  include ProofStatus::CreationFromOntology

  DEFAULT_OPEN_STATUS = 'OPN'
  DEFAULT_PROVEN_STATUS = 'THM'
  DEFAULT_DISPROVEN_STATUS = 'CSA'
  DEFAULT_DISPROVEN_ON_SUBSET = 'CSAS'
  DEFAULT_UNKNOWN_STATUS = 'UNK'
  CONTRADICTORY = 'CONTR'

  self.primary_key = :identifier

  attr_accessible :label,
                  :description,
                  :identifier,
                  :name,
                  :solved,
                  :locid

  validates_presence_of :label

  before_create :generate_locid

  def self.find_with_locid(locid, _iri = nil)
    where(locid: locid).first
  end

  def to_s
    identifier
  end

  def to_param
    identifier
  end

  def solved?
    solved
  end

  protected

  def generate_locid
    self.locid = "/proof-statuses/#{identifier}"
  end
end