ontohub/lib/router_constraints.rb

	router_constraints.rb revision 1365c7c52c67284d3c305ed7cbc2f22a20de7acf
class RouterConstraint
  def params(request)
    request.send(:env)["action_dispatch.request.path_parameters"]
  end

  def set_path_parameters(request, new_params)
    params = params(request)
    controller = params[:controller]
    action     = params[:action]

    params.except!(*params.keys).merge!(
      controller: controller,
      action:     action).merge!(new_params)
  end

  def add_path_parameters(request, add_params)
    set_path_parameters(request, params(request).merge(add_params))
  end
end


class FilesRouterConstraint < RouterConstraint
  def matches?(request)
    return false if Repository.find_by_path(request.params[:repository_id]).nil?

    result = !RepositoryFile.find_with_path(
      params_path_without_format(request)).nil?

    set_params_path_without_format(request) if result

    return result
  end

  protected
  def params_path_without_format(request)
    @params = request.send(:env)["action_dispatch.request.path_parameters"]
    @path   = @params[:path]
    @path  += ".#{@params[:format]}" if @params[:format]

    @params.merge({ path: @path }).except(:format)
  end

  def set_params_path_without_format(request)
    params_path_without_format(request)
    @params.merge!({ path: @path }).except!(:format)
  end
end

class LocIdRouterConstraint < RouterConstraint
  def initialize(find_in_klass, **map)
    @find_in_klass = find_in_klass
    @map = map
    super()
  end

  def matches?(request, path = nil)
    path ||= Journey::Router::Utils.
      unescape_uri(request.original_fullpath)
    # retrieves the hierarchy and member portions of loc/id's
    hierarchy_member = path.split('?', 2).first.split('///', 2).first
    element = @find_in_klass.find_with_locid(hierarchy_member)
    ontology = element.respond_to?(:ontology) ? element.ontology : element
    result = !ontology.nil?

    if result
      proof_attempt = element.proof_attempt if @map[:proof_attempt]
      theorem = element.theorem if @map[:theorem]
      path_params =
        if ontology.respond_to?(:repository)
          {repository_id: ontology.repository.to_param}
        else
          {}
        end
      path_params[@map[:proof_attempt]] = proof_attempt.id if @map[:proof_attempt]
      path_params[@map[:theorem]] = theorem.id if @map[:theorem]
      path_params[@map[:ontology]] = ontology.id if @map[:ontology]
      path_params[@map[:element]] = element.id if @map[:element]

      add_path_parameters(request, path_params)
    end

    return result
  end
end

class RefLocIdRouterConstraint < LocIdRouterConstraint
  def matches?(request)
    params = params(request)
    result = OntologyVersionFinder.
      applicable_reference?(params[:reference])
    path = Journey::Router::Utils.unescape_uri(request.original_fullpath)
    result && update_version_id!(request, path.dup)
  end

  def update_version_id!(request, path)
    version = OntologyVersionFinder.find(path)
    version_id = version.try(:to_param)
    ontology_id = version.try(:ontology).try(:to_param)
    add_path_parameters(request, id: version_id, ontology_id: ontology_id)
    !! version_id
  end
end

class MMTRouterConstraint < LocIdRouterConstraint
  def matches?(request)
    path = request.original_fullpath.
      # Convert MMT to standard Loc/Id
      gsub(/\?+/, '//').
      # Prune ref-portion
      sub('/ref/mmt', '')
    super(request, path)
  end
end

class IRIRouterConstraint < RouterConstraint
  def matches?(request, path = nil)
    path ||= Journey::Router::Utils.
      unescape_uri(request.original_fullpath)
    ontology = Ontology.find_with_iri(path)
    result = !ontology.nil?

    if result
      set_path_parameters(request,
        repository_id: ontology.repository.to_param, id: ontology.id)
    end

    return result
  end
end

class RefIRIRouterConstraint < IRIRouterConstraint
  def matches?(request)
    regex = %r{
      (\?[^=]+$) # matches a lone MMT-argument
      |
      \?([^=;&]+)[&;].*$ # splits a lone MMT-arg from normal query-string
      |
      \?.*$ # drops a the whole standard query-string
    }x
    # remove the ref/:version_number portion from path
    path = Journey::Router::Utils.unescape_uri(request.original_fullpath).
      sub(%r{\A/ref/\d+/}, '').
      sub(regex, '\1')

    super(request, path)
  end
end

class MIMERouterConstraint < RouterConstraint
  attr_accessor :mime_types

  def initialize(*mime_types)
    self.mime_types = mime_types.flatten.map { |m| Mime::Type.lookup(m) }
    super()
  end

  # In some cases request.accepts == [nil] (e.g. cucumber tests),
  # in these cases we will default to true.
  def matches?(request)
    highest_mime = request.accepts.first
    highest_mime ? mime_types.any? { |m| highest_mime == m } : true
  end
end

class GroupedConstraint
  attr_accessor :constraints

  def initialize(*args)
    self.constraints = args.flatten
  end

  def matches?(request)
    constraints.all? { |c| c.matches?(request) }
  end
end