private static async Task ChangeTypeAsync(
RefactoringContext context,
VariableDeclarationSyntax variableDeclaration)
{
SemanticModel semanticModel = await context.GetSemanticModelAsync().ConfigureAwait(false);
TypeAnalysisFlags flags = CSharpAnalysis.AnalyzeType(variableDeclaration, semanticModel, context.CancellationToken);
if (flags.IsExplicit())
{
if (flags.SupportsImplicit() &&
flags.IsValidSymbol() &&
context.IsRefactoringEnabled(RefactoringIdentifiers.ChangeExplicitTypeToVar))
{
context.RegisterRefactoring(
"Change type to 'var'",
cancellationToken =>
{
return(ChangeTypeRefactoring.ChangeTypeToVarAsync(
context.Document,
variableDeclaration.Type,
cancellationToken));
});
}
}
else if (flags.SupportsExplicit() &&
flags.IsValidSymbol() &&
context.IsRefactoringEnabled(RefactoringIdentifiers.ChangeVarToExplicitType))
{
ITypeSymbol typeSymbol = semanticModel.GetTypeSymbol(variableDeclaration.Type, context.CancellationToken);
ChangeType(context, variableDeclaration, typeSymbol, semanticModel, context.CancellationToken);
}
}
private void AnalyzeVariableDeclaration(SyntaxNodeAnalysisContext context)
{
var variableDeclaration = (VariableDeclarationSyntax)context.Node;
TypeAnalysisFlags flags = CSharpAnalysis.AnalyzeType(variableDeclaration, context.SemanticModel, context.CancellationToken);
if (flags.IsExplicit())
{
if (flags.SupportsImplicit() &&
flags.IsTypeObvious())
{
context.ReportDiagnostic(
DiagnosticDescriptors.UseVarInsteadOfExplicitTypeWhenTypeIsObvious,
variableDeclaration.Type);
}
}
else if (flags.SupportsExplicit())
{
if (flags.IsTypeObvious())
{
context.ReportDiagnostic(
DiagnosticDescriptors.UseExplicitTypeInsteadOfVarWhenTypeIsObvious,
variableDeclaration.Type);
}
else if (flags.IsValidSymbol())
{
context.ReportDiagnostic(
DiagnosticDescriptors.UseExplicitTypeInsteadOfVarWhenTypeIsNotObvious,
variableDeclaration.Type);
}
}
}
private static bool IsFixable(TypeAnalysisFlags flags)
{
return(flags.IsExplicit() &&
flags.SupportsImplicit() &&
flags.IsValidSymbol() &&
!flags.IsTypeObvious());
}
private static void AnalyzeForEachStatement(SyntaxNodeAnalysisContext context)
{
var forEachStatement = (ForEachStatementSyntax)context.Node;
TypeAnalysisFlags flags = CSharpAnalysis.AnalyzeType(forEachStatement, context.SemanticModel);
if (flags.IsExplicit() &&
flags.SupportsImplicit())
{
context.ReportDiagnostic(DiagnosticDescriptors.UseVarInsteadOfExplicitTypeInForEach, forEachStatement.Type);
}
}
public static async Task ComputeRefactoringsAsync(
RefactoringContext context,
DeclarationExpressionSyntax declarationExpression)
{
if (declarationExpression.Type?.Span.Contains(context.Span) == true &&
context.IsAnyRefactoringEnabled(
RefactoringIdentifiers.ChangeExplicitTypeToVar,
RefactoringIdentifiers.ChangeVarToExplicitType))
{
SemanticModel semanticModel = await context.GetSemanticModelAsync().ConfigureAwait(false);
TypeAnalysisFlags flags = CSharpAnalysis.AnalyzeType(declarationExpression, semanticModel, context.CancellationToken);
if (flags.IsExplicit())
{
if (flags.SupportsImplicit() &&
flags.IsValidSymbol() &&
context.IsRefactoringEnabled(RefactoringIdentifiers.ChangeExplicitTypeToVar))
{
context.RegisterRefactoring(
"Change type to 'var'",
cancellationToken =>
{
return(ChangeTypeRefactoring.ChangeTypeToVarAsync(
context.Document,
declarationExpression.Type,
cancellationToken));
});
}
}
else if (flags.SupportsExplicit() &&
flags.IsValidSymbol() &&
context.IsRefactoringEnabled(RefactoringIdentifiers.ChangeVarToExplicitType))
{
TypeSyntax type = declarationExpression.Type;
var localSymbol = semanticModel.GetDeclaredSymbol(declarationExpression.Designation, context.CancellationToken) as ILocalSymbol;
ITypeSymbol typeSymbol = localSymbol.Type;
context.RegisterRefactoring(
$"Change type to '{SymbolDisplay.GetMinimalString(typeSymbol, semanticModel, type.Span.Start)}'",
cancellationToken => ChangeTypeRefactoring.ChangeTypeAsync(context.Document, type, typeSymbol, cancellationToken));
}
}
}
internal static async Task ChangeTypeAsync(
RefactoringContext context,
ForEachStatementSyntax forEachStatement)
{
TypeSyntax type = forEachStatement.Type;
if (type?.Span.Contains(context.Span) != true)
{
return;
}
SemanticModel semanticModel = await context.GetSemanticModelAsync().ConfigureAwait(false);
TypeAnalysisFlags flags = CSharpAnalysis.AnalyzeType(forEachStatement, semanticModel);
if (flags.IsExplicit())
{
if (flags.SupportsImplicit() &&
flags.IsValidSymbol() &&
context.IsRefactoringEnabled(RefactoringIdentifiers.ChangeExplicitTypeToVar))
{
context.RegisterRefactoring(
"Change type to 'var'",
cancellationToken => ChangeTypeRefactoring.ChangeTypeToVarAsync(context.Document, type, cancellationToken));
}
}
else if (flags.SupportsExplicit() &&
flags.IsValidSymbol() &&
context.IsRefactoringEnabled(RefactoringIdentifiers.ChangeVarToExplicitType))
{
ITypeSymbol typeSymbol = semanticModel.GetTypeSymbol(type, context.CancellationToken);
context.RegisterRefactoring(
$"Change type to '{SymbolDisplay.GetMinimalString(typeSymbol, semanticModel, type.Span.Start)}'",
cancellationToken => ChangeTypeRefactoring.ChangeTypeAsync(context.Document, type, typeSymbol, cancellationToken));
}
}
public bool Any(TypeAnalysisFlags flags)
{
return((Flags & flags) != 0);
}
internal TypeAnalysis(ITypeSymbol symbol, TypeAnalysisFlags flags)
{
Symbol = symbol;
Flags = flags;
}
public bool All(TypeAnalysisFlags flags)
{
return((Flags & flags) != flags);
}
internal TypeAnalysis(TypeAnalysisFlags flags)
{
Flags = flags;
}
public static bool IsImplicit(this TypeAnalysisFlags flags)
{
return((flags & TypeAnalysisFlags.Implicit) != 0);
}
public static bool IsTypeObvious(this TypeAnalysisFlags flags)
{
return((flags & TypeAnalysisFlags.TypeObvious) != 0);
}
public static bool IsValidSymbol(this TypeAnalysisFlags flags)
{
return((flags & TypeAnalysisFlags.ValidSymbol) != 0);
}
public static bool SupportsExplicit(this TypeAnalysisFlags flags)
{
return((flags & TypeAnalysisFlags.SupportsExplicit) != 0);
}
