3 overrides of Join
Microsoft.CodeAnalysis.CSharp (3)
FlowAnalysis\ControlFlowPass.cs (1)
87
protected override bool
Join
(ref LocalState self, ref LocalState other)
FlowAnalysis\DefiniteAssignment.cs (1)
2885
protected override bool
Join
(ref LocalState self, ref LocalState other)
FlowAnalysis\NullableWalker.cs (1)
13062
protected override bool
Join
(ref LocalState self, ref LocalState other)
47 references to Join
Microsoft.CodeAnalysis.CSharp (47)
FlowAnalysis\AbstractFlowPass.cs (38)
33
/// href="https://en.wikipedia.org/wiki/Data-flow_analysis"/>) that moves upward through the <see cref="
Join
(ref
68
/// The flow analysis state at each label, computed by calling <see cref="
Join
(ref
158
Join
(ref StateWhenTrue, ref StateWhenFalse);
698
Join
(ref this.State, ref previousState);
710
if (
Join
(ref oldState, ref this.State))
751
Join
(ref state, ref pending.State);
799
var changed =
Join
(ref state, ref pending.State);
1189
Join
(ref this.State, ref shortCircuitState);
1409
Join
(ref State, ref localFunctionState.StateFromBottom);
1810
Join
(ref this.State, ref trueState);
1838
Join
(ref endState, ref this.State);
1887
Join
(ref endState, ref stateMovedUpInFinally);
1900
Join
(ref stateToUpdate, ref stateMovedUpInFinally);
1912
Join
(ref self, ref other);
1923
Join
(ref tryState, ref tempTryStateValue);
1952
Join
(ref finallyState, ref tempTryStateValue);
1997
Join
(ref stateMovedUp, ref tempTryStateValue);
2545
Join
(ref resultFalse, ref leftFalse);
2549
Join
(ref resultTrue, ref leftTrue);
2605
Join
(ref stateWhenNotNull, ref tempStateValue);
2609
Join
(ref oldStateValue, ref tempStateValue);
2743
Join
(ref State, ref shortCircuitState);
2778
Join
(ref shortCircuitState, ref State);
2989
Join
(ref StateWhenTrue, ref savedState);
2990
Join
(ref StateWhenFalse, ref savedState);
2994
Join
(ref this.State, ref savedState);
3125
Join
(ref savedState, ref State);
3133
Join
(ref State, ref stateWhenNotNull);
3152
Join
(ref this.State, ref savedState);
3158
Join
(ref this.State, ref savedState);
3174
Join
(ref this.State, ref savedState);
3178
Join
(ref this.State, ref savedState);
3317
Join
(ref this.State, ref afterConsequenceWhenTrue);
3322
Join
(ref this.StateWhenTrue, ref afterConsequenceWhenTrue);
3323
Join
(ref this.StateWhenFalse, ref afterConsequenceWhenFalse);
3379
Join
(ref this.State, ref state);
3769
Join
(ref this.State, ref leftState);
3861
Join
(ref this.State, ref afterBlock);
FlowAnalysis\AbstractFlowPass.ILocalState.cs (2)
27
/// <see cref="
Join
(ref TLocalState, ref TLocalState)"/>.
53
/// The Meet operation is the inverse of <see cref="
Join
(ref TLocalState, ref TLocalState)"/>.
FlowAnalysis\AbstractFlowPass_LocalFunctions.cs (4)
19
/// this state is <see cref="
Join
(ref TLocalState, ref TLocalState)"/>
131
Join
(ref stateAtReturn, ref this.State);
162
anyChanged |=
Join
(ref currentState.StateFromTop, ref stateAtReturn);
171
anyChanged |=
Join
(ref currentState.StateFromBottom, ref value);
FlowAnalysis\AbstractFlowPass_Switch.cs (3)
31
Join
(ref afterSwitchState, ref this.State);
77
Join
(ref afterSwitchState, ref initialState);
178
Join
(ref endState, ref this.State);