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)
97
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)
233
? state.Lattice.LocalStateLattice.Lattice.ValueLattice.
Meet
(state.Get (local), value)
423
value = LocalStateAndContextLattice.LocalStateLattice.Lattice.ValueLattice.
Meet
(value, singleValue);
532
capturedValue = LocalStateAndContextLattice.LocalStateLattice.Lattice.ValueLattice.
Meet
(capturedValue, value);
DataFlow\LocalStateAndContextLattice.cs (1)
53
Context = ContextLattice.
Meet
(left.Context, right.Context)
src\tools\illink\src\ILLink.Shared\DataFlow\DictionaryLattice.cs (1)
33
met.Set (key, ValueLattice.
Meet
(left.Get (key), rightValue));
src\tools\illink\src\ILLink.Shared\DataFlow\ForwardDataFlowAnalysis.cs (11)
192
TValue branchState = lattice.
Meet
(lattice.Top, state.Current);
272
currentState = lattice.
Meet
(currentState, predecessorState);
279
currentState = lattice.
Meet
(currentState, tryExceptionState.Value);
287
currentState = lattice.
Meet
(currentState, previousFilterExceptionState.Value);
292
currentState = lattice.
Meet
(currentState, finallyInputState);
307
exceptionFinallyState = lattice.
Meet
(exceptionFinallyState.Value, predecessorState);
318
exceptionFinallyState = lattice.
Meet
(exceptionFinallyState.Value, tryExceptionState.Value);
331
exceptionState!.Value = lattice.
Meet
(exceptionState!.Value, currentState);
336
exceptionState!.Value = lattice.
Meet
(exceptionState!.Value, exceptionFinallyState!.Value);
385
tryOrCatchExceptionState.Value = lattice.
Meet
(tryOrCatchExceptionState!.Value, exceptionState!.Value);
400
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));