app/models/proof_status.rb

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

  DEFAULT_OPEN_STATUS = 'OPN'
  DEFAULT_PROVEN_STATUS = 'THM'
  DEFAULT_DISPROVEN_STATUS = 'NOC'
  DEFAULT_UNKNOWN_STATUS = 'UNK'

  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