3 instantiations of LocalStateAndContext
ILLink.RoslynAnalyzer (3)
DataFlow\LocalDataFlowAnalysis.cs (1)
48
entryValue = new
LocalStateAndContext
<TValue, TContext> (default (LocalState<TValue>), initialContext);
DataFlow\LocalStateAndContextLattice.cs (2)
44
Top =
new
(LocalStateLattice.Top, ContextLattice.Top);
51
return new
LocalStateAndContext
<TValue, TContext> {
32 references to LocalStateAndContext
ILLink.RoslynAnalyzer (32)
DataFlow\LocalDataFlowAnalysis.cs (3)
21
LocalStateAndContext
<TValue, TContext>,
45
out
LocalStateAndContext
<TValue, TContext> entryValue)
60
: base (GetLatticeAndEntryValue (lattice, contextLattice, initialContext, out
var
entryValue), entryValue)
DataFlow\LocalDataFlowState.cs (4)
10
: IDataFlowState<
LocalStateAndContext
<TValue, TContext>, LocalStateAndContextLattice<TValue, TContext, TValueLattice, TContextLattice>>
16
LocalStateAndContext
<TValue, TContext> current;
17
public
LocalStateAndContext
<TValue, TContext> Current {
22
public Box<
LocalStateAndContext
<TValue, TContext>>? Exception { get; set; }
DataFlow\LocalDataFlowVisitor.cs (7)
25
LocalStateAndContext
<TValue, TContext>,
76
public abstract void ApplyCondition (TConditionValue condition, ref
LocalStateAndContext
<TValue, TContext> localContextState);
119
var
current = state.Current;
243
var
current = state.Current;
517
var
currentState = state.Current;
688
var
current = state.Current;
787
var
current = state.Current;
DataFlow\LocalStateAndContextLattice.cs (8)
11
public struct LocalStateAndContext<TValue, TContext> : IEquatable<
LocalStateAndContext
<TValue, TContext>>
24
public bool Equals (
LocalStateAndContext
<TValue, TContext> other) =>
27
public override bool Equals (object? obj) => obj is
LocalStateAndContext
<TValue, TContext> other && Equals (other);
31
public readonly struct LocalStateAndContextLattice<TValue, TContext, TValueLattice, TContextLattice> : ILattice<
LocalStateAndContext
<TValue, TContext>>
47
public
LocalStateAndContext
<TValue, TContext> Top { get; }
49
public
LocalStateAndContext
<TValue, TContext> Meet (
LocalStateAndContext
<TValue, TContext> left,
LocalStateAndContext
<TValue, TContext> right)
TrimAnalysis\TrimAnalysisVisitor.cs (2)
67
public override void ApplyCondition (FeatureChecksValue featureChecksValue, ref
LocalStateAndContext
<MultiValue, FeatureContext> currentState)
174
var
current = state.Current;
TrimAnalysis\TrimDataFlowAnalysis.cs (8)
16
using LocalStateValue = ILLink.RoslynAnalyzer.DataFlow.
LocalStateAndContext
<
182
LocalStateValue
state
193
LocalStateValue
normalState,
194
LocalStateValue
? exceptionState,
195
LocalStateValue
? exceptionFinallyState
210
LocalStateValue
normalState,
211
LocalStateValue
? exceptionState,
212
LocalStateValue
? exceptionFinallyState