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
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
|
using System;
using System.Collections.Generic;
using System.Diagnostics.CodeAnalysis;
using System.Text;
using Mono.Linker.Tests.Cases.Expectations.Assertions;
namespace Mono.Linker.Tests.Cases.DataFlow
{
// Note: this test's goal is to validate that the product correctly reports unrecognized patterns
// - so the main validation is done by the ExpectedWarning attributes.
[SkipKeptItemsValidation]
[ExpectedNoWarnings]
class AssemblyQualifiedNameDataflow
{
static void Main ()
{
TestPublicParameterlessConstructor ();
TestPublicConstructors ();
TestConstructors ();
TestUnqualifiedTypeNameWarns ();
TestNull ();
TestMultipleValues ();
}
[ExpectedWarning ("IL2072", nameof (RequirePublicConstructors))]
[ExpectedWarning ("IL2072", nameof (RequireNonPublicConstructors))]
static void TestPublicParameterlessConstructor ()
{
string type = GetTypeWithPublicParameterlessConstructor ().AssemblyQualifiedName;
RequirePublicParameterlessConstructor (type);
RequirePublicConstructors (type);
RequireNonPublicConstructors (type);
RequireNothing (type);
}
[ExpectedWarning ("IL2072", nameof (RequireNonPublicConstructors))]
static void TestPublicConstructors ()
{
string type = GetTypeWithPublicConstructors ().AssemblyQualifiedName;
RequirePublicParameterlessConstructor (type);
RequirePublicConstructors (type);
RequireNonPublicConstructors (type);
RequireNothing (type);
}
[ExpectedWarning ("IL2072", nameof (RequirePublicParameterlessConstructor))]
[ExpectedWarning ("IL2072", nameof (RequirePublicConstructors))]
static void TestConstructors ()
{
string type = GetTypeWithNonPublicConstructors ().AssemblyQualifiedName;
RequirePublicParameterlessConstructor (type);
RequirePublicConstructors (type);
RequireNonPublicConstructors (type);
RequireNothing (type);
}
[ExpectedWarning ("IL2105",
"Type 'System.Invalid.TypeName' was not found in the caller assembly nor in the base library. " +
"Type name strings used for dynamically accessing a type should be assembly qualified.",
ProducedBy = ProducedBy.Trimmer)]
static void TestUnqualifiedTypeNameWarns ()
{
RequirePublicConstructors ("System.Invalid.TypeName");
}
static void TestNull ()
{
Type type = null;
RequirePublicConstructors (type.AssemblyQualifiedName); // Null should not warn - we know it's going to fail at runtime
}
[ExpectedWarning ("IL2072", nameof (RequirePublicConstructors), nameof (GetTypeWithNonPublicConstructors))]
// https://github.com/dotnet/linker/issues/2273
[ExpectedWarning ("IL2062", nameof (RequirePublicConstructors), ProducedBy = ProducedBy.Trimmer)]
static void TestMultipleValues (int p = 0, object[] o = null)
{
Type type = p switch {
0 => GetTypeWithPublicConstructors (),
1 => GetTypeWithNonPublicConstructors (), // Should produce warning IL2072 due to mismatch annotation
2 => null, // Should be ignored
_ => (Type) o[0] // This creates an unknown value - should produce warning IL2062
};
RequirePublicConstructors (type.AssemblyQualifiedName);
}
private static void RequirePublicParameterlessConstructor (
[DynamicallyAccessedMembers(DynamicallyAccessedMemberTypes.PublicParameterlessConstructor)]
string type)
{
}
private static void RequirePublicConstructors (
[DynamicallyAccessedMembers(DynamicallyAccessedMemberTypes.PublicConstructors)]
string type)
{
}
private static void RequireNonPublicConstructors (
[DynamicallyAccessedMembers(DynamicallyAccessedMemberTypes.NonPublicConstructors)]
string type)
{
}
private static void RequireNothing (string type)
{
}
[return: DynamicallyAccessedMembers (DynamicallyAccessedMemberTypes.PublicParameterlessConstructor)]
private static Type GetTypeWithPublicParameterlessConstructor ()
{
return null;
}
[return: DynamicallyAccessedMembers (DynamicallyAccessedMemberTypes.PublicConstructors)]
private static Type GetTypeWithPublicConstructors ()
{
return null;
}
[return: DynamicallyAccessedMembers (DynamicallyAccessedMemberTypes.NonPublicConstructors)]
private static Type GetTypeWithNonPublicConstructors ()
{
return null;
}
}
}
|