20 references to Join
Microsoft.CodeAnalysis.CSharp (11)
Binder\Semantics\BestTypeInferrer.cs (1)
41
result = result.
Join
(type.State);
FlowAnalysis\NullableWalker.cs (10)
2839
SetState(ref tryState, slot, newState.
Join
(GetState(ref tryState, slot)), useNotNullsAsDefault: true);
5349
return GetLiftedReturnType(methodOpt.ReturnTypeWithAnnotations, leftType.State.
Join
(rightType.State));
5380
resultState = leftType.State.
Join
(rightType.State);
6191
SetResultType(node, TypeWithState.Create(resultType, rightResult.State.
Join
(leftState)));
6465
var rValueState = consequenceRValue.State.
Join
(alternativeRValue.State);
6594
resultState = convertedConsequenceResult.State.
Join
(convertedAlternativeResult.State);
6607
resultState = consequenceRValue.State.
Join
(alternativeRValue.State);
7289
valueFlowState = valueFlowState.
Join
(locationFlowState);
10729
NullableFlowState state = returnType.ToTypeWithState().State.
Join
(operandState);
14144
var newValue = oldValue.
Join
(other.GetValue(i));
Microsoft.CodeAnalysis.CSharp.Semantic.UnitTests (9)
Semantics\NullableReferenceTypesTests.cs (9)
126972
Func<int, int, NullableFlowState> getResult = (i, j) => inputs[i].
Join
(inputs[j]);
127060
Assert.Equal(a, a.Meet(a.
Join
(b)));
127061
Assert.Equal(a, a.
Join
(a.Meet(b)));
127092
var leftFirst = a.
Join
(b).
Join
(c);
127093
var rightFirst = a.
Join
(b.
Join
(c));
127177
var leftFirst = a.
Join
(b);
127178
var rightFirst = b.
Join
(a);