private static int outputSummaryEdges(
final SDG sdg, final String bcMethodName, final String filename)
throws FileNotFoundException {
final SDGNode entry = searchEntry(sdg, bcMethodName);
Set<SDGNode> formIn = sdg.getFormalInsOfProcedure(entry);
formIn = filterStatic(sdg, formIn);
Set<SDGNode> formOut = sdg.getFormalOutsOfProcedure(entry);
formOut = filterStatic(sdg, formOut);
final SummaryGraph summary = IntraprocSummaryEdges.compute(sdg, entry, formIn, formOut);
IntraprocSummaryEdges.writeToDotFile(summary, filename, summary.toString());
return summary.edgeSet().size();
}
