private static void Handle(SyntaxNodeAnalysisContext context)
{
if (!context.IsExcludedFromAnalysis() &&
context.Node is ArgumentSyntax {
Parent : ArgumentListSyntax {
Parent : InvocationExpressionSyntax invocation
}
} argument&&
argument.RefOrOutKeyword.IsEither(SyntaxKind.RefKeyword, SyntaxKind.OutKeyword) &&
IsCreation(argument, context.SemanticModel, context.CancellationToken) &&
context.SemanticModel.TryGetSymbol(argument.Expression, context.CancellationToken, out var symbol))
{
if (symbol.Kind == SymbolKind.Discard ||
(LocalOrParameter.TryCreate(symbol, out var localOrParameter) &&
Disposable.ShouldDispose(localOrParameter, context.SemanticModel, context.CancellationToken)))
{
context.ReportDiagnostic(Diagnostic.Create(Descriptors.IDISP001DisposeCreated, argument.GetLocation()));
}
if (Disposable.IsAssignedWithCreated(symbol, invocation, context.SemanticModel, context.CancellationToken).IsEither(Result.Yes, Result.AssumeYes) &&
!Disposable.IsDisposedBefore(symbol, invocation, context.SemanticModel, context.CancellationToken))
{
context.ReportDiagnostic(Diagnostic.Create(Descriptors.IDISP003DisposeBeforeReassigning, argument.GetLocation()));
}
}
}
private static void Handle(SyntaxNodeAnalysisContext context)
{
if (!context.IsExcludedFromAnalysis() &&
context.Node is AssignmentExpressionSyntax {
Left : { } left, Right : { } right
} assignment&&
!left.IsKind(SyntaxKind.ElementAccessExpression) &&
context.SemanticModel.TryGetSymbol(left, context.CancellationToken, out var assignedSymbol))
{
if (LocalOrParameter.TryCreate(assignedSymbol, out var localOrParameter) &&
Disposable.IsCreation(right, context.SemanticModel, context.CancellationToken).IsEither(Result.Yes, Result.AssumeYes) &&
Disposable.ShouldDispose(localOrParameter, context.SemanticModel, context.CancellationToken))
{
context.ReportDiagnostic(Diagnostic.Create(Descriptors.IDISP001DisposeCreated, assignment.GetLocation()));
}
if (IsReassignedWithCreated(assignment, context))
{
context.ReportDiagnostic(Diagnostic.Create(Descriptors.IDISP003DisposeBeforeReassigning, assignment.GetLocation()));
}
if (assignedSymbol is IParameterSymbol {
RefKind : RefKind.Ref
} refParameter&&
refParameter.ContainingSymbol.DeclaredAccessibility != Accessibility.Private &&
context.SemanticModel.TryGetType(right, context.CancellationToken, out var type) &&
Disposable.IsAssignableFrom(type, context.Compilation))
{
context.ReportDiagnostic(Diagnostic.Create(Descriptors.IDISP008DoNotMixInjectedAndCreatedForMember, context.Node.GetLocation()));
}
}
}
private static void Handle(SyntaxNodeAnalysisContext context)
{
if (!context.IsExcludedFromAnalysis() &&
context.Node is ArgumentSyntax argument &&
argument.Parent is ArgumentListSyntax argumentList &&
argumentList.Parent is InvocationExpressionSyntax invocation &&
argument.RefOrOutKeyword.IsEither(SyntaxKind.RefKeyword, SyntaxKind.OutKeyword) &&
context.SemanticModel.TryGetSymbol(invocation, context.CancellationToken, out var method) &&
method.TrySingleDeclaration(context.CancellationToken, out BaseMethodDeclarationSyntax declaration) &&
method.TryFindParameter(argument, out var parameter) &&
Disposable.IsPotentiallyAssignableFrom(parameter.Type, context.Compilation))
{
if (Disposable.IsCreation(argument, context.SemanticModel, context.CancellationToken).IsEither(Result.Yes, Result.AssumeYes) &&
!Disposable.IsAddedToFieldOrProperty(parameter, declaration, context.SemanticModel, context.CancellationToken) &&
context.SemanticModel.TryGetSymbol(argument.Expression, context.CancellationToken, out ISymbol symbol))
{
if (LocalOrParameter.TryCreate(symbol, out var localOrParameter) &&
Disposable.ShouldDispose(localOrParameter, argument.Expression, context.SemanticModel, context.CancellationToken))
{
context.ReportDiagnostic(Diagnostic.Create(IDISP001DisposeCreated.Descriptor, argument.GetLocation()));
}
if (Disposable.IsAssignedWithCreated(symbol, invocation, context.SemanticModel, context.CancellationToken).IsEither(Result.Yes, Result.AssumeYes) &&
!Disposable.IsDisposedBefore(symbol, invocation, context.SemanticModel, context.CancellationToken))
{
context.ReportDiagnostic(Diagnostic.Create(IDISP003DisposeBeforeReassigning.Descriptor, argument.GetLocation()));
}
}
}
}
private static void Handle(SyntaxNodeAnalysisContext context)
{
if (!context.IsExcludedFromAnalysis() &&
context.Node is LocalDeclarationStatementSyntax localDeclaration)
{
foreach (var declarator in localDeclaration.Declaration.Variables)
{
if (declarator.Initializer is EqualsValueClauseSyntax initializer &&
initializer.Value is ExpressionSyntax value &&
Disposable.IsCreation(value, context.SemanticModel, context.CancellationToken).IsEither(Result.Yes, Result.AssumeYes) &&
context.SemanticModel.GetDeclaredSymbolSafe(declarator, context.CancellationToken) is ILocalSymbol local &&
Disposable.ShouldDispose(local, value, context.SemanticModel, context.CancellationToken))
{
context.ReportDiagnostic(Diagnostic.Create(Descriptor, localDeclaration.GetLocation()));
}
}
}
}
