40 references to ToTypeWithState
Microsoft.CodeAnalysis.CSharp (40)
FlowAnalysis\NullableWalker.cs (37)
347
SetResult(expression, resultType: type.
ToTypeWithState
(), lvalueType: type);
355
SetResult(expression, LvalueResultType.
ToTypeWithState
(), LvalueResultType, isLvalue: true);
2057
return localType.
ToTypeWithState
().State;
2592
overridingType.
ToTypeWithState
(),
2811
NullableFlowState value = isDefaultValue ? NullableFlowState.MaybeNull : fieldOrPropertyType.
ToTypeWithState
().State;
2966
return ApplyUnconditionalAnnotations(GetTypeOrReturnTypeWithAnnotations(symbol).
ToTypeWithState
(), GetRValueAnnotations(symbol)).State;
3103
return parameterType.
ToTypeWithState
();
3267
SetResult(node, GetAdjustedResult(type.
ToTypeWithState
(), slot), type);
3620
var resultState = ApplyUnconditionalAnnotations(resultType.
ToTypeWithState
(), GetRValueAnnotations(withExpr.CloneMethod));
3763
valueType = type.
ToTypeWithState
();
3771
SetAnalyzedNullability(node.DeclaredTypeOpt, new VisitResult(type.
ToTypeWithState
(), type), true);
4237
return ApplyUnconditionalAnnotations(createMethod.ReturnTypeWithAnnotations, annotations).
ToTypeWithState
().State;
4452
TrackNullableStateOfNullableValue(slot, type, operand, underlyingType.
ToTypeWithState
(), valueSlot);
5287
resultTypes[i] = walker.VisitConversion(conversionOpt: null, placeholder, conversion, bestTypeWithObliviousAnnotation, resultTypes[i].
ToTypeWithState
(),
5374
SetResult(node, type.
ToTypeWithState
(), type);
9587
TrackNullableStateOfNullableValue(targetFieldSlot, targetField.Type, null, valueField.TypeWithAnnotations.
ToTypeWithState
(), valueFieldSlot);
9600
valueField.TypeWithAnnotations.
ToTypeWithState
(),
9620
TypeWithState valueFieldType = ApplyUnconditionalAnnotations(valueField.TypeWithAnnotations.
ToTypeWithState
(), GetRValueAnnotations(valueField));
9933
TrackAnalyzedNullabilityThroughConversionGroup(targetTypeWithNullability.
ToTypeWithState
(), conversionOpt, conversionOperand);
10087
TrackNullableStateOfNullableValue(containingSlot, targetType, conversionOperand, underlyingType.
ToTypeWithState
(), valueSlot);
10507
underlyingOperandType = underlyingOperandTypeWithAnnotations.
ToTypeWithState
();
10808
NullableFlowState state = returnType.
ToTypeWithState
().State.Join(operandState);
10819
return type.GetNullableUnderlyingTypeWithAnnotations().
ToTypeWithState
();
10829
returnType.
ToTypeWithState
();
11314
var rValueType = ApplyUnconditionalAnnotations(type.
ToTypeWithState
(), annotations);
11538
parameter, parameter.TypeWithAnnotations, GetParameterAnnotations(parameter), new VisitResult(variable.Type.
ToTypeWithState
(), variable.Type),
11553
new VisitResult(variable.Type.
ToTypeWithState
(), variable.Type),
12199
TypeWithState typeWithState = ApplyUnconditionalAnnotations(typeWithAnnotations.
ToTypeWithState
(), memberAnnotations);
12252
var resultType = ApplyUnconditionalAnnotations(indexer.TypeWithAnnotations.
ToTypeWithState
(), GetRValueAnnotations(indexer));
12340
var resultType = ApplyUnconditionalAnnotations(type.
ToTypeWithState
(), memberAnnotations);
12560
currentPropertyGetterTypeWithState = arrayType.ElementTypeWithAnnotations.
ToTypeWithState
();
12567
TypeWithAnnotations.Create(enumeratorInfoOpt.ElementType, NullableAnnotation.NotAnnotated).
ToTypeWithState
();
12604
currentPropertyGetter.ReturnTypeWithAnnotations.
ToTypeWithState
(),
12685
resultForType = destinationType.
ToTypeWithState
();
13125
SetResultType(node, reinferredGetResult.ReturnTypeWithAnnotations.
ToTypeWithState
());
13730
SetResult(node.Expression, typeWithAnnotations.
ToTypeWithState
(), typeWithAnnotations);
13847
SetResult(node, returnTypeWithAnnotations.
ToTypeWithState
(), returnTypeWithAnnotations);
FlowAnalysis\NullableWalker_Patterns.cs (1)
508
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
();