proof_status.rb revision acd4eb8cf6a31b82d3ff87eda49bac73b2439cc2
e200ddd4b78a4915a072095be2a2e6cac65ed333Eugen Kuksaclass ProofStatus < ActiveRecord::Base
e0a258a3ef5bc6317af9a81ffb33789050451469Eugen Kuksa include ProofStatus::CreationFromOntology
12c59b7f5e3256428dd869f3b2d945ba22daca08Eugen Kuksa
bffca32246bf270682460b095c61f410fe003a6bEugen Kuksa DEFAULT_OPEN_STATUS = 'OPN'
bffca32246bf270682460b095c61f410fe003a6bEugen Kuksa DEFAULT_PROVEN_STATUS = 'THM'
bffca32246bf270682460b095c61f410fe003a6bEugen Kuksa DEFAULT_DISPROVEN_STATUS = 'NOC'
bffca32246bf270682460b095c61f410fe003a6bEugen Kuksa DEFAULT_UNKNOWN_STATUS = 'UNK'
bffca32246bf270682460b095c61f410fe003a6bEugen Kuksa
e200ddd4b78a4915a072095be2a2e6cac65ed333Eugen Kuksa self.primary_key = :identifier
e200ddd4b78a4915a072095be2a2e6cac65ed333Eugen Kuksa
acd4eb8cf6a31b82d3ff87eda49bac73b2439cc2Eugen Kuksa attr_accessible :label,
acd4eb8cf6a31b82d3ff87eda49bac73b2439cc2Eugen Kuksa :description,
acd4eb8cf6a31b82d3ff87eda49bac73b2439cc2Eugen Kuksa :identifier,
acd4eb8cf6a31b82d3ff87eda49bac73b2439cc2Eugen Kuksa :name,
acd4eb8cf6a31b82d3ff87eda49bac73b2439cc2Eugen Kuksa :solved,
acd4eb8cf6a31b82d3ff87eda49bac73b2439cc2Eugen Kuksa :locid
63f9ea6c6ef0939175d71d4b63889887de7ecb90Eugen Kuksa
63f9ea6c6ef0939175d71d4b63889887de7ecb90Eugen Kuksa validates_presence_of :label
e200ddd4b78a4915a072095be2a2e6cac65ed333Eugen Kuksa
acd4eb8cf6a31b82d3ff87eda49bac73b2439cc2Eugen Kuksa before_create :generate_locid
acd4eb8cf6a31b82d3ff87eda49bac73b2439cc2Eugen Kuksa
acd4eb8cf6a31b82d3ff87eda49bac73b2439cc2Eugen Kuksa def self.find_with_locid(locid, _iri = nil)
acd4eb8cf6a31b82d3ff87eda49bac73b2439cc2Eugen Kuksa where(locid: locid).first
acd4eb8cf6a31b82d3ff87eda49bac73b2439cc2Eugen Kuksa end
acd4eb8cf6a31b82d3ff87eda49bac73b2439cc2Eugen Kuksa
e200ddd4b78a4915a072095be2a2e6cac65ed333Eugen Kuksa def to_s
e200ddd4b78a4915a072095be2a2e6cac65ed333Eugen Kuksa identifier
e200ddd4b78a4915a072095be2a2e6cac65ed333Eugen Kuksa end
e200ddd4b78a4915a072095be2a2e6cac65ed333Eugen Kuksa
e200ddd4b78a4915a072095be2a2e6cac65ed333Eugen Kuksa def to_param
e200ddd4b78a4915a072095be2a2e6cac65ed333Eugen Kuksa identifier
e200ddd4b78a4915a072095be2a2e6cac65ed333Eugen Kuksa end
e200ddd4b78a4915a072095be2a2e6cac65ed333Eugen Kuksa
12c59b7f5e3256428dd869f3b2d945ba22daca08Eugen Kuksa def solved?
12c59b7f5e3256428dd869f3b2d945ba22daca08Eugen Kuksa solved
e200ddd4b78a4915a072095be2a2e6cac65ed333Eugen Kuksa end
acd4eb8cf6a31b82d3ff87eda49bac73b2439cc2Eugen Kuksa
acd4eb8cf6a31b82d3ff87eda49bac73b2439cc2Eugen Kuksa protected
acd4eb8cf6a31b82d3ff87eda49bac73b2439cc2Eugen Kuksa
acd4eb8cf6a31b82d3ff87eda49bac73b2439cc2Eugen Kuksa def generate_locid
acd4eb8cf6a31b82d3ff87eda49bac73b2439cc2Eugen Kuksa self.locid = "/proof-statuses/#{identifier}"
acd4eb8cf6a31b82d3ff87eda49bac73b2439cc2Eugen Kuksa end
e200ddd4b78a4915a072095be2a2e6cac65ed333Eugen Kuksaend