blob: c4504332e9b992a74a37952ca2b1d977129dc0e8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
|
// Copyright (c) .NET Foundation and contributors. All rights reserved.
// Licensed under the MIT license. See LICENSE file in the project root for full license information.
using System.Diagnostics.CodeAnalysis;
using Microsoft.CodeAnalysis;
namespace ILLink.RoslynAnalyzer
{
public static class RequiresISymbolExtensions
{
// TODO: Consider sharing with linker DoesMemberRequire method
/// <summary>
/// True if the target of a call is considered to be annotated with the Requires... attribute
/// </summary>
public static bool DoesMemberRequire (this ISymbol member, string requiresAttribute, [NotNullWhen (returnValue: true)] out AttributeData? requiresAttributeData)
{
requiresAttributeData = null;
if (member.IsStaticConstructor ())
return false;
if (member.TryGetAttribute (requiresAttribute, out requiresAttributeData))
return true;
// Also check the containing type
if (member.IsStatic || member.IsConstructor ())
return member.ContainingType.TryGetAttribute (requiresAttribute, out requiresAttributeData);
return false;
}
// TODO: Consider sharing with linker IsInRequiresScope method
/// <summary>
/// True if the source of a call is considered to be annotated with the Requires... attribute
/// </summary>
public static bool IsInRequiresScope (this ISymbol member, string requiresAttribute)
{
return member.IsInRequiresScope (requiresAttribute, true);
}
/// <summary>
/// True if member of a call is considered to be annotated with the Requires... attribute.
/// Doesn't check the associated symbol for overrides and virtual methods because the analyzer should warn on mismatched between the property AND the accessors
/// </summary>
/// <param name="member">
/// Symbol that is either an overriding member or an overriden/virtual member
/// </param>
public static bool IsOverrideInRequiresScope (this ISymbol member, string requiresAttribute)
{
return member.IsInRequiresScope (requiresAttribute, false);
}
private static bool IsInRequiresScope (this ISymbol member, string requiresAttribute, bool checkAssociatedSymbol)
{
// Requires attribute on a type does not silence warnings that originate
// from the type directly. We also only check the containing type for members
// below, not of nested types.
if (member is ITypeSymbol)
return false;
while (true) {
if (member.HasAttribute (requiresAttribute) && !member.IsStaticConstructor ())
return true;
if (member.ContainingSymbol is not IMethodSymbol method)
break;
member = method;
}
if (member.ContainingType is ITypeSymbol containingType && containingType.HasAttribute (requiresAttribute))
return true;
// Only check associated symbol if not override or virtual method
if (checkAssociatedSymbol && member is IMethodSymbol { AssociatedSymbol: { } associated } && associated.HasAttribute (requiresAttribute))
return true;
// When using instance fields suppress the warning if the constructor has already the Requires annotation
if (member is IFieldSymbol field && !field.IsStatic) {
foreach (var constructor in field.ContainingType.InstanceConstructors) {
if (!constructor.HasAttribute (requiresAttribute))
return false;
}
return true;
}
return false;
}
}
}
|