3 overrides of Join
Microsoft.CodeAnalysis.CSharp (3)
FlowAnalysis\ControlFlowPass.cs (1)
87protected override bool Join(ref LocalState self, ref LocalState other)
FlowAnalysis\DefiniteAssignment.cs (1)
2839protected override bool Join(ref LocalState self, ref LocalState other)
FlowAnalysis\NullableWalker.cs (1)
13750protected 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 158Join(ref StateWhenTrue, ref StateWhenFalse); 699Join(ref this.State, ref previousState); 711if (Join(ref oldState, ref this.State)) 752Join(ref state, ref pending.State); 800var changed = Join(ref state, ref pending.State); 1238Join(ref this.State, ref shortCircuitState); 1458Join(ref State, ref localFunctionState.StateFromBottom); 1857Join(ref this.State, ref trueState); 1885Join(ref endState, ref this.State); 1934Join(ref endState, ref stateMovedUpInFinally); 1947Join(ref stateToUpdate, ref stateMovedUpInFinally); 1959Join(ref self, ref other); 1970Join(ref tryState, ref tempTryStateValue); 1999Join(ref finallyState, ref tempTryStateValue); 2045Join(ref stateMovedUp, ref tempTryStateValue); 2594Join(ref resultFalse, ref leftFalse); 2598Join(ref resultTrue, ref leftTrue); 2654Join(ref stateWhenNotNull, ref tempStateValue); 2658Join(ref oldStateValue, ref tempStateValue); 2792Join(ref State, ref shortCircuitState); 2827Join(ref shortCircuitState, ref State); 3038Join(ref StateWhenTrue, ref savedState); 3039Join(ref StateWhenFalse, ref savedState); 3043Join(ref this.State, ref savedState); 3174Join(ref savedState, ref State); 3182Join(ref State, ref stateWhenNotNull); 3201Join(ref this.State, ref savedState); 3207Join(ref this.State, ref savedState); 3223Join(ref this.State, ref savedState); 3227Join(ref this.State, ref savedState); 3366Join(ref this.State, ref afterConsequenceWhenTrue); 3371Join(ref this.StateWhenTrue, ref afterConsequenceWhenTrue); 3372Join(ref this.StateWhenFalse, ref afterConsequenceWhenFalse); 3428Join(ref this.State, ref state); 3828Join(ref this.State, ref leftState); 3920Join(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)"/> 131Join(ref stateAtReturn, ref this.State); 162anyChanged |= Join(ref currentState.StateFromTop, ref stateAtReturn); 171anyChanged |= Join(ref currentState.StateFromBottom, ref value);
FlowAnalysis\AbstractFlowPass_Switch.cs (3)
31Join(ref afterSwitchState, ref this.State); 77Join(ref afterSwitchState, ref initialState); 178Join(ref endState, ref this.State);