2c131628d69e02c95aa9edae5a55ad49a2b05ec2Eugen Kuksarequire 'sidekiq-status/web' if defined? Sidekiq::Status
a847d9812b328c048773e705606b10875a929034Eugen Kuksarequire Rails.root.join('lib', 'router_constraints.rb')
a4344d37747b6733bbd0d8df738b614cb385316cTim ReddehaseSpecroutes.define(Ontohub::Application.routes) do
5ec1c6ff5da427d945d7fb708567ce3526c4c741Tim Reddehase # IRI Routing #
5ec1c6ff5da427d945d7fb708567ce3526c4c741Tim Reddehase ###############
98ba1c38b1cce99ecc61117259f2ae05ffe98469Tim Reddehase # as per Loc/Id definition
24b750d474f21fead13e7e96d42a7d145581ffa0Tim Reddehase specified_get '/actions/:id' => 'api/v1/actions#show',
24b750d474f21fead13e7e96d42a7d145581ffa0Tim Reddehase doc title: 'An action that represents a long-running operation'
81a6387a4ab56a24194ecbabd6609c6bcca568b7Tim Reddehase # Special (/ref-based) Loc/Id routes
554f2eb7286d90aa6fd39e2e2806ea01f9e9ffc5Tom Gehrke specified_get '/ref/:reference/:repository_id/*locid' => 'ontology_versions#show',
554f2eb7286d90aa6fd39e2e2806ea01f9e9ffc5Tom Gehrke RefLocIdRouterConstraint.new(Ontology, ontology: :id),
10be32b36246121321399ec3ab26d4d723d550e3Tim Reddehase doc title: 'Ontology IRI (loc/id) with version reference',
10be32b36246121321399ec3ab26d4d723d550e3Tim ReddehaseWill return a representation of the ontology at a
10be32b36246121321399ec3ab26d4d723d550e3Tim Reddehaseontology version referenced by the {reference}.
554f2eb7286d90aa6fd39e2e2806ea01f9e9ffc5Tom Gehrke specified_get '/ref/:reference/:repository_id/*locid' => 'api/v1/ontology_versions#show',
81a6387a4ab56a24194ecbabd6609c6bcca568b7Tim Reddehase as: :ontology_iri_versioned,
81a6387a4ab56a24194ecbabd6609c6bcca568b7Tim Reddehase constraints: [
554f2eb7286d90aa6fd39e2e2806ea01f9e9ffc5Tom Gehrke RefLocIdRouterConstraint.new(Ontology, ontology: :ontology_id),
554f2eb7286d90aa6fd39e2e2806ea01f9e9ffc5Tom Gehrke accept 'application/json'
554f2eb7286d90aa6fd39e2e2806ea01f9e9ffc5Tom Gehrke accept 'text/plain'
554f2eb7286d90aa6fd39e2e2806ea01f9e9ffc5Tom Gehrke # reroute_on_mime 'application/json', to: 'api/v1/ontology_versions#show'
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase doc title: 'Ontology IRI (loc/id) with version reference',
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase body: <<-BODY
23f0ab4a423943eb59109df37074ef0c330d07c0Tim ReddehaseWill return a representation of the ontology at a
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehaseontology version referenced by the {reference}.
4949048bda09e116ee3627383e831455954cbe41Tim Reddehase # MMT-Support
4949048bda09e116ee3627383e831455954cbe41Tim Reddehase specified_get '/ref/mmt/:repository_id/*path' => 'ontologies#show',
4949048bda09e116ee3627383e831455954cbe41Tim Reddehase as: :ontology_iri_mmt,
4949048bda09e116ee3627383e831455954cbe41Tim Reddehase constraints: [
4949048bda09e116ee3627383e831455954cbe41Tim Reddehase MMTRouterConstraint.new(Ontology, ontology: :id),
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase accept 'text/html'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase reroute_on_mime 'text/plain', to: 'api/v1/ontologies#show'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase reroute_on_mime 'application/json', to: 'api/v1/ontologies#show'
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase doc title: 'MMT reference to an ontology',
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase body: <<-BODY
23f0ab4a423943eb59109df37074ef0c330d07c0Tim ReddehaseWill return a representation of the ontology. The ontology
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehaseis determined according to the *path and to the MMT-query-string.
4949048bda09e116ee3627383e831455954cbe41Tim Reddehase specified_get '/ref/mmt/:repository_id/*path' => 'mappings#show',
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase as: :mapping_iri_mmt,
4949048bda09e116ee3627383e831455954cbe41Tim Reddehase constraints: [
4949048bda09e116ee3627383e831455954cbe41Tim Reddehase MMTRouterConstraint.new(Mapping, ontology: :ontology_id, element: :id),
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase accept 'text/html'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase reroute_on_mime 'application/json', to: 'api/v1/mappings#show'
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase doc title: 'MMT reference to a mapping',
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase body: <<-BODY
23f0ab4a423943eb59109df37074ef0c330d07c0Tim ReddehaseWill return a representation of the mapping. The mapping
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehaseis determined according to the *path and to the MMT-query-string.
4949048bda09e116ee3627383e831455954cbe41Tim Reddehase specified_get '/ref/mmt/:repository_id/*path' => 'symbols#index',
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase as: :symbol_iri_mmt,
4949048bda09e116ee3627383e831455954cbe41Tim Reddehase constraints: [
4949048bda09e116ee3627383e831455954cbe41Tim Reddehase MMTRouterConstraint.new(OntologyMember::Symbol, ontology: :ontology_id),
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase accept 'text/html'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase reroute_on_mime 'application/json', to: 'api/v1/symbols#show'
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase doc title: 'MMT reference to a symbol',
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase body: <<-BODY
23f0ab4a423943eb59109df37074ef0c330d07c0Tim ReddehaseWill return a representation of the symbol. The symbol
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehaseis determined according to the *path and to the MMT-query-string.
23f0ab4a423943eb59109df37074ef0c330d07c0Tim ReddehaseCurrently the representation ist a list of all symbols in the ontology.
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa specified_get '/ref/mmt/:repository_id/*path' => 'axioms#index',
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa as: :axiom_iri_mmt,
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa constraints: [
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa MMTRouterConstraint.new(Axiom, ontology: :ontology_id),
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa accept 'text/html'
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa reroute_on_mime 'application/json', to: 'api/v1/axioms#show'
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa doc title: 'MMT reference to a axiom',
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa body: <<-BODY
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen KuksaWill return a representation of the axiom. The axiom
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksais determined according to the *path and to the MMT-query-string.
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen KuksaCurrently the representation is a list of all axioms in the ontology.
273b30f33fe1a753893887c8eb94f8078cc96928Eugen Kuksa specified_get '/ref/mmt/:repository_id/*path' => 'theorems#index',
9ade3006d75c25cfa77d51526e4a6cdd2370be5cEugen Kuksa as: :theorem_iri_mmt,
9ade3006d75c25cfa77d51526e4a6cdd2370be5cEugen Kuksa constraints: [
9ade3006d75c25cfa77d51526e4a6cdd2370be5cEugen Kuksa MMTRouterConstraint.new(Theorem, ontology: :ontology_id, element: :id),
9ade3006d75c25cfa77d51526e4a6cdd2370be5cEugen Kuksa accept 'text/html'
9ade3006d75c25cfa77d51526e4a6cdd2370be5cEugen Kuksa doc title: 'MMT reference to a theorem',
9ade3006d75c25cfa77d51526e4a6cdd2370be5cEugen Kuksa body: <<-BODY
9ade3006d75c25cfa77d51526e4a6cdd2370be5cEugen KuksaWill return a representation of the theorem. The theorem
9ade3006d75c25cfa77d51526e4a6cdd2370be5cEugen Kuksais determined according to the *path and to the MMT-query-string.
9ade3006d75c25cfa77d51526e4a6cdd2370be5cEugen KuksaCurrently the representation is a list of all theorems in the ontology.
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa specified_get '/ref/mmt/:repository_id/*path' => 'api/v1/proof_attempt_configurations#show',
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa as: :proof_attempt_configuration_iri_mmt,
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa constraints: [
94e57e017dbd7f0ecd388a648a731b840db24418Eugen Kuksa MMTRouterConstraint.new(ProofAttempt, element: :proof_attempt_id),
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa accept 'application/json'
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa doc title: 'MMT reference to a proof attempt configuration',
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa body: <<-BODY
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen KuksaWill return a representation of the proof attempt configuration. The proof
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksaattempt configuration is determined according to the *path and to the
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen KuksaMMT-query-string.
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa specified_post '/:repository_id/*locid///retry' => 'ontologies#retry_failed',
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa as: :ontology_retry,
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa constraints: [
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa LocIdRouterConstraint.new(Ontology, ontology: :id),
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa accept 'text/html'
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa doc title: 'Ontology retry parsing command',
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa body: <<-BODY
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen KuksaWill parse the ontology again.
81a6387a4ab56a24194ecbabd6609c6bcca568b7Tim Reddehase # Subsites for ontologies
7c0f71e3e6e26af2cc91112fdbe3905879bfd893Tim Reddehase ontology_subsites = %i(
503ccb65bd740225668eb51be966d60fb4ae29e1Tim Reddehase comments metadata graphs
312733de400428e2d0c652e0b408339e13fa506cSascha Graef projects tasks
503ccb65bd740225668eb51be966d60fb4ae29e1Tim Reddehase ontology_api_subsites = %i(
7c0f71e3e6e26af2cc91112fdbe3905879bfd893Tim Reddehase mappings symbols children
575f7ed30e509f1a650d73927f607e7b5b11a6dbEugen Kuksa axioms theorems
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa ontology_versions
503ccb65bd740225668eb51be966d60fb4ae29e1Tim Reddehase license_models formality_levels
7c0f71e3e6e26af2cc91112fdbe3905879bfd893Tim Reddehase ontology_subsites.each do |category|
d11de492e18415f91e383e1567beb4e1385d5938Tim Reddehase specified_get "/:repository_id/*locid///#{category}" => "#{category}#index",
7c0f71e3e6e26af2cc91112fdbe3905879bfd893Tim Reddehase as: :"ontology_iri_#{category}",
7c0f71e3e6e26af2cc91112fdbe3905879bfd893Tim Reddehase constraints: [
7c0f71e3e6e26af2cc91112fdbe3905879bfd893Tim Reddehase LocIdRouterConstraint.new(Ontology, ontology: :ontology_id),
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase accept 'text/html'
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase doc title: "Ontology subsite about #{category.to_s.gsub(/_/, ' ')}",
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase body: <<-BODY
23f0ab4a423943eb59109df37074ef0c330d07c0Tim ReddehaseWill provide a subsite of a specific ontology.
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa specified_post '/:repository_id/*locid///prove' => 'proofs#create',
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa as: :"theorem_prove",
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa constraints: [
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa LocIdRouterConstraint.new(Theorem, ontology: :ontology_id, element: :theorem_id),
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa accept 'text/html'
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa doc title: 'loc/id reference to a theorem command',
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa body: <<-BODY
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen KuksaWill return a representation of the theorem command. The theorem
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksais determined according to the *locid.
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa specified_get '/:repository_id/*locid///prove' => 'proofs#new',
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa as: :theorem_prove,
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa constraints: [
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa LocIdRouterConstraint.new(Theorem, ontology: :ontology_id, element: :theorem_id),
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa accept 'text/html'
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa doc title: 'loc/id reference to a theorem command',
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa body: <<-BODY
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen KuksaWill return a representation of the theorem command. The theorem
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksais determined according to the *locid.
503ccb65bd740225668eb51be966d60fb4ae29e1Tim Reddehase ontology_api_subsites.each do |category|
503ccb65bd740225668eb51be966d60fb4ae29e1Tim Reddehase specified_get "/:repository_id/*locid///#{category}" => "#{category}#index",
503ccb65bd740225668eb51be966d60fb4ae29e1Tim Reddehase as: :"ontology_iri_#{category}",
503ccb65bd740225668eb51be966d60fb4ae29e1Tim Reddehase constraints: [
503ccb65bd740225668eb51be966d60fb4ae29e1Tim Reddehase LocIdRouterConstraint.new(Ontology, ontology: :ontology_id),
503ccb65bd740225668eb51be966d60fb4ae29e1Tim Reddehase accept 'text/html'
503ccb65bd740225668eb51be966d60fb4ae29e1Tim Reddehase reroute_on_mime 'application/json', to: "api/v1/#{category}#index"
503ccb65bd740225668eb51be966d60fb4ae29e1Tim Reddehase doc title: "Ontology subsite about #{category.to_s.gsub(/_/, ' ')}",
503ccb65bd740225668eb51be966d60fb4ae29e1Tim Reddehase body: <<-BODY
503ccb65bd740225668eb51be966d60fb4ae29e1Tim ReddehaseWill provide a subsite of a specific ontology.
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa specified_get '/:repository_id/*locid///prove' => 'proofs#new',
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa as: :ontology_prove,
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa constraints: [
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa LocIdRouterConstraint.new(Ontology, ontology: :ontology_id),
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa accept 'text/html'
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa doc title: 'Ontology prove command',
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa body: <<-BODY
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen KuksaWill provide a site to the ontology command.
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa specified_post '/:repository_id/*locid///prove' => 'proofs#create',
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa as: :ontology_prove,
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa constraints: [
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa LocIdRouterConstraint.new(Ontology, ontology: :ontology_id),
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa accept 'text/html'
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa doc title: 'Ontology prove command',
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa body: <<-BODY
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen KuksaWill provide a site to the ontology command.
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa specified_get '/:repository_id/*locid///edit' => 'ontologies#edit',
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa as: :ontology_edit,
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa constraints: [
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa LocIdRouterConstraint.new(Ontology, ontology: :id),
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa accept 'text/html'
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa doc title: 'Ontology edit command',
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa body: <<-BODY
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen KuksaWill provide a site to the ontology command.
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa specified_put '/:repository_id/*locid' => 'ontologies#update',
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa as: :ontology_update,
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa constraints: [
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa LocIdRouterConstraint.new(Ontology, ontology: :id),
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa accept 'text/html'
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa doc title: 'Ontology update command',
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa body: <<-BODY
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen KuksaWill provide a site to the ontology command.
575f7ed30e509f1a650d73927f607e7b5b11a6dbEugen Kuksa specified_get "/:repository_id/*locid///sentences" => "api/v1/sentences#index",
575f7ed30e509f1a650d73927f607e7b5b11a6dbEugen Kuksa as: :"ontology_iri_sentences",
575f7ed30e509f1a650d73927f607e7b5b11a6dbEugen Kuksa constraints: [
575f7ed30e509f1a650d73927f607e7b5b11a6dbEugen Kuksa LocIdRouterConstraint.new(Ontology, ontology: :ontology_id),
575f7ed30e509f1a650d73927f607e7b5b11a6dbEugen Kuksa accept 'application/json'
575f7ed30e509f1a650d73927f607e7b5b11a6dbEugen Kuksa doc title: "Ontology subsite about sentences",
575f7ed30e509f1a650d73927f607e7b5b11a6dbEugen Kuksa body: <<-BODY
575f7ed30e509f1a650d73927f607e7b5b11a6dbEugen KuksaWill provide a subsite of a specific ontology.
81a6387a4ab56a24194ecbabd6609c6bcca568b7Tim Reddehase # Loc/Id-Show(-equivalent) routes
554f2eb7286d90aa6fd39e2e2806ea01f9e9ffc5Tom Gehrke specified_get '/:repository_id/*locid' => 'api/v1/ontologies#show',
98ba1c38b1cce99ecc61117259f2ae05ffe98469Tim Reddehase as: :ontology_iri,
98ba1c38b1cce99ecc61117259f2ae05ffe98469Tim Reddehase constraints: [
d51cee8257d50d1f2d7c0818d968b32096f6b795Tim Reddehase LocIdRouterConstraint.new(Ontology, ontology: :id),
554f2eb7286d90aa6fd39e2e2806ea01f9e9ffc5Tom Gehrke accept 'text/plain'
554f2eb7286d90aa6fd39e2e2806ea01f9e9ffc5Tom Gehrke accept 'application/json'
554f2eb7286d90aa6fd39e2e2806ea01f9e9ffc5Tom Gehrke reroute_on_mime 'text/html', to: 'ontologies#show'
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase doc title: 'loc/id reference to an ontology',
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase body: <<-BODY
23f0ab4a423943eb59109df37074ef0c330d07c0Tim ReddehaseWill return a representation of the ontology. The ontology
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehaseis determined according to the *locid.
7dadc1a5aa3845c2ce19ad1daa2c63dfd7b59979Tim Reddehase specified_get '/:repository_id/*locid' => 'mappings#show',
7dadc1a5aa3845c2ce19ad1daa2c63dfd7b59979Tim Reddehase as: :mapping_iri,
7dadc1a5aa3845c2ce19ad1daa2c63dfd7b59979Tim Reddehase constraints: [
7dadc1a5aa3845c2ce19ad1daa2c63dfd7b59979Tim Reddehase LocIdRouterConstraint.new(Mapping, ontology: :ontology_id, element: :id),
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase accept 'text/html'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase reroute_on_mime 'application/json', to: 'api/v1/mappings#show'
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase doc title: 'loc/id reference to a mapping',
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase body: <<-BODY
23f0ab4a423943eb59109df37074ef0c330d07c0Tim ReddehaseWill return a representation of the mapping. The mapping
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehaseis determined according to the *locid.
d51cee8257d50d1f2d7c0818d968b32096f6b795Tim Reddehase specified_get '/:repository_id/*locid' => 'symbols#index',
d51cee8257d50d1f2d7c0818d968b32096f6b795Tim Reddehase as: :symbol_iri,
d51cee8257d50d1f2d7c0818d968b32096f6b795Tim Reddehase constraints: [
772288cf17d57e84a4799c56949263f7ff098773Tim Reddehase LocIdRouterConstraint.new(OntologyMember::Symbol, ontology: :ontology_id, element: :id),
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase accept 'text/html'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase reroute_on_mime 'application/json', to: 'api/v1/symbols#show'
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase doc title: 'loc/id reference to a symbol',
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehase body: <<-BODY
23f0ab4a423943eb59109df37074ef0c330d07c0Tim ReddehaseWill return a representation of the symbol. The symbol
23f0ab4a423943eb59109df37074ef0c330d07c0Tim Reddehaseis determined according to the *locid.
23f0ab4a423943eb59109df37074ef0c330d07c0Tim ReddehaseCurrently this will return the list of all symbols of the ontology.
a3bd54a5482d637ac89bbddbc27796d303544d4dEugen Kuksa theorems_subsites = %i(proof_attempts)
a3bd54a5482d637ac89bbddbc27796d303544d4dEugen Kuksa theorems_subsites.each do |subsite|
a3bd54a5482d637ac89bbddbc27796d303544d4dEugen Kuksa specified_get "/:repository_id/*locid///#{subsite}" => "#{subsite}#index",
a3bd54a5482d637ac89bbddbc27796d303544d4dEugen Kuksa as: :"theorem_iri_#{subsite}",
a3bd54a5482d637ac89bbddbc27796d303544d4dEugen Kuksa constraints: [
a3bd54a5482d637ac89bbddbc27796d303544d4dEugen Kuksa LocIdRouterConstraint.new(Theorem, ontology: :ontology_id, element: :theorem_id),
a3bd54a5482d637ac89bbddbc27796d303544d4dEugen Kuksa accept 'text/html'
a3bd54a5482d637ac89bbddbc27796d303544d4dEugen Kuksa reroute_on_mime 'application/json', to: "api/v1/#{subsite}#index"
a3bd54a5482d637ac89bbddbc27796d303544d4dEugen Kuksa doc title: 'loc/id reference to a theorem subsite',
a3bd54a5482d637ac89bbddbc27796d303544d4dEugen Kuksa body: <<-BODY
a3bd54a5482d637ac89bbddbc27796d303544d4dEugen Kuksa Will return a representation of the theorem subsite. The theorem
a3bd54a5482d637ac89bbddbc27796d303544d4dEugen Kuksa is determined according to the *locid.
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa specified_post '/:repository_id/*locid///prove' => 'proofs#create',
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa as: :theorem_prove,
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa constraints: [
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa LocIdRouterConstraint.new(Theorem, ontology: :ontology_id, element: :theorem_id),
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa accept 'text/html'
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa doc title: 'loc/id reference to a theorem command',
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa body: <<-BODY
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen KuksaWill return a representation of the theorem command. The theorem
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksais determined according to the *locid.
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa specified_get '/:repository_id/*locid///prove' => 'proofs#new',
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa as: :theorem_prove,
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa constraints: [
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa LocIdRouterConstraint.new(Theorem, ontology: :ontology_id, element: :theorem_id),
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa accept 'text/html'
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa doc title: 'loc/id reference to a theorem command',
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa body: <<-BODY
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen KuksaWill return a representation of the theorem command. The theorem
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksais determined according to the *locid.
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5Eugen Kuksa specified_get '/:repository_id/*locid' => 'prover_outputs#show',
dfc7323cf206c044e128ffc866be9d3c777be8b7Eugen Kuksa as: :"prover_output_iri",
dfc7323cf206c044e128ffc866be9d3c777be8b7Eugen Kuksa constraints: [
dfc7323cf206c044e128ffc866be9d3c777be8b7Eugen Kuksa LocIdRouterConstraint.new(ProverOutput, ontology: :ontology_id, theorem: :theorem_id, proof_attempt: :proof_attempt_id, element: :id),
dfc7323cf206c044e128ffc866be9d3c777be8b7Eugen Kuksa accept 'application/json'
dfc7323cf206c044e128ffc866be9d3c777be8b7Eugen Kuksa reroute_on_mime 'application/json', to: "api/v1/prover_outputs#show"
dfc7323cf206c044e128ffc866be9d3c777be8b7Eugen Kuksa doc title: 'loc/id reference to a prover output',
dfc7323cf206c044e128ffc866be9d3c777be8b7Eugen Kuksa body: <<-BODY
dfc7323cf206c044e128ffc866be9d3c777be8b7Eugen Kuksa Will return a prover output.
dfc7323cf206c044e128ffc866be9d3c777be8b7Eugen Kuksa The prover output is determined according to the *locid.
c67b096189612bb816b4306ef88080b795b5cf41Eugen Kuksa proof_attempt_api_subsites = %i(
c67b096189612bb816b4306ef88080b795b5cf41Eugen Kuksa used_axioms generated_axioms
c67b096189612bb816b4306ef88080b795b5cf41Eugen Kuksa used_theorems prover_output
c67b096189612bb816b4306ef88080b795b5cf41Eugen Kuksa proof_attempt_api_subsites.each do |subsite|
c67b096189612bb816b4306ef88080b795b5cf41Eugen Kuksa specified_get "/:repository_id/*locid///#{subsite}" => "api/v1/proof_attempts##{subsite}",
c67b096189612bb816b4306ef88080b795b5cf41Eugen Kuksa as: :"proof_attempt_iri_#{subsite}",
c67b096189612bb816b4306ef88080b795b5cf41Eugen Kuksa constraints: [
c67b096189612bb816b4306ef88080b795b5cf41Eugen Kuksa LocIdRouterConstraint.new(ProofAttempt, ontology: :ontology_id, theorem: :theorem_id, element: :id),
c67b096189612bb816b4306ef88080b795b5cf41Eugen Kuksa accept 'application/json'
c67b096189612bb816b4306ef88080b795b5cf41Eugen Kuksa doc title: 'loc/id reference to a proof attempt subsite',
c67b096189612bb816b4306ef88080b795b5cf41Eugen Kuksa body: <<-BODY
c67b096189612bb816b4306ef88080b795b5cf41Eugen Kuksa Will return a subsite of the proof attempt. The proof attempt is determined
c67b096189612bb816b4306ef88080b795b5cf41Eugen Kuksa according to the *locid.
1d39ed6dd0248b5b0c969926bae5f6f66ff4d082Eugen Kuksa sentence_types = %i(axiom theorem)
1d39ed6dd0248b5b0c969926bae5f6f66ff4d082Eugen Kuksa sentence_api_subsites = %i(symbols)
1d39ed6dd0248b5b0c969926bae5f6f66ff4d082Eugen Kuksa sentence_types.each do |type|
1d39ed6dd0248b5b0c969926bae5f6f66ff4d082Eugen Kuksa sentence_api_subsites.each do |subsite|
1d39ed6dd0248b5b0c969926bae5f6f66ff4d082Eugen Kuksa specified_get "/:repository_id/*locid///#{subsite}" => "api/v1/#{subsite}#index",
1d39ed6dd0248b5b0c969926bae5f6f66ff4d082Eugen Kuksa as: :"#{type}_iri_#{subsite}",
1d39ed6dd0248b5b0c969926bae5f6f66ff4d082Eugen Kuksa constraints: [
1d39ed6dd0248b5b0c969926bae5f6f66ff4d082Eugen Kuksa LocIdRouterConstraint.new(type.to_s.camelize.constantize, ontology: :ontology_id, element: :"sentence_id"),
1d39ed6dd0248b5b0c969926bae5f6f66ff4d082Eugen Kuksa accept 'application/json'
1d39ed6dd0248b5b0c969926bae5f6f66ff4d082Eugen Kuksa doc title: "loc/id reference to a #{type} subsite",
1d39ed6dd0248b5b0c969926bae5f6f66ff4d082Eugen Kuksa body: <<-BODY
1d39ed6dd0248b5b0c969926bae5f6f66ff4d082Eugen Kuksa Will return a representation of the #{type} subsite. The #{type}
1d39ed6dd0248b5b0c969926bae5f6f66ff4d082Eugen Kuksa is determined according to the *locid.
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa specified_get '/:repository_id/*locid' => 'axioms#index',
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa as: :axiom_iri,
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa constraints: [
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa LocIdRouterConstraint.new(Axiom, ontology: :ontology_id, element: :id),
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa accept 'text/html'
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa reroute_on_mime 'application/json', to: 'api/v1/axioms#show'
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa doc title: 'loc/id reference to an axiom',
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksa body: <<-BODY
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen KuksaWill return a representation of the axiom. The axiom
1f3a52128a4c9a5830936e25b071ce6a81fec1beEugen Kuksais determined according to the *locid.
0af42668e3f55c0feaf10dc656fb423c4adaba80Eugen KuksaCurrently this will return the list of all axioms of the ontology.
273b30f33fe1a753893887c8eb94f8078cc96928Eugen Kuksa specified_get '/:repository_id/*locid' => 'theorems#index',
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa as: :theorem_iri,
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa constraints: [
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa LocIdRouterConstraint.new(Theorem, ontology: :ontology_id, element: :id),
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa accept 'text/html'
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa reroute_on_mime 'application/json', to: 'api/v1/theorems#show'
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa doc title: 'loc/id reference to a theorem',
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa body: <<-BODY
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen KuksaWill return a representation of the theorem. The theorem
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksais determined according to the *locid.
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa proof_attempt_configuration_api_subsites =
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa %i(selected_axioms selected_theorems)
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa proof_attempt_configuration_api_subsites.each do |subsite|
94e57e017dbd7f0ecd388a648a731b840db24418Eugen Kuksa specified_get "/:repository_id/*locid///proof-attempt-configuration///#{subsite}" => "api/v1/proof_attempt_configurations##{subsite}",
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa as: :"proof_attempt_configuration_iri_#{subsite}",
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa constraints: [
94e57e017dbd7f0ecd388a648a731b840db24418Eugen Kuksa LocIdRouterConstraint.new(ProofAttempt, element: :proof_attempt_id),
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa accept 'application/json'
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa doc title: 'loc/id reference to a proof attempt configuration subsite',
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa body: <<-BODY
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa Will return a subsite of the proof attempt configuration. The proof attempt
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa configuration is determined according to the *locid.
94e57e017dbd7f0ecd388a648a731b840db24418Eugen Kuksa specified_get '/:repository_id/*locid///proof-attempt-configuration' => 'api/v1/proof_attempt_configurations#show',
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa as: :proof_attempt_configuration_iri,
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa constraints: [
94e57e017dbd7f0ecd388a648a731b840db24418Eugen Kuksa LocIdRouterConstraint.new(ProofAttempt, element: :proof_attempt_id),
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa accept 'application/json'
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa doc title: 'loc/id reference to a proof attempt configuration',
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen Kuksa body: <<-BODY
b7fe8f3179594e2ebccf6ee9f562e9c2e17aab96Eugen KuksaWill return a representation of the proof attempt configuration. The proof attempt configuration
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksais determined according to the *locid.
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa specified_get '/:repository_id/*locid' => 'sentences#index',
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa as: :sentence_iri,
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa constraints: [
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa LocIdRouterConstraint.new(Sentence, ontology: :ontology_id, element: :id),
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa accept 'text/html'
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa reroute_on_mime 'application/json', to: 'api/v1/sentences#show'
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa doc title: 'loc/id reference to a sentence',
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksa body: <<-BODY
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen KuksaWill return a representation of the sentence. The sentence
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen Kuksais determined according to the *locid.
41a28e74548dbac9c1ee8f936906904fb91dda0cEugen KuksaCurrently this will return the list of all sentences of the ontology.
9f4ecaa71ceb2eec7be34a2687cb8c3cb3441b05Eugen Kuksa specified_get '/:repository_id/*locid' => 'proof_attempts#show',
9f4ecaa71ceb2eec7be34a2687cb8c3cb3441b05Eugen Kuksa as: :proof_attempt_iri,
9f4ecaa71ceb2eec7be34a2687cb8c3cb3441b05Eugen Kuksa constraints: [
9f4ecaa71ceb2eec7be34a2687cb8c3cb3441b05Eugen Kuksa LocIdRouterConstraint.new(ProofAttempt, ontology: :ontology_id, theorem: :theorem_id, element: :id),
9f4ecaa71ceb2eec7be34a2687cb8c3cb3441b05Eugen Kuksa accept 'text/html'
7dd850622b51de5132e9383683cd28370a7c4b1aEugen Kuksa reroute_on_mime 'application/json', to: 'api/v1/proof_attempts#show'
9f4ecaa71ceb2eec7be34a2687cb8c3cb3441b05Eugen Kuksa doc title: 'loc/id reference to a proof attempt',
9f4ecaa71ceb2eec7be34a2687cb8c3cb3441b05Eugen Kuksa body: <<-BODY
9f4ecaa71ceb2eec7be34a2687cb8c3cb3441b05Eugen KuksaWill return a representation of the proof attempt. The proof attempt
9f4ecaa71ceb2eec7be34a2687cb8c3cb3441b05Eugen Kuksais determined according to the *locid.
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase specified_get '/ontology_types/:id' => 'ontology_types#show',
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase as: :ontology_type do
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase accept 'text/html'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase reroute_on_mime 'application/json', to: 'api/v1/ontology_types#show'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase doc title: 'IRI of an ontology type',
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase body: <<-BODY
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim ReddehaseWill return a representation of the ontology type.
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase specified_get '/logics/:id' => 'logics#show',
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase as: :logic do
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase accept 'text/html'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase reroute_on_mime 'text/xml', to: 'api/v1/logics#show'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase reroute_on_mime 'application/xml', to: 'api/v1/logics#show'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase reroute_on_mime 'application/rdf+xml', to: 'api/v1/logics#show'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase reroute_on_mime 'application/json', to: 'api/v1/logics#show'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase doc title: 'IRI of a logic',
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase body: <<-BODY
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim ReddehaseWill return a representation of the logic.
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase specified_get '/license_models/:id' => 'license_models#show',
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase as: :license_model do
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase accept 'text/html'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase reroute_on_mime 'application/json', to: 'api/v1/license_models#show'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase doc title: 'IRI of a license model',
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase body: <<-BODY
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim ReddehaseWill return a representation of the license model.
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase specified_get '/formality_levels/:id' => 'formality_levels#show',
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase as: :formality_level do
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase accept 'text/html'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase reroute_on_mime 'application/json', to: 'api/v1/formality_levels#show'
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase doc title: 'IRI of a formality level',
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim Reddehase body: <<-BODY
db8aaeeeb3b24f487a5d02c60d18e96e55f6ba85Tim ReddehaseWill return a representation of the formality level.
f7d09796be4b567de968e695a45ec5e7efcde316Eugen Kuksa specified_get '/proof_statuses' => 'api/v1/proof_statuses#index',
d2b14c912448ef770152148c9bc712d3587f3f98Eugen Kuksa as: :proof_statuses do
d2b14c912448ef770152148c9bc712d3587f3f98Eugen Kuksa accept 'application/json'
d2b14c912448ef770152148c9bc712d3587f3f98Eugen Kuksa doc title: 'index of proof statuses',
d2b14c912448ef770152148c9bc712d3587f3f98Eugen Kuksa body: <<-BODY
d2b14c912448ef770152148c9bc712d3587f3f98Eugen KuksaWill return a representation of the proof statuses index.
f7d09796be4b567de968e695a45ec5e7efcde316Eugen Kuksa specified_get '/proof_statuses/:id' => 'api/v1/proof_statuses#show',
f7d09796be4b567de968e695a45ec5e7efcde316Eugen Kuksa as: :proof_status do
d2b14c912448ef770152148c9bc712d3587f3f98Eugen Kuksa accept 'application/json'
f7d09796be4b567de968e695a45ec5e7efcde316Eugen Kuksa doc title: 'reference to a proof status',
d2b14c912448ef770152148c9bc712d3587f3f98Eugen Kuksa body: <<-BODY
f7d09796be4b567de968e695a45ec5e7efcde316Eugen KuksaWill return a representation of the proof status.
5ec1c6ff5da427d945d7fb708567ce3526c4c741Tim Reddehase ###############
9789c65179e43e0e8c91aa11c67e60b02250cba9Sascha Graef get '/after_signup', to: 'home#show' , as: 'after_sign_up'
c7dbfa39641dbdf8d00d1fac2ce96d50a97fcb74henning mueller devise_for :users, controllers: {
c7dbfa39641dbdf8d00d1fac2ce96d50a97fcb74henning mueller confirmations: 'users/confirmations',
c7dbfa39641dbdf8d00d1fac2ce96d50a97fcb74henning mueller registrations: 'users/registrations'
c7dbfa39641dbdf8d00d1fac2ce96d50a97fcb74henning mueller resources :users, only: :show
ef94c50e972402c1f2257068838128424f6bccf1Tim Reddehase namespace 'users' do
ef94c50e972402c1f2257068838128424f6bccf1Tim Reddehase resource :api_keys, only: %w(create)
560baaad7d614c8aa6b7871e3a99ce33a137d93bJulian Kornberger resources :keys, except: [:show, :edit, :update]
6f91bdc1c03bee33882518bd6b5f072968562061Sascha Graef resources :logics, only: [:index, :show] do
a0b65fd7d17589196751bea546f738c3534c4facChristian Clausen resources :supports, :only => [:create, :update, :destroy, :index]
9fbd3a72a4733a42acbea268f38b75b7a35354dcTim Reddehase resources :graphs, :only => [:index]
634abf6594d5960c4ca0b0701b69a81231b05aceChristian Clausen resources :languages do
a0b65fd7d17589196751bea546f738c3534c4facChristian Clausen resources :supports, :only => [:create, :update, :destroy, :index]
7c7f3cf9415077b18027586822f15ac1dafbbaa3Christian Clausen resources :language_mappings
da700948e5ec3281e1b28166430dcabce2cb6bffEugen Kuksa resources :logic_mappings, except: %i(index show)
da700948e5ec3281e1b28166430dcabce2cb6bffEugen Kuksa specified_get '/logic_mappings' => 'logic_mappings#index',
da700948e5ec3281e1b28166430dcabce2cb6bffEugen Kuksa as: :logic_mapping do
da700948e5ec3281e1b28166430dcabce2cb6bffEugen Kuksa accept 'text/html'
da700948e5ec3281e1b28166430dcabce2cb6bffEugen Kuksa reroute_on_mime 'application/json', to: 'api/v1/logic_mappings#index'
da700948e5ec3281e1b28166430dcabce2cb6bffEugen Kuksa doc title: 'index of logic mappings',
da700948e5ec3281e1b28166430dcabce2cb6bffEugen Kuksa body: <<-BODY
da700948e5ec3281e1b28166430dcabce2cb6bffEugen KuksaWill return a representation of the logic mappings index.
da700948e5ec3281e1b28166430dcabce2cb6bffEugen Kuksa specified_get '/logic_mappings/:id' => 'logic_mappings#show',
da700948e5ec3281e1b28166430dcabce2cb6bffEugen Kuksa as: :logic_mapping do
da700948e5ec3281e1b28166430dcabce2cb6bffEugen Kuksa accept 'text/html'
da700948e5ec3281e1b28166430dcabce2cb6bffEugen Kuksa reroute_on_mime 'application/json', to: 'api/v1/logic_mappings#show'
da700948e5ec3281e1b28166430dcabce2cb6bffEugen Kuksa doc title: 'id reference to a logic mapping',
da700948e5ec3281e1b28166430dcabce2cb6bffEugen Kuksa body: <<-BODY
da700948e5ec3281e1b28166430dcabce2cb6bffEugen KuksaWill return a representation of the logic mapping. The logic mapping
da700948e5ec3281e1b28166430dcabce2cb6bffEugen Kuksais determined according to the id.
00c175adc24043fbcd4cd5e3769c9d13e31ff831Model Renamer resources :mappings, only: :index
b23869f9e7504049f5d28bbbc54d812c8ca36abbEugen Kuksa resources :projects
b23869f9e7504049f5d28bbbc54d812c8ca36abbEugen Kuksa resources :tasks
b23869f9e7504049f5d28bbbc54d812c8ca36abbEugen Kuksa resources :license_models
b23869f9e7504049f5d28bbbc54d812c8ca36abbEugen Kuksa resources :formality_levels
ca68055161f6beb2ec248e789ab787e6de69bd18Christian Clausen resources :language_adjoints
ca68055161f6beb2ec248e789ab787e6de69bd18Christian Clausen resources :logic_adjoints
7c5e9db9a07461d92c007563a2a27ca42ce93baeChristian Clausen resources :serializations