private static void HandleProperty(SyntaxNodeAnalysisContext context)
{
if (context.IsExcludedFromAnalysis())
{
return;
}
if (context.Node is AccessorDeclarationSyntax setter &&
setter.Body == null &&
context.ContainingSymbol.DeclaredAccessibility == Accessibility.Private &&
context.ContainingProperty() is IPropertySymbol property &&
!property.IsIndexer)
{
using (var walker = AssignedValueWalker.Borrow(property, context.SemanticModel, context.CancellationToken))
{
foreach (var value in walker)
{
if (MeansPropertyIsMutable(value))
{
return;
}
}
}
context.ReportDiagnostic(Diagnostic.Create(Descriptor, setter.GetLocation()));
}
}
private static void HandleProperty(SyntaxNodeAnalysisContext context)
{
if (context.IsExcludedFromAnalysis())
{
return;
}
AccessorDeclarationSyntax setter = (AccessorDeclarationSyntax)context.Node;
if (setter.Body != null)
{
return;
}
var propertySymbol = context.ContainingProperty();
if (propertySymbol.SetMethod?.DeclaredAccessibility != Accessibility.Private ||
propertySymbol.IsIndexer)
{
return;
}
using (var walker = MutationWalker.Borrow(propertySymbol, context.SemanticModel, context.CancellationToken))
{
foreach (var value in walker)
{
if (MeansPropertyIsMutable(value))
{
return;
}
}
}
context.ReportDiagnostic(Diagnostic.Create(Descriptor, setter.GetLocation()));
}
private static void HandleInvocation(SyntaxNodeAnalysisContext context)
{
if (context.IsExcludedFromAnalysis())
{
return;
}
var invocation = context.Node as InvocationExpressionSyntax;
if (invocation == null || context.SemanticModel == null)
{
return;
}
if (IsInObjectInitializer(context.Node) ||
IsInConstructor(context.Node))
{
return;
}
if (!DependencyObject.TryGetSetValueArguments(invocation, context.SemanticModel, context.CancellationToken, out ArgumentSyntax property, out IFieldSymbol setField, out ArgumentSyntax value))
{
return;
}
if (setField == null ||
setField.Type != KnownSymbol.DependencyProperty ||
setField == KnownSymbol.FrameworkElement.DataContextProperty)
{
return;
}
var clrProperty = context.ContainingProperty();
if (ClrProperty.IsDependencyPropertyAccessor(clrProperty, context.SemanticModel, context.CancellationToken))
{
return;
}
var clrMethod = context.ContainingSymbol as IMethodSymbol;
if (ClrMethod.IsAttachedSetMethod(clrMethod, context.SemanticModel, context.CancellationToken, out setField))
{
return;
}
if (IsCalleePotentiallyCreatedInScope(invocation.Expression as MemberAccessExpressionSyntax, context.SemanticModel, context.CancellationToken))
{
return;
}
context.ReportDiagnostic(Diagnostic.Create(Descriptor, invocation.GetLocation(), property, value));
}
private static void HandleInvocation(SyntaxNodeAnalysisContext context)
{
if (context.IsExcludedFromAnalysis())
{
return;
}
if (context.Node is InvocationExpressionSyntax invocation &&
!IsInObjectInitializer(invocation) &&
!IsInConstructor(invocation) &&
DependencyObject.TryGetSetValueCall(invocation, context.SemanticModel, context.CancellationToken, out _))
{
var propertyArg = invocation.ArgumentList.Arguments[0];
if (!BackingFieldOrProperty.TryCreateForDependencyProperty(context.SemanticModel.GetSymbolSafe(propertyArg.Expression, context.CancellationToken), out var propertyMember) ||
propertyMember.Type == KnownSymbol.DependencyPropertyKey)
{
return;
}
if (propertyMember.Symbol is IFieldSymbol field &&
field == KnownSymbol.FrameworkElement.DataContextProperty)
{
return;
}
var clrProperty = context.ContainingProperty();
if (clrProperty.IsDependencyPropertyAccessor(context.SemanticModel, context.CancellationToken))
{
return;
}
var clrMethod = context.ContainingSymbol as IMethodSymbol;
if (ClrMethod.IsAttachedSet(clrMethod, context.SemanticModel, context.CancellationToken, out propertyMember))
{
return;
}
if (IsCalleePotentiallyCreatedInScope(invocation.Expression as MemberAccessExpressionSyntax, context.SemanticModel, context.CancellationToken))
{
return;
}
context.ReportDiagnostic(Diagnostic.Create(Descriptor, invocation.GetLocation(), propertyMember, invocation.ArgumentList.Arguments[1]));
}
}
private static void HandleInvocation(SyntaxNodeAnalysisContext context)
{
if (!context.IsExcludedFromAnalysis() &&
context.Node is InvocationExpressionSyntax invocation &&
!IsInConstructor(invocation) &&
invocation.ArgumentList is ArgumentListSyntax argumentList &&
argumentList.Arguments.Count == 2 &&
argumentList.Arguments.TryElementAt(0, out var propertyArg) &&
DependencyObject.TryGetSetValueCall(invocation, context.SemanticModel, context.CancellationToken, out _) &&
BackingFieldOrProperty.TryCreateForDependencyProperty(context.SemanticModel.GetSymbolSafe(propertyArg.Expression, context.CancellationToken), out var backingFieldOrProperty) &&
!IsCalleePotentiallyCreatedInScope(invocation.Expression as MemberAccessExpressionSyntax, context.SemanticModel, context.CancellationToken))
{
if (backingFieldOrProperty.Type == KnownSymbols.DependencyPropertyKey)
{
return;
}
if (backingFieldOrProperty.Symbol is IFieldSymbol field &&
field == KnownSymbols.FrameworkElement.DataContextProperty)
{
return;
}
var clrProperty = context.ContainingProperty();
if (clrProperty.IsDependencyPropertyAccessor(context.SemanticModel, context.CancellationToken))
{
return;
}
var clrMethod = context.ContainingSymbol as IMethodSymbol;
if (ClrMethod.IsAttachedSet(clrMethod, context.SemanticModel, context.CancellationToken, out backingFieldOrProperty))
{
return;
}
context.ReportDiagnostic(
Diagnostic.Create(
Descriptors.WPF0041SetMutableUsingSetCurrentValue,
invocation.GetLocation(),
backingFieldOrProperty,
invocation.ArgumentList.Arguments[1]));
}
}
