This module implements the IDP-Z3 web server
To profile it, set with_profiling to True
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.
code – the IDP code.
- Returns IDP
the IDP object.
- class run
Handler for Web IDE
- class meta
Class which handles the meta. <<Explanation of what the meta is here.>>
Resource – <<explanation of resource>>
- class metaWithGraph