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(); }