/// <summary>
/// Normalizes the <paramref name="statement" />.
/// </summary>
public override SyntaxNode VisitExpressionStatement(ExpressionStatementSyntax statement)
{
if (!statement.Expression.IsKind(SyntaxKind.InvocationExpression))
{
return(statement);
}
var expression = (InvocationExpressionSyntax)statement.Expression;
var methodSymbol = expression.GetReferencedSymbol <IMethodSymbol>(SemanticModel);
if (!methodSymbol.IsBindMethod(SemanticModel))
{
return(statement);
}
var requiredPortReferenceExpression = (InvocationExpressionSyntax)expression.ArgumentList.Arguments[0].Expression;
var providedPortReferenceExpression = (InvocationExpressionSyntax)expression.ArgumentList.Arguments[1].Expression;
var requiredPorts = requiredPortReferenceExpression.ResolvePortReferences(SemanticModel);
var providedPorts = providedPortReferenceExpression.ResolvePortReferences(SemanticModel);
requiredPorts.RemoveWhere(symbol => !symbol.IsRequiredPort(SemanticModel));
providedPorts.RemoveWhere(symbol => symbol.IsRequiredPort(SemanticModel));
if (methodSymbol.Arity == 1)
{
var delegateType = (INamedTypeSymbol)methodSymbol.TypeArguments[0];
MethodSymbolFilter.Filter(requiredPorts, delegateType);
MethodSymbolFilter.Filter(providedPorts, delegateType);
}
else
{
MethodSymbolFilter.Filter(requiredPorts, providedPorts);
}
// The analyzer guarantees that there is exactly one port in each set now, but just to be sure...
Assert.That(requiredPorts.Count == 1, "Expected exactly one required port at this point.");
Assert.That(providedPorts.Count == 1, "Expected exactly one provided port at this point.");
var requiredPortExpression = requiredPortReferenceExpression.ArgumentList.Arguments[0].Expression;
var providedPortExpression = providedPortReferenceExpression.ArgumentList.Arguments[0].Expression;
var requiredPortReference = CreatePortReference(requiredPorts.Single(), requiredPortExpression);
var providedPortReference = CreatePortReference(providedPorts.Single(), providedPortExpression);
var binderType = Syntax.TypeExpression(SemanticModel.GetTypeSymbol(typeof(PortBinding)));
var binderInstance = Syntax.ObjectCreationExpression(binderType, requiredPortReference, providedPortReference);
var bindMemberAccess = Syntax.MemberAccessExpression(binderInstance, nameof(PortBinding.Bind));
var invocation = (ExpressionSyntax)Syntax.InvocationExpression(bindMemberAccess);
return(statement.WithExpression(invocation).NormalizeWhitespace().WithTrivia(statement).PrependLineDirective(statement.GetLineNumber()));
}
/// <summary>
/// Performs the analysis on the given binding.
/// </summary>
/// <param name="context">The context in which the analysis should be performed.</param>
private static void Analyze(SyntaxNodeAnalysisContext context)
{
var semanticModel = context.SemanticModel;
var expression = (InvocationExpressionSyntax)context.Node;
var methodSymbol = semanticModel.GetSymbolInfo(expression.Expression).Symbol as IMethodSymbol;
if (methodSymbol == null || !methodSymbol.IsBindMethod(semanticModel))
{
return;
}
if (methodSymbol.Arity == 1 && methodSymbol.TypeArguments[0].TypeKind != TypeKind.Delegate)
{
_nonDelegateBinding.Emit(context, expression);
return;
}
var requiredPortReferenceExpression = (InvocationExpressionSyntax)expression.ArgumentList.Arguments[0].Expression;
var providedPortReferenceExpression = (InvocationExpressionSyntax)expression.ArgumentList.Arguments[1].Expression;
var requiredPorts = requiredPortReferenceExpression.ResolvePortReferences(semanticModel);
var providedPorts = providedPortReferenceExpression.ResolvePortReferences(semanticModel);
requiredPorts.RemoveWhere(symbol => !symbol.IsRequiredPort(semanticModel));
providedPorts.RemoveWhere(symbol => symbol.IsRequiredPort(semanticModel));
var requiredPortCandidates = requiredPorts.ToArray();
var providedPortCandidates = providedPorts.ToArray();
if (methodSymbol.Arity == 1)
{
var delegateType = (INamedTypeSymbol)methodSymbol.TypeArguments[0];
MethodSymbolFilter.Filter(requiredPorts, delegateType);
MethodSymbolFilter.Filter(providedPorts, delegateType);
}
else
{
MethodSymbolFilter.Filter(requiredPorts, providedPorts);
}
if (requiredPorts.Count == 0 || providedPorts.Count == 0)
{
_bindingFailure.Emit(context, expression, PortSetToString(requiredPortCandidates), PortSetToString(providedPortCandidates));
}
else if (requiredPorts.Count > 1 || providedPorts.Count > 1)
{
_ambiguousBinding.Emit(context, expression, PortSetToString(requiredPorts.ToArray()), PortSetToString(providedPorts.ToArray()));
}
}