Class CallFlowEdges


  • public class CallFlowEdges
    extends Object
    A set of call flow edges which lead to a particular procedure entry s_p.
    • Constructor Detail

      • CallFlowEdges

        public CallFlowEdges()
    • Method Detail

      • addCallEdge

        public void addCallEdge​(int c,
                                int d1,
                                int d2)
        Record that we've discovered a call edge ->
        Parameters:
        c - global number identifying the call site node
        d1 - source fact at the call edge
        d2 - result fact (result of the call flow function)
      • getCallFlowSources

        public IntSet getCallFlowSources​(int c,
                                         int d2)
        Parameters:
        c -
        d2 -
        Returns:
        set of d1 s.t. -> was recorded as call flow, or null if none found.
      • getCallFlowSourceNodes

        public IntSet getCallFlowSourceNodes​(int d2)
        Parameters:
        d2 -
        Returns:
        set of c s.t. -> was recorded as call flow (for some d1), or null if none found.