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);
3130
return TypeWithState.
Create
(parameterType.Type, NullableFlowState.MaybeDefault);
3135
return TypeWithState.
Create
(parameterType.Type, NullableFlowState.NotNull);
3962
SetResultType(node, TypeWithState.
Create
(null, NullableFlowState.NotNull));
3970
SetResultType(node, TypeWithState.
Create
(null, NullableFlowState.NotNull));
4249
var resultTypeWithState = TypeWithState.
Create
(strippedTargetCollectionType, resultState);
4370
var result = TypeWithState.
Create
(type, resultState);
4984
TypeWithState.
Create
(containingType, receiverResult.RValueType.State),
5004
SetResultType(node, TypeWithState.
Create
(node.Type, NullableFlowState.NotNull));
5009
var resultType = TypeWithState.
Create
(node.Type, NullableFlowState.NotNull);
5117
SetResultType(node, TypeWithState.
Create
(anonymousType, NullableFlowState.NotNull));
5149
SetResultType(node, TypeWithState.
Create
(node.Type, NullableFlowState.NotNull));
5154
SetResultType(node, TypeWithState.
Create
(arrayType, NullableFlowState.NotNull));
5231
inferredType = TypeWithState.
Create
(inferredType.Type, elementState).ToTypeWithAnnotations(compilation);
5473
return TypeWithState.
Create
(resultType, resultState);
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)));
6332
TypeWithState.
Create
(leftType, NullableFlowState.NotNull),
6516
SetResultType(node, TypeWithState.
Create
(resultType, NullableFlowState.MaybeDefault));
6592
SetResult(node, TypeWithState.
Create
(refResultType, rValueState), TypeWithAnnotations.Create(refResultType, lValueAnnotation));
6656
SetResultType(node, TypeWithState.
Create
(resultType, default));
6701
var typeWithState = TypeWithState.
Create
(resultTypeWithAnnotations.Type, resultState);
6714
return TypeWithState.
Create
(resultTypeWithAnnotations.Type, resultState);
6839
SetResultType(node, TypeWithState.
Create
(rvalueType, NullableFlowState.NotNull));
7539
return TypeWithState.
Create
(typeWithState.Type, NullableFlowState.NotNull);
7544
return TypeWithState.
Create
(typeWithState.Type, NullableFlowState.MaybeDefault);
7878
TrackAnalyzedNullabilityThroughConversionGroup(TypeWithState.
Create
(argument.Type, result.RValueType.State), argument as BoundConversion, argumentNoConversion);
8463
parameterWithState = TypeWithState.
Create
(parameterType.Type, adjustedState);
8605
return TypeWithState.
Create
(typeWithState.Type, NullableFlowState.MaybeDefault);
8611
return TypeWithState.
Create
(typeWithState.Type, NullableFlowState.NotNull);
8626
return TypeWithState.
Create
(typeWithState.Type, NullableFlowState.MaybeDefault);
8630
return TypeWithState.
Create
(typeWithState.Type, NullableFlowState.NotNull);
8645
return TypeWithState.
Create
(typeWithState.Type, NullableFlowState.MaybeDefault);
8649
return TypeWithState.
Create
(typeWithState.Type, NullableFlowState.NotNull);
9219
return TypeWithState.
Create
(type.Type, state);
9493
SetResultType(node, TypeWithState.
Create
(null, NullableFlowState.NotNull));
9518
SetResultType(node, TypeWithState.
Create
(tupleOpt, NullableFlowState.NotNull));
9702
valueFieldType = TypeWithState.
Create
(valueFieldType.Type, GetState(ref this.State, valueFieldSlot));
10010
return TypeWithState.
Create
(targetType, NullableFlowState.NotNull);
10328
var resultType = TypeWithState.
Create
(targetType, resultState);
10544
var resultType = TypeWithState.
Create
(targetType, NullableFlowState.NotNull);
10696
var resultType = TypeWithState.
Create
(targetTypeWithNullability.Type, NullableFlowState.NotNull);
10789
unionTypeWithState = TypeWithState.
Create
(toType, NullableFlowState.NotNull);
10888
return TypeWithState.
Create
(type, state);
11000
var result = TypeWithState.
Create
(delegateType, NullableFlowState.NotNull);
11297
var rvalueResult = TypeWithState.
Create
(node.Type, NullableFlowState.NotNull);
11373
SetResult(node, TypeWithState.
Create
(leftLValueType.Type, rightState.State), leftLValueType);
11722
var valueBeforeNullableWrapping = TypeWithState.
Create
(underlyingType.Type, NullableFlowState.NotNull);
11855
SetResultType(node, TypeWithState.
Create
(receiverType.Type, NullableFlowState.NotNull));
11859
SetResultType(node, TypeWithState.
Create
(results[0].RValueType.Type, GetState(ref State, extensionReceiverSlot)));
11879
SetResultType(node, TypeWithState.
Create
(opType.Type, NullableFlowState.NotNull));
12048
SetResultType(node, TypeWithState.
Create
(receiverType.Type, NullableFlowState.NotNull));
12052
SetResultType(node, TypeWithState.
Create
(results[0].RValueType.Type, GetState(ref State, extensionReceiverSlot)));
12076
SetResultType(node, TypeWithState.
Create
(opType.Type, NullableFlowState.NotNull));
12154
SetResultType(node.Expression, TypeWithState.
Create
(node.Expression.Type, ResultType.State));
12436
resultType = TypeWithState.
Create
(resultType.Type, state);
12963
TypeWithState.
Create
(node.Type, node.OperatorKind.IsLifted() ? argumentResult.State : NullableFlowState.NotNull);
13229
SetResultType(node, TypeWithState.
Create
(node.Type, NullableFlowState.NotNull));
13251
SetResultType(node, TypeWithState.
Create
(node.Type, NullableFlowState.MaybeDefault));
13333
SetResultType(node, TypeWithState.
Create
(type, resultState));
13365
SetResultType(node, TypeWithState.
Create
(node.Type, node.Type?.CanContainNull() != false && node.ConstantValueOpt?.IsNull == true ? NullableFlowState.MaybeDefault : NullableFlowState.NotNull));
13542
SetResultType(expression, TypeWithState.
Create
(expression.Type, default));
13649
SetResultType(node, TypeWithState.
Create
(node.Type, NullableFlowState.NotNull));
13664
SetResultType(node, TypeWithState.
Create
(node.Type, NullableFlowState.NotNull));
13713
SetResultType(node, TypeWithState.
Create
(node.Type, NullableFlowState.NotNull));
13719
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);