40 references to ValueContainsNonLiteralState
Microsoft.CodeAnalysis.NetAnalyzers (40)
Microsoft.NetCore.Analyzers\Data\ReviewSqlQueriesForSecurityVulnerabilities.cs (1)
229
if (value.NonLiteralState ==
ValueContainsNonLiteralState
.No)
src\440320f3f10733a8\ValueContentAbstractValue.cs (35)
25
public static ValueContentAbstractValue UndefinedState { get; } = new ValueContentAbstractValue(ImmutableHashSet<object?>.Empty,
ValueContainsNonLiteralState
.Undefined);
26
public static ValueContentAbstractValue InvalidState { get; } = new ValueContentAbstractValue(ImmutableHashSet<object?>.Empty,
ValueContainsNonLiteralState
.Invalid);
27
public static ValueContentAbstractValue MayBeContainsNonLiteralState { get; } = new ValueContentAbstractValue(ImmutableHashSet<object?>.Empty,
ValueContainsNonLiteralState
.Maybe);
28
public static ValueContentAbstractValue DoesNotContainLiteralOrNonLiteralState { get; } = new ValueContentAbstractValue(ImmutableHashSet<object?>.Empty,
ValueContainsNonLiteralState
.No);
29
public static ValueContentAbstractValue ContainsNullLiteralState { get; } = new ValueContentAbstractValue(ImmutableHashSet.Create((object?)null),
ValueContainsNonLiteralState
.No);
30
public static ValueContentAbstractValue ContainsEmptyStringLiteralState { get; } = new ValueContentAbstractValue(ImmutableHashSet.Create<object?>(string.Empty),
ValueContainsNonLiteralState
.No);
31
public static ValueContentAbstractValue ContainsZeroIntergralLiteralState { get; } = new ValueContentAbstractValue(ImmutableHashSet.Create<object?>(0),
ValueContainsNonLiteralState
.No);
32
public static ValueContentAbstractValue ContainsOneIntergralLiteralState { get; } = new ValueContentAbstractValue(ImmutableHashSet.Create<object?>(1),
ValueContainsNonLiteralState
.No);
33
private static ValueContentAbstractValue ContainsTrueLiteralState { get; } = new ValueContentAbstractValue(ImmutableHashSet.Create<object?>(true),
ValueContainsNonLiteralState
.No);
34
private static ValueContentAbstractValue ContainsFalseLiteralState { get; } = new ValueContentAbstractValue(ImmutableHashSet.Create<object?>(false),
ValueContainsNonLiteralState
.No);
36
private ValueContentAbstractValue(ImmutableHashSet<object?> literalValues,
ValueContainsNonLiteralState
nonLiteralState)
76
return new ValueContentAbstractValue(ImmutableHashSet.Create<object?>(literal),
ValueContainsNonLiteralState
.No);
79
private static ValueContentAbstractValue Create(ImmutableHashSet<object?> literalValues,
ValueContainsNonLiteralState
nonLiteralState)
85
ValueContainsNonLiteralState
.Undefined => UndefinedState,
86
ValueContainsNonLiteralState
.Invalid => InvalidState,
87
ValueContainsNonLiteralState
.No => DoesNotContainLiteralOrNonLiteralState,
91
else if (literalValues.Count == 1 && nonLiteralState ==
ValueContainsNonLiteralState
.No)
142
public
ValueContainsNonLiteralState
NonLiteralState { get; }
179
ValueContainsNonLiteralState
mergedNonLiteralState = Merge(NonLiteralState, otherState.NonLiteralState);
183
private static
ValueContainsNonLiteralState
Merge(
ValueContainsNonLiteralState
value1,
ValueContainsNonLiteralState
value2)
190
if (value1 ==
ValueContainsNonLiteralState
.Maybe || value2 ==
ValueContainsNonLiteralState
.Maybe)
192
return
ValueContainsNonLiteralState
.Maybe;
194
else if (value1 is
ValueContainsNonLiteralState
.Invalid or
ValueContainsNonLiteralState
.Undefined)
198
else if (value2 is
ValueContainsNonLiteralState
.Invalid or
ValueContainsNonLiteralState
.Undefined)
203
Debug.Assert(value1 ==
ValueContainsNonLiteralState
.No);
204
Debug.Assert(value2 ==
ValueContainsNonLiteralState
.No);
205
return
ValueContainsNonLiteralState
.No;
208
public bool IsLiteralState => !LiteralValues.IsEmpty && NonLiteralState ==
ValueContainsNonLiteralState
.No;
245
return mergedLiteralValues.IsEmpty ? InvalidState : new ValueContentAbstractValue(mergedLiteralValues,
ValueContainsNonLiteralState
.No);
280
ValueContainsNonLiteralState
mergedNonLiteralState = Merge(NonLiteralState, otherState.NonLiteralState);
src\440320f3f10733a8\ValueContentAnalysis.CoreAnalysisDataDomain.cs (1)
26
protected override bool CanSkipNewEntry(AnalysisEntity analysisEntity, ValueContentAbstractValue value) => value.NonLiteralState ==
ValueContainsNonLiteralState
.Maybe;
src\440320f3f10733a8\ValueContentAnalysis.ValueContentDataFlowOperationVisitor.cs (1)
123
if (newValue.NonLiteralState ==
ValueContainsNonLiteralState
.Invalid)
src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PropertySetAnalysis\PropertySetCallbacks.cs (2)
55
case
ValueContainsNonLiteralState
.No:
96
case
ValueContainsNonLiteralState
.Maybe: