716a72d9b9
This commit add two APIs: * POST /banana/typeck { "content": "<banana>" } This API type check the provided banana content but does not evaluate it. * POST /banana/metadata { "content": "<banana>" } This API returns the associated TypeTable of the provided banana content. This is useful to provide auto-completion in an editor. * GET /banana/metadata This API returns the list of components availables. This is also useful to provide auto-completion on existing components in an editor for banana. Change-Id: I31c1de86fe420458ac98aad9d9c8ae6ca73fcc81 |
||
---|---|---|
.. | ||
__init__.py | ||
request_handler.py | ||
web_service.py | ||
web_service_model.py |