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