private static IEnumerable <SourceLocationInfo> GetSourceLocationsFromCall(string CheckProcedureName, string CalleeName)
{
Program originalProgram = GVUtil.GetFreshProgram(CommandLineOptions.Clo.Files, false, false);
var Bodies = originalProgram.Implementations.Where(Item => Item.Name.Equals(CalleeName)).ToList();
if (Bodies.Count == 0)
{
return(new HashSet <SourceLocationInfo>());
}
return(GetSourceLocationsFromBlocks(CheckProcedureName, Bodies[0].Blocks));
}
private static Program GetOriginalProgram()
{
return(GVUtil.GetFreshProgram(CommandLineOptions.Clo.Files, false, false));
}
