/// <summary>
/// Tries to get the list of candidate methods that can
/// override the specified virtual call.
/// </summary>
/// <param name="overriders">List of overrider methods</param>
/// <param name="virtualCall">Virtual call</param>
/// <param name="node">IDataFlowNode</param>
/// <returns>Boolean</returns>
private static bool TryGetCandidateMethodOverriders(out HashSet <MethodDeclarationSyntax> overriders,
InvocationExpressionSyntax virtualCall, IDataFlowNode node)
{
overriders = new HashSet <MethodDeclarationSyntax>();
ISymbol calleeSymbol = null;
SimpleNameSyntax callee = null;
bool isThis = false;
if (virtualCall.Expression is MemberAccessExpressionSyntax)
{
var expr = virtualCall.Expression as MemberAccessExpressionSyntax;
var identifier = expr.Expression.DescendantNodesAndSelf().
OfType <IdentifierNameSyntax>().Last();
calleeSymbol = node.Summary.SemanticModel.GetSymbolInfo(identifier).Symbol;
if (expr.Expression is ThisExpressionSyntax)
{
callee = expr.Name;
isThis = true;
}
}
else
{
callee = virtualCall.Expression as IdentifierNameSyntax;
isThis = true;
}
if (isThis)
{
var typeDeclaration = node.Summary.Method.FirstAncestorOrSelf <TypeDeclarationSyntax>();
if (typeDeclaration != null)
{
foreach (var method in typeDeclaration.Members.OfType <MethodDeclarationSyntax>())
{
if (method.Identifier.ToString().Equals(callee.Identifier.ToString()))
{
overriders.Add(method);
return(true);
}
}
}
return(false);
}
var calleeDefinitions = node.DataFlowInfo.ResolveOutputAliases(calleeSymbol);
var calleeTypes = calleeDefinitions.SelectMany(def => def.CandidateTypes);
if (!calleeTypes.Any())
{
return(false);
}
foreach (var calleeType in calleeTypes)
{
MethodDeclarationSyntax method = null;
if (MethodSummaryResolver.TryGetMethodDeclarationFromType(
out method, calleeType, virtualCall, node))
{
overriders.Add(method);
}
}
return(true);
}
