idp_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] Class which handles the run. <<Explanation of what the run is here.>>
- Parameters
Resource – <<explanation of resource>>
-
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]