theorem_serializer.rb revision 05d3ce5925b0cbd1539dee654a6612023a62cc92
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksaclass TheoremSerializer < ApplicationSerializer
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa class Reference < ApplicationSerializer
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa attributes :iri
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa attributes :name
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa def iri
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa qualified_locid_for(object)
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa end
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa end
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa attributes :iri,
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa :name,
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa :definition,
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa :evaluation_state
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa has_one :proof_status, serializer: ProofStatusSerializer::Reference
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa has_one :ontology, serializer: OntologySerializer::Reference
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa attributes :symbols,
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa :proof_attempts
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa def iri
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa Reference.new(object).iri
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa end
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa def definition
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa object.text
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa end
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa def evaluation_state
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa object.state
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa end
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa def symbols
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa qualified_locid_for(object, :symbols)
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksa end
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa def proof_attempts
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa qualified_locid_for(object, :proof_attempts)
05d3ce5925b0cbd1539dee654a6612023a62cc92Eugen Kuksa end
0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8dEugen Kuksaend