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