Function computeCallGraphSummaries

computeCallGraphSummaries<T>(
    this: void,
    graph: DataflowGraph,
    own: (
        id: NodeId,
        fdef: DataflowGraphVertexFunctionDefinition,
    ) => Iterable<T>,
): Map<NodeId, Set<T>>
Computes, for every function-definition vertex F, summary(F) = own(F) unioned with summary(G) over every transitive callee G.
Type Parameters
- T
Parameters
- this: void
- graph: DataflowGraph
  the fully linked dataflow graph
- own: (id: NodeId, fdef: DataflowGraphVertexFunctionDefinition) => Iterable<T>
  the effects a single function definition produces itself (its contribution to the summary)
Returns Map<NodeId, Set<T>>
a map from each function-definition vertex to its transitive-effect summary
- Defined in src/dataflow/internal/process/functions/call/built-in/transitive-side-effects.ts:31