idp_web_server.rest¶
This module implements the IDP-Z3 web server
To profile it, set with_profiling to True
- class HelloWorld[source]
- idpOf(code)[source]
Function to retrieve an IDP object for IDP code. If the object doesn’t exist yet, we create it. idps is a dict which contains an IDP object for each IDP code. This way, easy caching can be achieved.
- Parameters
code – the IDP code.
- Returns IDP
the IDP object.
- class run[source]
Handler for Web IDE
- post()[source]
Method to run an IDP program with a procedure block.
:returns stdout.
- class meta[source]
Class which handles the meta. <<Explanation of what the meta is here.>>
- Parameters
Resource – <<explanation of resource>>
- post()[source]
Method to export the metaJSON from the resource.
- Returns metaJSON
a json string containing the meta.
- class metaWithGraph[source]
- post()[source]
Method to export the metaJSON from the resource.
- Returns metaJSON
a json string containing the meta.
- class eval[source]
- class evalWithGraph[source]
- serve_htmx()[source]
returns the mobile welcome page
- file_open(path)[source]
returns a Single Page Application with FO(.) theory at path