36 references to ToTypeWithState
Microsoft.CodeAnalysis.CSharp (36)
FlowAnalysis\NullableWalker.cs (33)
322
SetResult(expression, resultType: type.
ToTypeWithState
(), lvalueType: type);
330
SetResult(expression, LvalueResultType.
ToTypeWithState
(), LvalueResultType, isLvalue: true);
1904
return localType.
ToTypeWithState
().State;
2394
overridingType.
ToTypeWithState
(),
2602
NullableFlowState value = isDefaultValue ? NullableFlowState.MaybeNull : fieldOrPropertyType.
ToTypeWithState
().State;
2702
=> ApplyUnconditionalAnnotations(symbol.GetTypeOrReturnType().
ToTypeWithState
(), GetRValueAnnotations(symbol)).State;
2838
return parameterType.
ToTypeWithState
();
3002
SetResult(node, GetAdjustedResult(type.
ToTypeWithState
(), slot), type);
3321
var resultState = ApplyUnconditionalAnnotations(resultType.
ToTypeWithState
(), GetRValueAnnotations(withExpr.CloneMethod));
3439
valueType = type.
ToTypeWithState
();
3447
SetAnalyzedNullability(node.DeclaredTypeOpt, new VisitResult(type.
ToTypeWithState
(), type), true);
3713
return ApplyUnconditionalAnnotations(createMethod.ReturnTypeWithAnnotations, annotations).
ToTypeWithState
().State;
3892
TrackNullableStateOfNullableValue(slot, type, operand, underlyingType.
ToTypeWithState
(), valueSlot);
4715
SetResult(node, type.
ToTypeWithState
(), type);
8438
TrackNullableStateOfNullableValue(targetFieldSlot, targetField.Type, null, valueField.TypeWithAnnotations.
ToTypeWithState
(), valueFieldSlot);
8451
valueField.TypeWithAnnotations.
ToTypeWithState
(),
8724
TrackAnalyzedNullabilityThroughConversionGroup(targetTypeWithNullability.
ToTypeWithState
(), conversionOpt, conversionOperand);
8843
TrackNullableStateOfNullableValue(containingSlot, targetType, conversionOperand, underlyingType.
ToTypeWithState
(), valueSlot);
9223
underlyingOperandType = underlyingOperandTypeWithAnnotations.
ToTypeWithState
();
9352
NullableFlowState state = returnType.
ToTypeWithState
().State.Join(operandState);
9363
return type.GetNullableUnderlyingTypeWithAnnotations().
ToTypeWithState
();
9373
returnType.
ToTypeWithState
();
9844
var rValueType = ApplyUnconditionalAnnotations(type.
ToTypeWithState
(), annotations);
10323
resultOfIncrementType = incrementOperator.ReturnTypeWithAnnotations.
ToTypeWithState
();
10548
var resultType = ApplyUnconditionalAnnotations(indexer.TypeWithAnnotations.
ToTypeWithState
(), GetRValueAnnotations(indexer));
10608
var resultType = ApplyUnconditionalAnnotations(type.
ToTypeWithState
(), memberAnnotations);
10797
currentPropertyGetterTypeWithState = arrayType.ElementTypeWithAnnotations.
ToTypeWithState
();
10804
TypeWithAnnotations.Create(node.EnumeratorInfoOpt.ElementType, NullableAnnotation.NotAnnotated).
ToTypeWithState
();
10841
currentPropertyGetter.ReturnTypeWithAnnotations.
ToTypeWithState
(),
10932
resultForType = destinationType.
ToTypeWithState
();
11262
SetResultType(node, reinferredGetResult.ReturnTypeWithAnnotations.
ToTypeWithState
());
11865
SetResult(node.Expression, typeWithAnnotations.
ToTypeWithState
(), typeWithAnnotations);
11930
SetResult(node, returnTypeWithAnnotations.
ToTypeWithState
(), returnTypeWithAnnotations);
FlowAnalysis\NullableWalker_Patterns.cs (1)
526
TrackNullableStateForAssignment(valueOpt: null, type, outputSlot, type.
ToTypeWithState
());
Symbols\NullableAnnotationExtensions.cs (1)
104
var flowState = TypeWithAnnotations.Create(type, annotation).
ToTypeWithState
().State;
Symbols\TypeWithState.cs (1)
58
return typeWithAnnotations.
ToTypeWithState
();