History log of /hets/PGIP/GraphQL/Resolver/Signature.hs
Revision Date Author Comments Expand
649fdc0d0502d62d160c150684356fef2c273484 11-Feb-2018 Eugen Kuksa <kuksa.eugen@gmail.com>

1811 provide graphql api (#1829) * Fixme (Remove 'True') - Add GraphQL starting point to the web server. * Add GraphQL Schema. * Experiment with the graphql-api package. * Remove the graphql-api package again. * Respond with GraphQL mimics. * Add types for GraphQL mimicking. * Add example queries. * Add proof of concept database fetching. * Add Signature query resolver. * Add SignatureMorphism query resolver. * Add missing key to result JSON. * Add Serialization resolver. * Split code for conversion and retrieval of data. * Fix indentation. * Add OMS query. * Add DGraph query. * Remove commit and document from example queries. * Remove GraphQLApi constructor again. * Save libenv to database via RESTful interface. * Fix line lengths * as library name, ensure a URL containing, in case of file://, an absolute file path * correction: urls should not be treated as file path * avoid re-reading for xmi and qvt; corrected computation of full filename * strip file:// prefix for OWL parser * strip file:// prefix for QVT parser * introduced utility function tryToStripPrefix * strip file:// when writing files

/hets/CSMOF/ParseXmiAsLibDefn.hs /hets/Common/Utils.hs /hets/Driver/Options.hs /hets/Driver/ReadFn.hs /hets/Driver/ReadLibDefn.hs /hets/Driver/WriteFn.hs /hets/Driver/WriteLibDefn.hs /hets/GUI/GtkProverGUI.hs /hets/Hets.cabal /hets/Interfaces/Utils.hs /hets/OWL2/ParseOWL.hs /hets/OWL2/ParseOWLAsLibDefn.hs /hets/OWL2/Taxonomy.hs /hets/PGIP/GraphQL.hs /hets/PGIP/GraphQL/Resolver.hs DGraph.hs OMS.hs Serialization.hs Signature.hs SignatureMorphism.hs ToResult.hs /hets/PGIP/GraphQL/Result.hs /hets/PGIP/GraphQL/Result/Axiom.hs /hets/PGIP/GraphQL/Result/Conjecture.hs /hets/PGIP/GraphQL/Result/ConservativityStatus.hs /hets/PGIP/GraphQL/Result/DGraph.hs /hets/PGIP/GraphQL/Result/DocumentLink.hs /hets/PGIP/GraphQL/Result/FileRange.hs /hets/PGIP/GraphQL/Result/IdReference.hs /hets/PGIP/GraphQL/Result/Language.hs /hets/PGIP/GraphQL/Result/LanguageMapping.hs /hets/PGIP/GraphQL/Result/Library.hs /hets/PGIP/GraphQL/Result/LocIdReference.hs /hets/PGIP/GraphQL/Result/Logic.hs /hets/PGIP/GraphQL/Result/LogicMapping.hs /hets/PGIP/GraphQL/Result/Mapping.hs /hets/PGIP/GraphQL/Result/NativeDocument.hs /hets/PGIP/GraphQL/Result/OMS.hs /hets/PGIP/GraphQL/Result/OMSSimple.hs /hets/PGIP/GraphQL/Result/PremiseSelection.hs /hets/PGIP/GraphQL/Result/Reasoner.hs /hets/PGIP/GraphQL/Result/ReasonerConfiguration.hs /hets/PGIP/GraphQL/Result/ReasonerOutput.hs /hets/PGIP/GraphQL/Result/ReasoningAttempt.hs /hets/PGIP/GraphQL/Result/Sentence.hs /hets/PGIP/GraphQL/Result/Serialization.hs /hets/PGIP/GraphQL/Result/Signature.hs /hets/PGIP/GraphQL/Result/SignatureMorphism.hs /hets/PGIP/GraphQL/Result/StringReference.hs /hets/PGIP/GraphQL/Result/Symbol.hs /hets/PGIP/GraphQL/Result/SymbolMapping.hs /hets/PGIP/GraphQL/exampleQueries/dgraph.graphql /hets/PGIP/GraphQL/exampleQueries/oms.graphql /hets/PGIP/GraphQL/exampleQueries/serialization.graphql /hets/PGIP/GraphQL/exampleQueries/signature.graphql /hets/PGIP/GraphQL/exampleQueries/signatureMorphism.graphql /hets/PGIP/Server.hs /hets/PGIP/Shared.hs /hets/Persistence/DevGraph.hs /hets/Persistence/Schema.hs /hets/Persistence/Utils.hs /hets/QVTR/ParseQvtAsLibDefn.hs /hets/Static/AnalysisLibrary.hs /hets/stack.yaml