internal async Task<ISet<TypeDescriptor>> GetPotentialTypesAsync(PropGraphNodeDescriptor n, PropagationGraph propGraph, ICodeProvider codeProvider)
{
var result = new HashSet<TypeDescriptor>();
foreach (var typeDescriptor in propGraph.GetTypes(n))
{
// TO-DO fix by adding a where T: AnalysisType
if (typeDescriptor.IsConcreteType)
{
result.Add(typeDescriptor);
}
else
{
Contract.Assert(this.InstatiatedTypes != null);
foreach(var candidateType in this.InstatiatedTypes)
{
var isSubtype = await codeProvider.IsSubtypeAsync(candidateType, typeDescriptor);
if(isSubtype)
{
result.Add(candidateType);
}
}
}
}
return result;
}
internal ISet<TypeDescriptor> GetPotentialTypes(PropGraphNodeDescriptor n, PropagationGraph propGraph, ICodeProvider codeProvider)
{
var result = new HashSet<TypeDescriptor>();
foreach (var typeDescriptor in propGraph.GetTypes(n))
{
// TO-DO fix by adding a where T: AnalysisType
if (typeDescriptor.IsConcreteType)
{
result.Add(typeDescriptor);
}
else
{
// If it is a declaredTyped it means we were not able to compute a concrete type
// Therefore, we instantiate all compatible types for the set of instantiated types
//result.UnionWith(this.InstatiatedTypes.Where(iType => iType.IsSubtype(typeDescriptor)));
Contract.Assert(this.InstatiatedTypes != null);
// Diego: This requires a Code Provider. Now it will simply fail.
result.UnionWith(this.InstatiatedTypes.Where(candidateTypeDescriptor
=> codeProvider.IsSubtype(candidateTypeDescriptor, typeDescriptor)));
}
}
return result;
}
private async Task<ISet<MethodDescriptor>> GetDelegateCalleesAsync(VariableNode delegateNode, PropagationGraph propGraph, ICodeProvider codeProvider)
{
var callees = new HashSet<MethodDescriptor>();
var typeDescriptors = propGraph.GetTypes(delegateNode);
foreach (var delegateInstance in propGraph.GetDelegates(delegateNode))
{
if (typeDescriptors.Count() > 0)
{
foreach (var typeDescriptor in typeDescriptors)
{
// TO-DO!!!
// Ugly: I'll fix it
//var aMethod = delegateInstance.FindMethodImplementation(type);
var aMethod = await codeProvider.FindMethodImplementationAsync(delegateInstance, typeDescriptor);
callees.Add(aMethod);
}
}
else
{
// if Count is 0, it is a delegate that do not came form an instance variable
callees.Add(delegateInstance);
}
}
return callees;
}
