Class CallGraphTransitiveClosure


  • public class CallGraphTransitiveClosure
    extends Object
    Utility class for computing an analysis result for call graph nodes and their transitive callees, given the results for individual nodes.
    • Constructor Detail

      • CallGraphTransitiveClosure

        public CallGraphTransitiveClosure()
    • Method Detail

      • transitiveClosure

        public static <T> Map<CGNode,​OrdinalSet<T>> transitiveClosure​(CallGraph cg,
                                                                            Map<CGNode,​Collection<T>> nodeResults)
        Compute the transitive closure of an analysis result over all callees.
        Parameters:
        cg - the call graph
        nodeResults - analysis result for each individual node
        Returns:
        a map from each node to the analysis result for the node and its transitive callees