public class CallFlowEdges extends Object
Constructor and Description |
---|
CallFlowEdges() |
Modifier and Type | Method and Description |
---|---|
void |
addCallEdge(int c,
int d1,
int d2)
Record that we've discovered a call edge
|
IntSet |
getCallFlowSourceNodes(int d2) |
IntSet |
getCallFlowSources(int c,
int d2) |
public void addCallEdge(int c, int d1, int d2)
c
- global number identifying the call site noded1
- source fact at the call edged2
- result fact (result of the call flow function)public IntSet getCallFlowSources(int c, int d2)
c
- d2
- public IntSet getCallFlowSourceNodes(int d2)
d2
-