|
// Licensed to the .NET Foundation under one or more agreements.
// The .NET Foundation licenses this file to you under the MIT license.
// See the LICENSE file in the project root for more information.
using System;
using System.Collections.Generic;
using System.Collections.Immutable;
using System.Diagnostics.CodeAnalysis;
using System.Linq;
using System.Threading;
using System.Threading.Tasks;
using Microsoft.CodeAnalysis.CodeActions;
using Microsoft.CodeAnalysis.CodeRefactorings;
using Microsoft.CodeAnalysis.Diagnostics;
using Microsoft.CodeAnalysis.Formatting;
using Microsoft.CodeAnalysis.LanguageService;
using Microsoft.CodeAnalysis.Operations;
using Microsoft.CodeAnalysis.PooledObjects;
using Microsoft.CodeAnalysis.Shared.Extensions;
using Microsoft.CodeAnalysis.Utilities;
using Roslyn.Utilities;
namespace Microsoft.CodeAnalysis.IntroduceUsingStatement;
internal abstract class AbstractIntroduceUsingStatementCodeRefactoringProvider<
TStatementSyntax,
TExpressionStatementSyntax,
TLocalDeclarationSyntax,
TTryStatementSyntax> : CodeRefactoringProvider
where TStatementSyntax : SyntaxNode
where TExpressionStatementSyntax : TStatementSyntax
where TLocalDeclarationSyntax : TStatementSyntax
where TTryStatementSyntax : TStatementSyntax
{
protected abstract string CodeActionTitle { get; }
protected abstract bool PreferSimpleUsingStatement(AnalyzerOptionsProvider options);
protected abstract bool CanRefactorToContainBlockStatements(SyntaxNode parent);
protected abstract SyntaxList<TStatementSyntax> GetSurroundingStatements(TStatementSyntax declarationStatement);
protected abstract SyntaxNode WithStatements(SyntaxNode parentOfStatementsToSurround, SyntaxList<TStatementSyntax> statements);
protected abstract bool HasCatchBlocks(TTryStatementSyntax tryStatement);
protected abstract (SyntaxList<TStatementSyntax> tryStatements, SyntaxList<TStatementSyntax> finallyStatements) GetTryFinallyStatements(TTryStatementSyntax tryStatement);
protected abstract TStatementSyntax CreateUsingStatement(TLocalDeclarationSyntax declarationStatement, SyntaxList<TStatementSyntax> statementsToSurround);
protected abstract TStatementSyntax CreateUsingBlockStatement(TExpressionStatementSyntax expressionStatement, SyntaxList<TStatementSyntax> statementsToSurround);
protected abstract TStatementSyntax CreateUsingLocalDeclarationStatement(TExpressionStatementSyntax expressionStatement, SyntaxToken newVariableName);
protected abstract bool TryCreateUsingLocalDeclaration(ParseOptions options, TLocalDeclarationSyntax declarationStatement, [NotNullWhen(true)] out TLocalDeclarationSyntax? usingDeclarationStatement);
public override async Task ComputeRefactoringsAsync(CodeRefactoringContext context)
{
var (document, span, cancellationToken) = context;
var initialStatement =
(TStatementSyntax?)await document.TryGetRelevantNodeAsync<TLocalDeclarationSyntax>(span, cancellationToken).ConfigureAwait(false) ??
await document.TryGetRelevantNodeAsync<TExpressionStatementSyntax>(span, cancellationToken).ConfigureAwait(false);
if (initialStatement is null)
return;
if (!CanRefactorToContainBlockStatements(initialStatement.GetRequiredParent()))
return;
var semanticModel = await document.GetRequiredSemanticModelAsync(cancellationToken).ConfigureAwait(false);
var disposableType = semanticModel.Compilation.GetSpecialType(SpecialType.System_IDisposable);
if (disposableType is null)
return;
var syntaxFacts = document.GetRequiredLanguageService<ISyntaxFactsService>();
if (initialStatement is TLocalDeclarationSyntax localDeclaration)
{
if (FindDisposableLocalDeclaration(localDeclaration) is string variableName)
{
context.RegisterRefactoring(
CodeAction.Create(
CodeActionTitle,
cancellationToken => IntroduceUsingStatementAsync(document, localDeclaration, variableName, cancellationToken),
CodeActionTitle),
localDeclaration.Span);
}
}
else
{
var expressionStatement = (TExpressionStatementSyntax)initialStatement;
var expressionType = semanticModel.GetTypeInfo(syntaxFacts.GetExpressionOfExpressionStatement(expressionStatement), cancellationToken).Type;
if (IsLegalUsingStatementType(semanticModel.Compilation, disposableType, expressionType))
{
context.RegisterRefactoring(
CodeAction.Create(
CodeActionTitle,
cancellationToken => IntroduceUsingStatementAsync(document, expressionStatement, cancellationToken),
CodeActionTitle),
expressionStatement.Span);
}
}
return;
string? FindDisposableLocalDeclaration(TLocalDeclarationSyntax declarationSyntax)
{
var disposableType = semanticModel.Compilation.GetSpecialType(SpecialType.System_IDisposable);
if (disposableType is null)
return null;
var operation = semanticModel.GetOperation(declarationSyntax, cancellationToken) as IVariableDeclarationGroupOperation;
if (operation?.Declarations.Length != 1)
return null;
var localDeclaration = operation.Declarations[0];
if (localDeclaration.Declarators.Length != 1)
return null;
var declarator = localDeclaration.Declarators[0];
var localType = declarator.Symbol.Type;
if (localType is null)
return null;
var initializer = (localDeclaration.Initializer ?? declarator.Initializer)?.Value;
// Initializer kind is invalid when incomplete declaration syntax ends in an equals token.
if (initializer is null || initializer.Kind == OperationKind.Invalid)
return null;
if (!IsLegalUsingStatementType(semanticModel.Compilation, disposableType, localType))
return null;
return declarator.Symbol.Name;
}
}
/// <summary>
/// Up to date with C# 7.3. Pattern-based disposal is likely to be added to C# 8.0,
/// in which case accessible instance and extension methods will need to be detected.
/// </summary>
private static bool IsLegalUsingStatementType(Compilation compilation, ITypeSymbol disposableType, [NotNullWhen(true)] ITypeSymbol? type)
{
// CS1674: type used in a using statement must implement 'System.IDisposable'
return type != null && compilation.ClassifyCommonConversion(type, disposableType).IsImplicit;
}
private async Task<Document> IntroduceUsingStatementAsync(
Document document,
TLocalDeclarationSyntax declarationStatement,
string variableName,
CancellationToken cancellationToken)
{
var root = await document.GetRequiredSyntaxRootAsync(cancellationToken).ConfigureAwait(false);
var semanticModel = await document.GetRequiredSemanticModelAsync(cancellationToken).ConfigureAwait(false);
var syntaxFacts = document.GetRequiredLanguageService<ISyntaxFactsService>();
var surroundingStatements = GetSurroundingStatements(declarationStatement);
var declarationStatementIndex = surroundingStatements.IndexOf(declarationStatement);
// See if the user had an explicit `try/finally` which was disposing this local already. If so, just
// convert that to a `using` instead.
var tryStatement = declarationStatementIndex + 1 < surroundingStatements.Count
? surroundingStatements[declarationStatementIndex + 1] as TTryStatementSyntax
: null;
if (tryStatement != null &&
ShouldReplaceTryStatementWithUsing(
syntaxFacts, variableName, tryStatement, out var tryStatements))
{
var usingStatement = CreateUsingStatement(declarationStatement, tryStatements);
var newParent = WithStatements(
declarationStatement.GetRequiredParent(),
[.. surroundingStatements
.Take(declarationStatementIndex)
.Concat(usingStatement)
.Concat(surroundingStatements.Skip(declarationStatementIndex + 2))]); // +2 to skip the decl statement and the try statement
return document.WithSyntaxRoot(root.ReplaceNode(
declarationStatement.GetRequiredParent(),
newParent.WithAdditionalAnnotations(Formatter.Annotation)));
}
else
{
var statementsToSurround = GetStatementsToSurround(
declarationStatement, surroundingStatements, semanticModel, syntaxFacts, out var consumedLastSurroundingStatement, cancellationToken);
// If we're intending on surrounding all the statements that follow the declaration, and the language supports it.
// then generate `using var x = ...;` instead of `using (var x = ...) { }`
if (consumedLastSurroundingStatement &&
this.TryCreateUsingLocalDeclaration(root.SyntaxTree.Options, declarationStatement, out var usingDeclarationStatement))
{
return document.WithSyntaxRoot(root.ReplaceNode(declarationStatement, usingDeclarationStatement));
}
else
{
var usingStatement = CreateUsingStatement(declarationStatement, statementsToSurround);
return await ReplaceWithUsingStatementAsync(
document, declarationStatement, statementsToSurround, usingStatement, surroundingStatements, declarationStatementIndex, cancellationToken).ConfigureAwait(false);
}
}
}
private async Task<Document> IntroduceUsingStatementAsync(
Document document,
TExpressionStatementSyntax expressionStatement,
CancellationToken cancellationToken)
{
var options = await document.GetAnalyzerOptionsProviderAsync(cancellationToken).ConfigureAwait(false);
var surroundingStatements = GetSurroundingStatements(expressionStatement);
var statementIndex = surroundingStatements.IndexOf(expressionStatement);
if (PreferSimpleUsingStatement(options))
{
var semanticModel = await document.GetRequiredNullableDisabledSemanticModelAsync(cancellationToken).ConfigureAwait(false);
var semanticFacts = document.GetRequiredLanguageService<ISemanticFactsService>();
var newName = semanticFacts.GenerateUniqueLocalName(semanticModel, expressionStatement, container: null, baseName: "_", cancellationToken);
var usingStatement = this.CreateUsingLocalDeclarationStatement(expressionStatement, newName);
var root = await document.GetRequiredSyntaxRootAsync(cancellationToken).ConfigureAwait(false);
var newRoot = root.ReplaceNode(expressionStatement, usingStatement);
return document.WithSyntaxRoot(newRoot);
}
else
{
SyntaxList<TStatementSyntax> statementsToSurround = [.. surroundingStatements.Skip(statementIndex + 1)];
var usingStatement = CreateUsingBlockStatement(expressionStatement, statementsToSurround);
return await ReplaceWithUsingStatementAsync(
document, expressionStatement, statementsToSurround, usingStatement, surroundingStatements, statementIndex, cancellationToken).ConfigureAwait(false);
}
}
private async Task<Document> ReplaceWithUsingStatementAsync(
Document document,
TStatementSyntax statementToReplace,
SyntaxList<TStatementSyntax> statementsToSurround,
TStatementSyntax usingStatement,
SyntaxList<TStatementSyntax> surroundingStatements,
int statementIndex,
CancellationToken cancellationToken)
{
var root = await document.GetRequiredSyntaxRootAsync(cancellationToken).ConfigureAwait(false);
if (statementsToSurround.Any())
{
var newParent = WithStatements(
statementToReplace.GetRequiredParent(),
[.. surroundingStatements
.Take(statementIndex)
.Concat(usingStatement)
.Concat(surroundingStatements.Skip(statementIndex + 1 + statementsToSurround.Count))]);
return document.WithSyntaxRoot(root.ReplaceNode(
statementToReplace.GetRequiredParent(),
newParent.WithAdditionalAnnotations(Formatter.Annotation)));
}
else
{
// Either the parent is not blocklike, meaning WithStatements can’t be used as in the other branch,
// or there’s just no need to replace more than the statement itself because no following statements
// will be surrounded.
return document.WithSyntaxRoot(root.ReplaceNode(
statementToReplace,
usingStatement.WithAdditionalAnnotations(Formatter.Annotation)));
}
}
private bool ShouldReplaceTryStatementWithUsing(
ISyntaxFactsService syntaxFacts,
string variableName,
TTryStatementSyntax tryStatement,
out SyntaxList<TStatementSyntax> tryStatements)
{
tryStatements = default;
if (HasCatchBlocks(tryStatement))
return false;
(tryStatements, var finallyStatements) = GetTryFinallyStatements(tryStatement);
if (finallyStatements.Count != 1)
return false;
var finallyStatement = finallyStatements.Single();
if (!syntaxFacts.IsExpressionStatement(finallyStatement))
return false;
var expression = syntaxFacts.GetExpressionOfExpressionStatement(finallyStatement);
if (!syntaxFacts.IsInvocationExpression(expression))
return false;
var invokedExpression = syntaxFacts.GetExpressionOfInvocationExpression(expression);
if (!syntaxFacts.IsSimpleMemberAccessExpression(invokedExpression))
return false;
syntaxFacts.GetPartsOfMemberAccessExpression(invokedExpression, out var accessedExpression, out var name);
if (syntaxFacts.GetIdentifierOfSimpleName(name).ValueText != nameof(IDisposable.Dispose))
return false;
if (!syntaxFacts.IsIdentifierName(accessedExpression))
return false;
if (syntaxFacts.GetIdentifierOfIdentifierName(accessedExpression).ValueText != variableName)
return false;
return true;
}
private static SyntaxList<TStatementSyntax> GetStatementsToSurround(
TStatementSyntax statement,
SyntaxList<TStatementSyntax> surroundingStatements,
SemanticModel semanticModel,
ISyntaxFactsService syntaxFactsService,
out bool consumedLastSurroundingStatement,
CancellationToken cancellationToken)
{
consumedLastSurroundingStatement = false;
// Find the minimal number of statements to move into the using block
// in order to not break existing references to the local.
var lastUsageStatement = FindSiblingStatementContainingLastUsage(
statement,
semanticModel,
syntaxFactsService,
cancellationToken);
if (lastUsageStatement == statement)
return default;
consumedLastSurroundingStatement = lastUsageStatement == surroundingStatements.Last();
var declarationStatementIndex = surroundingStatements.IndexOf(statement);
var lastUsageStatementIndex = surroundingStatements.IndexOf(lastUsageStatement, declarationStatementIndex + 1);
return [.. surroundingStatements
.Take(lastUsageStatementIndex + 1)
.Skip(declarationStatementIndex + 1)];
}
private static TStatementSyntax FindSiblingStatementContainingLastUsage(
TStatementSyntax declarationSyntax,
SemanticModel semanticModel,
ISyntaxFactsService syntaxFactsService,
CancellationToken cancellationToken)
{
// We are going to step through the statements starting with the trigger variable's declaration.
// We will track when new locals are declared and when they are used. To determine the last
// statement that we should surround, we will walk through the locals in the order they are declared.
// If the local's declaration index falls within the last variable usage index, we will extend
// the last variable usage index to include the local's last usage.
// Take all the statements starting with the trigger variable's declaration.
var statementsFromDeclarationToEnd = declarationSyntax.GetRequiredParent().ChildNodesAndTokens()
.Select(nodeOrToken => nodeOrToken.AsNode())
.OfType<TStatementSyntax>()
.SkipWhile(node => node != declarationSyntax)
.ToImmutableArray();
// List of local variables that will be in the order they are declared.
using var _0 = ArrayBuilder<ISymbol>.GetInstance(out var localVariables);
// Map a symbol to an index into the statementsFromDeclarationToEnd array.
using var _1 = PooledDictionary<ISymbol, int>.GetInstance(out var variableDeclarationIndex);
using var _2 = PooledDictionary<ISymbol, int>.GetInstance(out var lastVariableUsageIndex);
// Loop through the statements from the trigger declaration to the end of the containing body.
// By starting with the trigger declaration it will add the trigger variable to the list of
// local variables.
for (var statementIndex = 0; statementIndex < statementsFromDeclarationToEnd.Length; statementIndex++)
{
var currentStatement = statementsFromDeclarationToEnd[statementIndex];
// Determine which local variables were referenced in this statement.
using var _ = PooledHashSet<ISymbol>.GetInstance(out var referencedVariables);
AddReferencedLocalVariables(referencedVariables, currentStatement, localVariables, semanticModel, syntaxFactsService, cancellationToken);
// Update the last usage index for each of the referenced variables.
foreach (var referencedVariable in referencedVariables)
{
lastVariableUsageIndex[referencedVariable] = statementIndex;
}
// Determine if new variables were declared in this statement.
var declaredVariables = semanticModel.GetAllDeclaredSymbols(currentStatement, cancellationToken);
foreach (var declaredVariable in declaredVariables)
{
// Initialize the declaration and usage index for the new variable and add it
// to the list of local variables.
variableDeclarationIndex[declaredVariable] = statementIndex;
lastVariableUsageIndex[declaredVariable] = statementIndex;
localVariables.Add(declaredVariable);
}
}
// Initially we will consider the trigger declaration statement the end of the using
// statement. This index will grow as we examine the last usage index of the local
// variables declared within the using statements scope.
var endOfUsingStatementIndex = 0;
// Walk through the local variables in the order that they were declared, starting
// with the trigger variable.
foreach (var localSymbol in localVariables)
{
var declarationIndex = variableDeclarationIndex[localSymbol];
if (declarationIndex > endOfUsingStatementIndex)
{
// If the variable was declared after the last statement to include in
// the using statement, we have gone far enough and other variables will
// also be declared outside the using statement.
break;
}
// If this variable was used later in the method than what we were considering
// the scope of the using statement, then increase the scope to include its last
// usage.
endOfUsingStatementIndex = Math.Max(endOfUsingStatementIndex, lastVariableUsageIndex[localSymbol]);
}
return statementsFromDeclarationToEnd[endOfUsingStatementIndex];
}
/// <summary>
/// Adds local variables that are being referenced within a statement to a set of symbols.
/// </summary>
private static void AddReferencedLocalVariables(
HashSet<ISymbol> referencedVariables,
SyntaxNode node,
ArrayBuilder<ISymbol> localVariables,
SemanticModel semanticModel,
ISyntaxFactsService syntaxFactsService,
CancellationToken cancellationToken)
{
// If this node matches one of our local variables, then we can say it has been referenced.
if (syntaxFactsService.IsIdentifierName(node))
{
var identifierName = syntaxFactsService.GetIdentifierOfSimpleName(node).ValueText;
var variable = localVariables.FirstOrDefault(localVariable
=> syntaxFactsService.StringComparer.Equals(localVariable.Name, identifierName) &&
localVariable.Equals(semanticModel.GetSymbolInfo(node, cancellationToken).Symbol));
if (variable is object)
{
referencedVariables.Add(variable);
}
}
// Walk through child nodes looking for references
foreach (var nodeOrToken in node.ChildNodesAndTokens())
{
// If we have already referenced all the local variables we are
// concerned with, then we can return early.
if (referencedVariables.Count == localVariables.Count)
{
return;
}
var childNode = nodeOrToken.AsNode();
if (childNode is null)
{
continue;
}
AddReferencedLocalVariables(referencedVariables, childNode, localVariables, semanticModel, syntaxFactsService, cancellationToken);
}
}
}
|