Value

5 writes to Value

ILLink.RoslynAnalyzer (5)

DataFlow\LocalDataFlowState.cs (1)

32Exception.Value = Lattice.Meet(Exception.Value, current);

src\tools\illink\src\ILLink.Shared\DataFlow\ForwardDataFlowAnalysis.cs (3)

351exceptionState!.Value = lattice.Meet(exceptionState!.Value, currentState); 357exceptionState!.Value = lattice.Meet(exceptionState!.Value, exceptionFinallyState!.Value); 411tryOrCatchExceptionState.Value = lattice.Meet(tryOrCatchExceptionState!.Value, exceptionState!.Value);

src\tools\illink\src\ILLink.Shared\DataFlow\IDataFlowState.cs (1)

13public Box(T value) => Value = value;

12 references to Value

ILLink.RoslynAnalyzer (12)

DataFlow\LocalDataFlowState.cs (1)

32Exception.Value = Lattice.Meet(Exception.Value, current);

src\tools\illink\src\ILLink.Shared\DataFlow\ForwardDataFlowAnalysis.cs (11)

293currentState = lattice.Meet(currentState, tryExceptionState.Value); 302currentState = lattice.Meet(currentState, previousFilterExceptionState.Value); 337exceptionFinallyState = lattice.Meet(exceptionFinallyState.Value, tryExceptionState.Value); 345TValue? oldExceptionState = exceptionState?.Value; 351exceptionState!.Value = lattice.Meet(exceptionState!.Value, currentState); 357exceptionState!.Value = lattice.Meet(exceptionState!.Value, exceptionFinallyState!.Value); 361TraceBlockInput(currentState, exceptionState?.Value, exceptionFinallyState); 399if (exceptionState?.Value.Equals(oldExceptionState!.Value) == false) 411tryOrCatchExceptionState.Value = lattice.Meet(tryOrCatchExceptionState!.Value, exceptionState!.Value); 416TraceBlockOutput(state.Current, exceptionState?.Value, exceptionFinallyState);