77 references to Create
Microsoft.CodeAnalysis.CSharp (77)
FlowAnalysis\NullableWalker_Patterns.cs (6)
527
var inputTypeWithState = TypeWithState.
Create
(inputType, inputState);
634
var value = TypeWithState.
Create
(tempType, tempState);
646
TrackNullableStateForAssignment(valueOpt: null, inferredType, localSlot, TypeWithState.
Create
(tempType, tempState), tempSlot);
999
receiverType: TypeWithState.
Create
(inputType, NullableFlowState.NotNull),
1164
resultType = TypeWithState.
Create
(inferredType, inferredState);
1214
TypeWithState resultType = TypeWithState.
Create
(inferredTypeWithAnnotations.Type, inferredState);
FlowAnalysis\NullableWalker.cs (68)
147
RValueType = TypeWithState.
Create
(type, state);
235
private static readonly TypeWithState _invalidType = TypeWithState.
Create
(new UnsupportedMetadataTypeSymbol(), NullableFlowState.NotNull);
3137
return TypeWithState.
Create
(parameterType.Type, NullableFlowState.MaybeDefault);
3142
return TypeWithState.
Create
(parameterType.Type, NullableFlowState.NotNull);
3969
SetResultType(node, TypeWithState.
Create
(null, NullableFlowState.NotNull));
3977
SetResultType(node, TypeWithState.
Create
(null, NullableFlowState.NotNull));
4256
var resultTypeWithState = TypeWithState.
Create
(strippedTargetCollectionType, resultState);
4376
var result = TypeWithState.
Create
(type, resultState);
4974
TypeWithState.
Create
(containingType, receiverResult.RValueType.State),
4994
SetResultType(node, TypeWithState.
Create
(node.Type, NullableFlowState.NotNull));
4999
var resultType = TypeWithState.
Create
(node.Type, NullableFlowState.NotNull);
5107
SetResultType(node, TypeWithState.
Create
(anonymousType, NullableFlowState.NotNull));
5139
SetResultType(node, TypeWithState.
Create
(node.Type, NullableFlowState.NotNull));
5144
SetResultType(node, TypeWithState.
Create
(arrayType, NullableFlowState.NotNull));
5221
inferredType = TypeWithState.
Create
(inferredType.Type, elementState).ToTypeWithAnnotations(compilation);
5463
return TypeWithState.
Create
(resultType, resultState);
6234
TypeWithState resultType = TypeWithState.
Create
(targetType.Type, rightResult.State);
6253
SetResultType(node, TypeWithState.
Create
(node.Type, rightUnconditionalResult.State));
6287
SetResultType(node, TypeWithState.
Create
(resultType, rightResult.State.Join(leftState)));
6322
TypeWithState.
Create
(leftType, NullableFlowState.NotNull),
6506
SetResultType(node, TypeWithState.
Create
(resultType, NullableFlowState.MaybeDefault));
6582
SetResult(node, TypeWithState.
Create
(refResultType, rValueState), TypeWithAnnotations.Create(refResultType, lValueAnnotation));
6646
SetResultType(node, TypeWithState.
Create
(resultType, default));
6691
var typeWithState = TypeWithState.
Create
(resultTypeWithAnnotations.Type, resultState);
6704
return TypeWithState.
Create
(resultTypeWithAnnotations.Type, resultState);
6829
SetResultType(node, TypeWithState.
Create
(rvalueType, NullableFlowState.NotNull));
7521
return TypeWithState.
Create
(typeWithState.Type, NullableFlowState.NotNull);
7526
return TypeWithState.
Create
(typeWithState.Type, NullableFlowState.MaybeDefault);
7861
TrackAnalyzedNullabilityThroughConversionGroup(TypeWithState.
Create
(argument.Type, result.RValueType.State), argument as BoundConversion, argumentNoConversion);
8446
parameterWithState = TypeWithState.
Create
(parameterType.Type, adjustedState);
8588
return TypeWithState.
Create
(typeWithState.Type, NullableFlowState.MaybeDefault);
8594
return TypeWithState.
Create
(typeWithState.Type, NullableFlowState.NotNull);
8609
return TypeWithState.
Create
(typeWithState.Type, NullableFlowState.MaybeDefault);
8613
return TypeWithState.
Create
(typeWithState.Type, NullableFlowState.NotNull);
8628
return TypeWithState.
Create
(typeWithState.Type, NullableFlowState.MaybeDefault);
8632
return TypeWithState.
Create
(typeWithState.Type, NullableFlowState.NotNull);
9202
return TypeWithState.
Create
(type.Type, state);
9476
SetResultType(node, TypeWithState.
Create
(null, NullableFlowState.NotNull));
9501
SetResultType(node, TypeWithState.
Create
(tupleOpt, NullableFlowState.NotNull));
9685
valueFieldType = TypeWithState.
Create
(valueFieldType.Type, GetState(ref this.State, valueFieldSlot));
9993
return TypeWithState.
Create
(targetType, NullableFlowState.NotNull);
10311
var resultType = TypeWithState.
Create
(targetType, resultState);
10527
var resultType = TypeWithState.
Create
(targetType, NullableFlowState.NotNull);
10679
var resultType = TypeWithState.
Create
(targetTypeWithNullability.Type, NullableFlowState.NotNull);
10772
unionTypeWithState = TypeWithState.
Create
(toType, NullableFlowState.NotNull);
10871
return TypeWithState.
Create
(type, state);
10983
var result = TypeWithState.
Create
(delegateType, NullableFlowState.NotNull);
11280
var rvalueResult = TypeWithState.
Create
(node.Type, NullableFlowState.NotNull);
11356
SetResult(node, TypeWithState.
Create
(leftLValueType.Type, rightState.State), leftLValueType);
11705
var valueBeforeNullableWrapping = TypeWithState.
Create
(underlyingType.Type, NullableFlowState.NotNull);
11838
SetResultType(node, TypeWithState.
Create
(receiverType.Type, NullableFlowState.NotNull));
11842
SetResultType(node, TypeWithState.
Create
(results[0].RValueType.Type, GetState(ref State, extensionReceiverSlot)));
11862
SetResultType(node, TypeWithState.
Create
(opType.Type, NullableFlowState.NotNull));
12031
SetResultType(node, TypeWithState.
Create
(receiverType.Type, NullableFlowState.NotNull));
12035
SetResultType(node, TypeWithState.
Create
(results[0].RValueType.Type, GetState(ref State, extensionReceiverSlot)));
12059
SetResultType(node, TypeWithState.
Create
(opType.Type, NullableFlowState.NotNull));
12137
SetResultType(node.Expression, TypeWithState.
Create
(node.Expression.Type, ResultType.State));
12419
resultType = TypeWithState.
Create
(resultType.Type, state);
12946
TypeWithState.
Create
(node.Type, node.OperatorKind.IsLifted() ? argumentResult.State : NullableFlowState.NotNull);
13212
SetResultType(node, TypeWithState.
Create
(node.Type, NullableFlowState.NotNull));
13234
SetResultType(node, TypeWithState.
Create
(node.Type, NullableFlowState.MaybeDefault));
13316
SetResultType(node, TypeWithState.
Create
(type, resultState));
13348
SetResultType(node, TypeWithState.
Create
(node.Type, node.Type?.CanContainNull() != false && node.ConstantValueOpt?.IsNull == true ? NullableFlowState.MaybeDefault : NullableFlowState.NotNull));
13525
SetResultType(expression, TypeWithState.
Create
(expression.Type, default));
13632
SetResultType(node, TypeWithState.
Create
(node.Type, NullableFlowState.NotNull));
13647
SetResultType(node, TypeWithState.
Create
(node.Type, NullableFlowState.NotNull));
13696
SetResultType(node, TypeWithState.
Create
(node.Type, NullableFlowState.NotNull));
13702
SetResultType(node, TypeWithState.
Create
(type, NullableFlowState.NotNull));
Symbols\TypeWithAnnotations.cs (1)
811
return TypeWithState.
Create
(Type, getFlowState(Type, NullableAnnotation));
Symbols\TypeWithState.cs (2)
25
return
Create
(type, NullableFlowState.MaybeDefault);
66
return
Create
(type, state);