20 references to Join
Microsoft.CodeAnalysis.CSharp (11)
Binder\Semantics\BestTypeInferrer.cs (1)
41result = result.Join(type.State);
FlowAnalysis\NullableWalker.cs (10)
2839SetState(ref tryState, slot, newState.Join(GetState(ref tryState, slot)), useNotNullsAsDefault: true); 5123return GetLiftedReturnType(methodOpt.ReturnTypeWithAnnotations, leftType.State.Join(rightType.State)); 5154resultState = leftType.State.Join(rightType.State); 5965SetResultType(node, TypeWithState.Create(resultType, rightResult.State.Join(leftState))); 6237var rValueState = consequenceRValue.State.Join(alternativeRValue.State); 6366resultState = convertedConsequenceResult.State.Join(convertedAlternativeResult.State); 6379resultState = consequenceRValue.State.Join(alternativeRValue.State); 7014valueFlowState = valueFlowState.Join(locationFlowState); 10126NullableFlowState state = returnType.ToTypeWithState().State.Join(operandState); 13456var newValue = oldValue.Join(other.GetValue(i));
Microsoft.CodeAnalysis.CSharp.Semantic.UnitTests (9)
Semantics\NullableReferenceTypesTests.cs (9)
126923Func<int, int, NullableFlowState> getResult = (i, j) => inputs[i].Join(inputs[j]); 127011Assert.Equal(a, a.Meet(a.Join(b))); 127012Assert.Equal(a, a.Join(a.Meet(b))); 127043var leftFirst = a.Join(b).Join(c); 127044var rightFirst = a.Join(b.Join(c)); 127128var leftFirst = a.Join(b); 127129var rightFirst = b.Join(a);