119 references to NotNull
Microsoft.CodeAnalysis.CSharp (113)
Binder\Semantics\BestTypeInferrer.cs (1)
38NullableFlowState result = NullableFlowState.NotNull;
FlowAnalysis\NullableWalker.cs (86)
235private static readonly TypeWithState _invalidType = TypeWithState.Create(new UnsupportedMetadataTypeSymbol(), NullableFlowState.NotNull); 1994return NullableFlowState.NotNull; 2027return NullableFlowState.NotNull; 2057return NullableFlowState.NotNull; 2403case NullableFlowState.NotNull: 2778NullableFlowState.NotNull; 2826/// and the new state is not <see cref="NullableFlowState.NotNull"/>, this method should be called to perform the 2834if (newState != NullableFlowState.NotNull && NonMonotonicState.HasValue) 3055return TypeWithState.Create(parameterType.Type, NullableFlowState.NotNull); 3359SetState(ref state, slot, NullableFlowState.NotNull); 3856SetResultType(node, TypeWithState.Create(null, NullableFlowState.NotNull)); 3864SetResultType(node, TypeWithState.Create(null, NullableFlowState.NotNull)); 4036return NullableFlowState.NotNull; 4156Debug.Assert(resultState == NullableFlowState.NotNull); 4196return (-1, NullableFlowState.NotNull, inferInitialObjectStateAsContinuation(node, arguments, argumentResults, hasObjectInitializer)); 4202var resultState = NullableFlowState.NotNull; 4269Debug.Assert(resultState == NullableFlowState.NotNull); 4403var result = new VisitResult(objectInitializer.Type, NullableAnnotation.NotAnnotated, NullableFlowState.NotNull); 4630SetAnalyzedNullability(node.ImplicitReceiverOpt, new VisitResult(node.ImplicitReceiverOpt.Type, NullableAnnotation.NotAnnotated, NullableFlowState.NotNull)); 4688SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.NotNull)); 4693var resultType = TypeWithState.Create(node.Type, NullableFlowState.NotNull); 4801SetResultType(node, TypeWithState.Create(anonymousType, NullableFlowState.NotNull)); 4833SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.NotNull)); 4838SetResultType(node, TypeWithState.Create(arrayType, NullableFlowState.NotNull)); 5116NullableFlowState resultState = NullableFlowState.NotNull; 5147resultState = NullableFlowState.NotNull; 5736SetState(ref stateToUpdate, slot, NullableFlowState.NotNull); 5765SetState(ref state, slot, NullableFlowState.NotNull); 5790if (GetState(ref state, slot) == NullableFlowState.NotNull) 5822SetState(ref state, childSlot, NullableFlowState.NotNull); 5901SetState(ref this.State, leftSlot, NullableFlowState.NotNull); 5956BoundNullCoalescingOperatorResultKind.NoCommonType => (node.Type, NullableFlowState.NotNull), 5961BoundNullCoalescingOperatorResultKind.RightDynamicType => (rightResultType!, NullableFlowState.NotNull), 5978return (rightType, NullableFlowState.NotNull); 5983return (leftType, NullableFlowState.NotNull); 5998TypeWithState.Create(leftType, NullableFlowState.NotNull), 6009return (rightType, NullableFlowState.NotNull); 6505SetResultType(node, TypeWithState.Create(rvalueType, NullableFlowState.NotNull)); 6995return NullableFlowState.NotNull; 7129return TypeWithState.Create(typeWithState.Type, NullableFlowState.NotNull); 7719SetState(ref state, memberSlot, NullableFlowState.NotNull); 8154return TypeWithState.Create(typeWithState.Type, NullableFlowState.NotNull); 8173return TypeWithState.Create(typeWithState.Type, NullableFlowState.NotNull); 8192return TypeWithState.Create(typeWithState.Type, NullableFlowState.NotNull); 9025SetResultType(node, TypeWithState.Create(null, NullableFlowState.NotNull)); 9032SetState(ref this.State, slot, NullableFlowState.NotNull); 9050SetResultType(node, TypeWithState.Create(tupleOpt, NullableFlowState.NotNull)); 9172SetState(ref this.State, targetFieldSlot, NullableFlowState.NotNull); 9189SetState(ref this.State, targetFieldSlot, NullableFlowState.NotNull); 9425NullableFlowState resultState = NullableFlowState.NotNull; 9457resultState = NullableFlowState.NotNull; 9481return TypeWithState.Create(targetType, NullableFlowState.NotNull); 9487resultState = NullableFlowState.NotNull; 9491resultState = NullableFlowState.NotNull; 9496resultState = NullableFlowState.NotNull; 9536resultState = NullableFlowState.NotNull; 9660resultState = NullableFlowState.NotNull; 9734resultState = NullableFlowState.NotNull; 9959var resultType = TypeWithState.Create(targetType, NullableFlowState.NotNull); 10239var result = TypeWithState.Create(delegateType, NullableFlowState.NotNull); 10536var rvalueResult = TypeWithState.Create(node.Type, NullableFlowState.NotNull); 10956var valueBeforeNullableWrapping = TypeWithState.Create(underlyingType.Type, NullableFlowState.NotNull); 11086SetResultType(node, TypeWithState.Create(receiverType.Type, NullableFlowState.NotNull)); 11110SetResultType(node, TypeWithState.Create(opType.Type, NullableFlowState.NotNull)); 11264SetResultType(node, TypeWithState.Create(receiverType.Type, NullableFlowState.NotNull)); 11292SetResultType(node, TypeWithState.Create(opType.Type, NullableFlowState.NotNull)); 11606SetState(ref this.StateWhenTrue, containingSlot, NullableFlowState.NotNull); 11830if (enumeratorReturnType.State != NullableFlowState.NotNull) 11911var state = NullableFlowState.NotNull; 12108TypeWithState.Create(node.Type, node.OperatorKind.IsLifted() ? argumentResult.State : NullableFlowState.NotNull); 12376SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.NotNull)); 12413SetState(ref this.State, slot, NullableFlowState.NotNull); 12459NullableFlowState resultState = NullableFlowState.NotNull; 12512SetResultType(node, TypeWithState.Create(node.Type, node.Type?.CanContainNull() != false && node.ConstantValueOpt?.IsNull == true ? NullableFlowState.MaybeDefault : NullableFlowState.NotNull)); 12796SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.NotNull)); 12811SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.NotNull)); 12860SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.NotNull)); 12866SetResultType(node, TypeWithState.Create(type, NullableFlowState.NotNull)); 12934SetState(ref this.State, slot, NullableFlowState.NotNull); 13023Debug.Assert(ResultType is TypeWithState { Type: FunctionPointerTypeSymbol { }, State: NullableFlowState.NotNull }); 13328SetValue(Id, index, useNotNullsAsDefault ? NullableFlowState.NotNull : walker.GetDefaultState(ref this, slot)); 13360return NullableFlowState.NotNull; 13369(false, false) => NullableFlowState.NotNull, // Should not be reachable 13372(true, true) => NullableFlowState.NotNull 13401NullableFlowState.NotNull => (true, true), 13455var oldValue = oldReachable ? GetValue(i) : NullableFlowState.NotNull;
FlowAnalysis\NullableWalker_Patterns.cs (2)
481SetState(ref State, outputSlot, NullableFlowState.NotNull); 579SetState(ref this.State, outputSlot, NullableFlowState.NotNull); // Slice value is assumed to be never null
Symbols\ConstraintsHelper.cs (5)
1233return NullableFlowState.NotNull; 1237return type.IsNullableTypeOrTypeParameter() ? NullableFlowState.MaybeNull : NullableFlowState.NotNull; 1244return NullableFlowState.NotNull; 1249return NullableFlowState.NotNull; 1269if (state == NullableFlowState.NotNull)
Symbols\NullableFlowState.cs (1)
11/// When in doubt we conservatively use <see cref="NullableFlowState.NotNull"/>
Symbols\NullableFlowStateExtensions.cs (6)
13public static bool MayBeNull(this NullableFlowState state) => state != NullableFlowState.NotNull; 15public static bool IsNotNull(this NullableFlowState state) => state == NullableFlowState.NotNull; 25/// The result is <see cref="NullableFlowState.NotNull"/> if either operand is that. 32CSharp.NullableFlowState.NotNull => CodeAnalysis.NullableFlowState.NotNull, 42CodeAnalysis.NullableFlowState.None => CSharp.NullableFlowState.NotNull, 43CodeAnalysis.NullableFlowState.NotNull => CSharp.NullableFlowState.NotNull,
Symbols\TypeWithAnnotations.cs (4)
817return annotation.IsAnnotated() ? NullableFlowState.MaybeDefault : NullableFlowState.NotNull; 821return annotation switch { NullableAnnotation.Annotated => NullableFlowState.MaybeDefault, NullableAnnotation.NotAnnotated => NullableFlowState.MaybeNull, _ => NullableFlowState.NotNull }; 825return annotation switch { NullableAnnotation.Annotated => NullableFlowState.MaybeDefault, _ => NullableFlowState.NotNull }; 831return annotation switch { NullableAnnotation.Annotated => NullableFlowState.MaybeNull, _ => NullableFlowState.NotNull };
Symbols\TypeWithState.cs (8)
21public bool IsNotNull => State == NullableFlowState.NotNull; 36var state = defaultState != NullableFlowState.NotNull && type?.CanContainNull() != false ? NullableFlowState.MaybeNull : NullableFlowState.NotNull; 54state = NullableFlowState.NotNull; 63state = NullableFlowState.NotNull; 71Debug.Assert(state == NullableFlowState.NotNull || type?.CanContainNull() != false); 81public TypeWithState WithNotNullState() => new TypeWithState(Type, NullableFlowState.NotNull); 83public TypeWithState WithSuppression(bool suppress) => suppress ? new TypeWithState(Type, NullableFlowState.NotNull) : this;
Microsoft.CodeAnalysis.CSharp.Semantic.UnitTests (6)
Semantics\NullableReferenceTypesTests.cs (6)
126921var inputs = new[] { NullableFlowState.NotNull, NullableFlowState.MaybeNull }; 126927{ NullableFlowState.NotNull, NullableFlowState.MaybeNull }, 126953var inputs = new[] { NullableFlowState.NotNull, NullableFlowState.MaybeNull }; 126958{ NullableFlowState.NotNull, NullableFlowState.NotNull }, 126959{ NullableFlowState.NotNull, NullableFlowState.MaybeNull },