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
|
// Licensed to the .NET Foundation under one or more agreements.
// The .NET Foundation licenses this file to you under the MIT license.
// See the LICENSE file in the project root for more information.
using Mono.Cecil;
using Mono.Cecil.Cil;
using System;
using System.Diagnostics;
namespace Mono.Linker.Dataflow
{
/// <summary>
/// Helper struct to pass around context information about reflection pattern
/// as a single parameter (and have a way to extend this in the future if we need to easily).
/// Also implements a simple validation mechanism to check that the code does report patter recognition
/// results for all methods it works on.
/// The promise of the pattern recorder is that for a given reflection method, it will either not talk
/// about it ever, or it will always report recognized/unrecognized.
/// </summary>
struct ReflectionPatternContext : IDisposable
{
readonly LinkContext _context;
#if DEBUG
bool _patternAnalysisAttempted;
bool _patternReported;
#endif
public IMemberDefinition Source { get; private set; }
public IMetadataTokenProvider MemberWithRequirements { get; private set; }
public Instruction Instruction { get; private set; }
public bool ReportingEnabled { get; private set; }
public ReflectionPatternContext (
LinkContext context,
bool reportingEnabled,
IMemberDefinition source,
IMetadataTokenProvider memberWithRequirements,
Instruction instruction = null)
{
_context = context;
ReportingEnabled = reportingEnabled;
Source = source;
MemberWithRequirements = memberWithRequirements;
Instruction = instruction;
#if DEBUG
_patternAnalysisAttempted = false;
_patternReported = false;
#endif
}
#pragma warning disable CA1822
[Conditional ("DEBUG")]
public void AnalyzingPattern ()
{
#if DEBUG
_patternAnalysisAttempted = true;
#endif
}
[Conditional ("DEBUG")]
public void RecordHandledPattern ()
{
#if DEBUG
_patternReported = true;
#endif
}
#pragma warning restore CA1822
public void RecordRecognizedPattern (IMemberDefinition accessedItem, Action mark)
{
#if DEBUG
if (!_patternAnalysisAttempted)
throw new InvalidOperationException ($"Internal error: To correctly report all patterns, when starting to analyze a pattern the AnalyzingPattern must be called first. {Source} -> {MemberWithRequirements}");
_patternReported = true;
#endif
mark ();
if (ReportingEnabled)
_context.ReflectionPatternRecorder.RecognizedReflectionAccessPattern (Source, Instruction, accessedItem);
}
public void RecordUnrecognizedPattern (int messageCode, string message)
{
#if DEBUG
if (!_patternAnalysisAttempted)
throw new InvalidOperationException ($"Internal error: To correctly report all patterns, when starting to analyze a pattern the AnalyzingPattern must be called first. {Source} -> {MemberWithRequirements}");
_patternReported = true;
#endif
if (ReportingEnabled)
_context.ReflectionPatternRecorder.UnrecognizedReflectionAccessPattern (Source, Instruction, MemberWithRequirements, message, messageCode);
}
public void Dispose ()
{
#if DEBUG
if (_patternAnalysisAttempted && !_patternReported)
throw new InvalidOperationException ($"Internal error: A reflection pattern was analyzed, but no result was reported. {Source} -> {MemberWithRequirements}");
#endif
}
}
}
|