Improve locId (#1618) * introduce new model to ontohub * introduce new locid behavior * adding try to prevent undefined method for nil * generate the locids by object creation * introduce method to simulate an attribute * generate Locids correctly for ontologies * correct creation of child_ontology locids * remove old uniqueness validation for ontology locid * use better names vor locidportion * correct behaviour for locid creation * generate loc_id correctly for ontology * use correct class for inherritanc * remove locids on deletion of objects * rename the base model * introduce data-migration to move the locids * remove double naming in the cat ontology * obey hound * correct behaviour of external repository for locid * change factory behaviour for locid * fix missing comma * begin to fix test * change ontology factory to new locid * change factories for new LocId Model * remove unneeded test * Use proper class retrieval in factories. * Always use to_s on the class call in LocIdBaseModel. * Always use .class.to_s instead of .class when used for the database. * Fix external repository. * Be clean and unstub again. * Fix sentence factory. * Quick fix the destruction of locids. * Fix code style. * Generate locids during create process: Base class. * Generate locids during create process: Mapping. * Generate locids during create process: Sentence. * Generate locids during create process: Symbol. * Generate locids during create process: ProofAttempt. * Generate locids during create process: ProverOutput. * Generate locids during create process: Ontology #1. * Generate locids during create process: Ontology #2. * Generate locids during create process: Ontology #3. * Generate locids during create process: Factories. * Fix seeds errors. * Fix ontology spec on error while parsing The ontology needs to be reloaded because sidekiq does so as well. It always fetches a fresh record from the database. The test failed before because `NodeEvaluationHelper#clean_ontology` called destroy on all the ontology's symbols which existed in the object, but were not really persisted because of an aborted transaction. * Remove redundant space. * Move comment to the correct line. * Fix worker_spec In the production code, the locid is never set before saving the ontology. * Add gems pry-stack_explorer, awesome_print for debugging purposes. * Only start hets if there was a hets error and rollback the changes. * Destroy dependent prover output. * Fix ProofAttempt factory. * Rename assorted_object to specific and fix migration. * Fix migration code style. * Reanalyze ontologies with duplicate locids. * Fix code style. * Remove redundancies. * Remove useless association. * Obey Hound. * Directly query in the LocIdBaseModel. * Add locid routing feature. * Cache LocId query results This should speed up the routing in a great extent. For each matching `specified_get`, the LocIdRouterConstraint fetched the element once from the database. This resulted in 8 times the same SQL query for a ProofAttempt. The implemented cache reduces this to a single query. * Clear the elements cache periodically to prevent memory leaks. * Add missing dependent: :destroy. * Add Recreating repository feature. * Combine if statements. * Change Given to When. * Catch ambiguous locid error. * Fix i18n key usage. * Fix code style. * Comment on error suppression. * Add spec for Syntax Error. * Use single-quoted strings. * Fix error message check: language. * Keep parameter assignment DRY. * Rename RecreatingRepository feature to Repository. * Use local_variable_get instead of eval. * Change locid column type to text. * Implement (implicit) down-migration. * Implement (explicit) down migration. * Add migration to create missing locids. * Fix nil error. * Really fix nil error. * Fix migration. * Fix sentence migration accessing association. * Force old Mappings to have a name. * Add missing locids to symbols.

Remove MMT-style URI support from RefIRIRouterConstraint.

Pass access token on redirect, fix IRI constraint The IRI constraint fix is temporary. It will be removed as soon as the final RouterConstraints are implemented.

Add API ProofStatusesController and its routes.

Allow locid-subroutes of ProofAttempts.

Add support for theorem sub-pages.

support text for api ontologyversions controller.

mv ontology-version api handling to api namespace This will actually support a show on ontology-versions via json.

fix iri-ref router constraint to handle escapes When we access the path we will get a version that still contains percent-escapes, we'll need to unescape them to do the iri-check.

support MMT-style ref-based loc/ids.

add/replace to params in loc-id-router constraint Instead of completely replacing the params with a new set of values, we keep the old keys and values but overwrite them where necessary.

convert ref-version route to generalized specroute This route should support, with the help of the OntologyVersionFinder, multiple reference arguments, e.g. version-numbers, commits, branches and so forth.

fix MIME-Type router constraint for tests It seems there is a problem where the accepts array is actually equal to [nil] in cucumber/capybara tests. In order to circumvent this we'll default to true for MIME-Type checks in these cases.

adjust loc/id router constraint for command part There is now a COMMAND part to loc/ids which is separated from other elements by three slashes (///). We will need to recognize that.

support symbol loc/id's, redirect to index As we currently do not have a useable symbols#show we'll use symbols#index instead to route symbol loc/id's.

add a loc-id router constraint.

adjust router-constraint for loc/id This includes dropping the query-string from path, as it is not necessary for standard loc/id routes. Additionally for ref/routes we do not drop the leading '/' as it is necessary per loc/id definition.

perform proposed hound-style fixes.

add route for versioned iris In versioned iris the normal iri route is prefixed by a ref/:version_number in order to fetch the state of a specific version of that ontology-(member).

add mime-router and grouped constraints MIME-Router will allow to filter based on mime-accepts-header and GroupedConstraint will allow to include multiple Constraint in an 'and' fashion (all constraints need to be return true).

rename Router to RouterConstraint

Improve routing Only routes for existing files and ontologies are considered.