Utilities for working with HTTP entities in a configuration
(endpoints cfg segment-eid)
Return the EIDs of all endpoints that are children of the given route segment.
(find-endpoint-handlers cfg server-eid)
Given a server eid, find the eids of all endpoint handlers in that server
(route-path cfg segment-eid)
Build a route path string for the given route segment eid.
Datalog rule to recursively associate parent and child route segments in a routing tree.
Provided rules are:
- (routes ?ancestor ?descendant) - Link a route with all its parent, ancestor and child routes.
- (endpoints ?route ?endpoint) - Link a route with all endpoints that are transitively or directly attached to it.
(route-segments cfg segment-eid)
Return an ordered list of segment eids between the root server and the given route segment
Find the eids of all the servers in the given configuration