public void AddCall(AnalysisInvocationExpession call, AnalysisCallNode callNode)
{
var v = AddVertex(callNode, call);
callNodes.Add(callNode);
AddToWorkList(callNode);
}
private GraphNode<GraphNodeAnnotationData> AddVertex(AnalysisCallNode m, AnalysisInvocationExpession callNode)
{
Contract.Assert(callNode != null);
var v = AddVertex(m);
if (callNode != null)
{
v.Value.CallNode = callNode;
}
return v;
}
private Vertex AddVertex(AnalysisCallNode m, AnalysisInvocationExpession callNode)
{
Contract.Assert(callNode != null);
Vertex v = AddVertex(m);
if (callNode != null)
{
var data = GetData(v);
data.CallNode = callNode;
}
return v;
}
