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)
45
Top =
new
(LocalStateLattice.Top, ContextLattice.Top);
52
return new
LocalStateAndContext
<TValue, TContext>
34 references to LocalStateAndContext
ILLink.RoslynAnalyzer (34)
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
private
LocalStateAndContext
<TValue, TContext> current;
17
public
LocalStateAndContext
<TValue, TContext> Current
23
public Box<
LocalStateAndContext
<TValue, TContext>>? Exception { get; set; }
DataFlow\LocalDataFlowVisitor.cs (9)
29
LocalStateAndContext
<TValue, TContext>,
91
public abstract void ApplyCondition(TConditionValue condition, ref
LocalStateAndContext
<TValue, TContext> localContextState);
135
var
current = state.Current;
319
var
current = state.Current;
327
var
current = state.Current;
361
var
current = state.Current;
1146
var
currentState = state.Current;
1349
var
current = state.Current;
1463
var
current = state.Current;
DataFlow\LocalStateAndContextLattice.cs (8)
10
public struct LocalStateAndContext<TValue, TContext> : IEquatable<
LocalStateAndContext
<TValue, TContext>>
23
public bool Equals(
LocalStateAndContext
<TValue, TContext> other) =>
26
public override bool Equals(object? obj) => obj is
LocalStateAndContext
<TValue, TContext> other && Equals(other);
32
public readonly struct LocalStateAndContextLattice<TValue, TContext, TValueLattice, TContextLattice> : ILattice<
LocalStateAndContext
<TValue, TContext>>
48
public
LocalStateAndContext
<TValue, TContext> Top { get; }
50
public
LocalStateAndContext
<TValue, TContext> Meet(
LocalStateAndContext
<TValue, TContext> left,
LocalStateAndContext
<TValue, TContext> right)
TrimAnalysis\TrimAnalysisVisitor.cs (2)
72
public override void ApplyCondition(FeatureChecksValue featureChecksValue, ref
LocalStateAndContext
<MultiValue, FeatureContext> currentState)
188
var
current = state.Current;
TrimAnalysis\TrimDataFlowAnalysis.cs (8)
16
using LocalStateValue = ILLink.RoslynAnalyzer.DataFlow.
LocalStateAndContext
<
194
LocalStateValue
state
207
LocalStateValue
normalState,
208
LocalStateValue
? exceptionState,
209
LocalStateValue
? exceptionFinallyState
225
LocalStateValue
normalState,
226
LocalStateValue
? exceptionState,
227
LocalStateValue
? exceptionFinallyState