1 write to State
Microsoft.CodeAnalysis.CSharp (1)
Symbols\TypeWithState.cs (1)
74
State
= state;
66 references to State
Microsoft.CodeAnalysis.CSharp (66)
Binder\Semantics\BestTypeInferrer.cs (1)
41
result = result.Join(type.
State
);
FlowAnalysis\NullableWalker.cs (58)
433
_analyzedNullabilityMapOpt[expr] = (new NullabilityInfo(result.LValueType.ToPublicAnnotation(), result.RValueType.
State
.ToPublicFlowState()),
2094
return localType.ToTypeWithState().
State
;
2102
return GetParameterState(parameterType, parameter.FlowAnalysisAnnotations).
State
;
2509
if (value == null || !ShouldReportNullableAssignment(targetType, valueType.
State
))
2553
valueType.
State
== NullableFlowState.MaybeDefault;
2644
valueState.
State
))
2735
var newState = valueType.
State
;
2846
NullableFlowState value = isDefaultValue ? NullableFlowState.MaybeNull : fieldOrPropertyType.ToTypeWithState().
State
;
3001
return ApplyUnconditionalAnnotations(GetTypeOrReturnTypeWithAnnotations(symbol).ToTypeWithState(), GetRValueAnnotations(containingSlot, receiverTypeForMemberAccessOpt: null, symbol)).
State
;
3092
var state = GetParameterState(parameterType, parameter.FlowAnalysisAnnotations).
State
;
3207
EnforceNotNullIfNotNull(node.Syntax, this.State, parameters, method.ReturnNotNullIfParameterNotNull, ResultType.
State
, outputParam: null);
4272
return ApplyUnconditionalAnnotations(createMethod.ReturnTypeWithAnnotations, annotations).ToTypeWithState().
State
;
4562
operandState = argumentTypeWithState.
State
;
4984
TypeWithState.Create(containingType, receiverResult.RValueType.
State
),
5439
return GetLiftedReturnType(methodOpt.ReturnTypeWithAnnotations, leftType.
State
.Join(rightType.
State
));
5457
resultState = leftType.
State
.Meet(rightType.
State
);
5470
resultState = leftType.
State
.Join(rightType.
State
);
5562
return resultType.
State
.IsNotNull()
6244
TypeWithState resultType = TypeWithState.Create(targetType.Type, rightResult.
State
);
6263
SetResultType(node, TypeWithState.Create(node.Type, rightUnconditionalResult.
State
));
6297
SetResultType(node, TypeWithState.Create(resultType, rightResult.
State
.Join(leftState)));
6340
return (conversionResult.Type!, conversionResult.
State
);
6571
var rValueState = consequenceRValue.
State
.Join(alternativeRValue.
State
);
6700
resultState = convertedConsequenceResult.
State
.Join(convertedAlternativeResult.
State
);
6713
resultState = consequenceRValue.
State
.Join(alternativeRValue.
State
);
7407
var valueFlowState = compareExchangeInfo.Results[valueIndex].RValueType.
State
;
7414
var locationFlowState = compareExchangeInfo.Results[locationIndex].RValueType.
State
;
7878
TrackAnalyzedNullabilityThroughConversionGroup(TypeWithState.Create(argument.Type, result.RValueType.
State
), argument as BoundConversion, argumentNoConversion);
9685
SetState(ref this.State, targetFieldSlot, convertedType.
State
);
9717
SetState(ref this.State, conversionOperandSlot, valueFieldType.
State
);
9737
SetState(ref this.State, targetFieldSlot, convertedType.
State
);
10122
calculateResultType(targetTypeWithNullability, fromExplicitCast, operandType.
State
, isSuppressed, targetType),
10147
resultState = conversion.IsReference ? getReferenceConversionResultState(targetTypeWithNullability, operandType) : operandType.
State
;
10173
resultState = operandType.
State
;
10334
var state = operandType.
State
;
10368
var state = operandType.
State
;
10396
var state = operandType.
State
;
10406
var state = operandType.
State
;
10587
NullableFlowState operandState = operandType.
State
;
10794
unionTypeWithState = GetConversionReturnTypeWithState(factory, isLiftedConversion: false, operandType.
State
);
10887
NullableFlowState state = returnType.ToTypeWithState().
State
.Join(operandState);
11373
SetResult(node, TypeWithState.Create(leftLValueType.Type, rightState.
State
), leftLValueType);
11973
resultOfIncrementType = GetLiftedReturnTypeIfNecessary(isLifted, incrementOperator.ReturnTypeWithAnnotations, operandType.
State
);
12154
SetResultType(node.Expression, TypeWithState.Create(node.Expression.Type, ResultType.
State
));
12688
if (enumeratorReturnType.
State
!= NullableFlowState.NotNull)
12811
state = result.
State
;
12948
resultType = GetLiftedReturnTypeIfNecessary(isLifted, method.ReturnTypeWithAnnotations, operandResult.
State
);
12963
TypeWithState.Create(node.Type, node.OperatorKind.IsLifted() ? argumentResult.
State
: NullableFlowState.NotNull);
13323
resultState = argumentType.
State
;
13473
node.IsAddition ? GetState(ref this.State, memberSlot).Meet(ResultType.
State
) : NullableFlowState.MaybeNull);
13578
if (!ReportPossibleNullReceiverIfNeeded(resultTypeSymbol, resultType.
State
, checkNullableValueType, receiverOpt.Syntax, out reportedDiagnostic))
13937
Debug.Assert(ResultType is TypeWithState { Type: FunctionPointerTypeSymbol { },
State
: NullableFlowState.NotNull });
Symbols\NamedTypeSymbol.cs (1)
2693
result = result.Join(NullableWalker.GetParameterState(parameter.TypeWithAnnotations, parameter.FlowAnalysisAnnotations).
State
);
Symbols\NullableAnnotationExtensions.cs (1)
104
var flowState = TypeWithAnnotations.Create(type, annotation).ToTypeWithState().
State
;
Symbols\TypeWithState.cs (5)
20
public bool MayBeNull =>
State
== NullableFlowState.MaybeNull;
21
public bool IsNotNull =>
State
== NullableFlowState.NotNull;
77
public string GetDebuggerDisplay() => $"{{Type:{Type?.GetDebuggerDisplay()}, State:{
State
}{"}"}";
90
return (
State
== NullableFlowState.MaybeDefault || asAnnotatedType) ? type.SetIsAnnotated(compilation) : type;
94
(
State
.IsNotNull() || Type?.CanContainNull() == false ? NullableAnnotation.NotAnnotated : NullableAnnotation.Annotated);