idp_server.rest¶

This module implements the IDP-Z3 web server

class idp_server.rest.HelloWorld[source]¶

idp_server.rest.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 idp_server.rest.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 idp_server.rest.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 idp_server.rest.metaWithGraph[source]¶

post()[source]¶

Method to export the metaJSON from the resource.

Returns metaJSON:
	a json string containing the meta.

class idp_server.rest.eval[source]¶

class idp_server.rest.evalWithGraph[source]¶