core/cache/route_graph library

Functions

addRouteEdge(RouteGraphFile g, String from, String to, String ts) → RouteGraphFile

Record a transition.

addRouteNode(RouteGraphFile g, String screen, String ts) → RouteGraphFile

Record a visit to screen: increment its visitCount or add it.

emptyGraph() → RouteGraphFile

Pure, copy-on-write operations over the route graph. A fresh graph is created synced: there is nothing to ship yet, and creating it dirty would upload an empty graph on the first tick.

ensureNode(RouteGraphFile g, String screen, String ts) → RouteGraphFile

Guarantee screen exists as a node without claiming a visit.

recordNavigation(RouteGraphFile g, String? from, String to, String ts) → RouteGraphFile

The one composite the cache manager calls.