app/controllers/axioms_controller.rb

	axioms_controller.rb revision 9682ce7cd0be309474550ba9d8fb97585d3facc3
#
# Lists axioms of an ontology
#
class AxiomsController < InheritedResources::Base

  belongs_to :ontology

  actions :index
  has_pagination

  respond_to :html, only: %i(index)

  before_filter :check_read_permissions

  protected

  def check_read_permissions
    authorize! :show, parent.repository
  end

  def collection
    @collection ||=
      if display_all?
        axioms =
          if logically_translated?
            parent.all_sentences
          else
            parent.translated_sentences
          end
        Kaminari.paginate_array(axioms).page(params[:page])
      else
        super
      end
  end

  def logically_translated?
    parent.contains_logic_translations?
  end

  helper_method :logically_translated?
end