/// <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());
}