7 implementations of Meet
ILLink.RoslynAnalyzer (7)
DataFlow\FeatureContextLattice.cs (1)
75
public FeatureContext
Meet
(FeatureContext left, FeatureContext right) => left.Intersection(right);
DataFlow\InterproceduralState.cs (1)
108
public InterproceduralState<TValue, TValueLattice>
Meet
(InterproceduralState<TValue, TValueLattice> left, InterproceduralState<TValue, TValueLattice> right)
DataFlow\LocalStateAndContextLattice.cs (1)
49
public LocalStateAndContext<TValue, TContext>
Meet
(LocalStateAndContext<TValue, TContext> left, LocalStateAndContext<TValue, TContext> right)
DataFlow\LocalStateLattice.cs (1)
91
public LocalState<TValue>
Meet
(LocalState<TValue> left, LocalState<TValue> right)
src\tools\illink\src\ILLink.Shared\DataFlow\DictionaryLattice.cs (1)
27
public DefaultValueDictionary<TKey, TValue>
Meet
(DefaultValueDictionary<TKey, TValue> left, DefaultValueDictionary<TKey, TValue> right)
src\tools\illink\src\ILLink.Shared\DataFlow\MaybeLattice.cs (1)
45
public Maybe<T>
Meet
(Maybe<T> left, Maybe<T> right)
src\tools\illink\src\ILLink.Shared\DataFlow\ValueSetLattice.cs (1)
17
public ValueSet<TValue>
Meet
(ValueSet<TValue> left, ValueSet<TValue> right) => ValueSet<TValue>.Union(left, right);
17 references to Meet
ILLink.RoslynAnalyzer (17)
DataFlow\LocalDataFlowVisitor.cs (3)
235
? state.Lattice.LocalStateLattice.Lattice.ValueLattice.
Meet
(state.Get(local), value)
510
value = LocalStateAndContextLattice.LocalStateLattice.Lattice.ValueLattice.
Meet
(value, singleValue);
630
capturedValue = LocalStateAndContextLattice.LocalStateLattice.Lattice.ValueLattice.
Meet
(capturedValue, value);
DataFlow\LocalStateAndContextLattice.cs (1)
54
Context = ContextLattice.
Meet
(left.Context, right.Context)
src\tools\illink\src\ILLink.Shared\DataFlow\DictionaryLattice.cs (1)
34
met.Set(key, ValueLattice.
Meet
(left.Get(key), rightValue));
src\tools\illink\src\ILLink.Shared\DataFlow\ForwardDataFlowAnalysis.cs (11)
199
TValue branchState = lattice.
Meet
(lattice.Top, state.Current);
289
currentState = lattice.
Meet
(currentState, predecessorState);
297
currentState = lattice.
Meet
(currentState, tryExceptionState.Value);
306
currentState = lattice.
Meet
(currentState, previousFilterExceptionState.Value);
312
currentState = lattice.
Meet
(currentState, finallyInputState);
329
exceptionFinallyState = lattice.
Meet
(exceptionFinallyState.Value, predecessorState);
341
exceptionFinallyState = lattice.
Meet
(exceptionFinallyState.Value, tryExceptionState.Value);
355
exceptionState!.Value = lattice.
Meet
(exceptionState.Value, currentState);
361
exceptionState.Value = lattice.
Meet
(exceptionState.Value, exceptionFinallyState!.Value);
415
tryOrCatchExceptionState.Value = lattice.
Meet
(tryOrCatchExceptionState.Value, exceptionState!.Value);
433
TValue finallyInputState = lattice.
Meet
(oldFinallyInputState, predecessorState);
src\tools\illink\src\ILLink.Shared\DataFlow\MaybeLattice.cs (1)
51
return new Maybe<T>(ValueLattice.
Meet
(leftValue, rightValue));