app/serializers/theorem_serializer.rb

	theorem_serializer.rb revision 0c8dc1f7204f00ba5c866b113c6b5fc22ca7da8d
class TheoremSerializer < ApplicationSerializer
  class Reference < ApplicationSerializer
    attributes :iri
    attributes :name

    def iri
      qualified_locid_for(object)
    end
  end

  attributes :iri, :symbols
  attributes :name, :text, :imported

  has_one :ontology, serializer: OntologySerializer::Reference

  def iri
    Reference.new(object).iri
  end

  def symbols
    qualified_locid_for(object, :symbols)
  end
end