internal ISet<MethodDescriptor> GetReachableMethods(CallGraph<MethodDescriptor, LocationDescriptor> callgraph)
{
return callgraph.GetReachableMethods();
}
internal ISet <MethodDescriptor> GetReachableMethods(CallGraph <MethodDescriptor, LocationDescriptor> callgraph)
{
return(callgraph.GetReachableMethods());
}
/// <summary>
/// Checks if a method is reachbable
/// </summary>
/// <param name="methodDescriptor"></param>
/// <returns></returns>
internal bool IsReachable(MethodDescriptor methodDescriptor, CallGraph<MethodDescriptor, LocationDescriptor> callgraph)
{
//var method = FindMethodSymbolInSolution(methodDescriptor).Method;
//return method != null && Callgraph.GetReachableMethods().Contains(method); // ,new Compare());
return callgraph.GetReachableMethods().Contains(methodDescriptor);
}
/// <summary>
/// Checks if a method is reachbable
/// </summary>
/// <param name="methodDescriptor"></param>
/// <returns></returns>
internal bool IsReachable(MethodDescriptor methodDescriptor, CallGraph <MethodDescriptor, LocationDescriptor> callgraph)
{
//var method = FindMethodSymbolInSolution(methodDescriptor).Method;
//return method != null && Callgraph.GetReachableMethods().Contains(method); // ,new Compare());
return(callgraph.GetReachableMethods().Contains(methodDescriptor));
}