3 writes to _variables
Microsoft.CodeAnalysis.CSharp (3)
FlowAnalysis\NullableWalker.cs (3)
469
_variables
= variables ?? Variables.Create(symbol);
3321
_variables
= GetOrCreateNestedFunctionVariables(_variables, lambdaOrFunctionSymbol);
3384
_variables
= _variables.Container!;
39 references to _variables
Microsoft.CodeAnalysis.CSharp (39)
FlowAnalysis\NullableWalker.cs (37)
441
_variables
.Free();
519
return
_variables
.TryGetValue(identifier, out slot);
524
return
_variables
.Add(identifier);
1823
finalNullableState = GetVariableState(walker.
_variables
, walker.State);
1847
Debug.Assert(walker.
_variables
.Id == initialState.Value.Id);
1878
state.TryAdd(key, new Data(
_variables
.GetTotalVariableCount(), requiredAnalysis));
1885
return new SharedWalkerState(
_variables
.CreateSnapshot());
1950
state.NormalizeIfNeeded(slot, this,
_variables
, useNotNullsAsDefault);
1958
state.Normalize(this,
_variables
);
1968
var variable =
_variables
[slot];
1976
if (!
_variables
.TryGetType(local, out TypeWithAnnotations localType))
1985
if (!
_variables
.TryGetType(parameter, out TypeWithAnnotations parameterType))
2215
|| (!constructor.IsStatic && containingSlot > 0 &&
_variables
[containingSlot].Symbol is ThisParameterSymbol))
2741
return
_variables
[slot].Symbol.GetTypeOrReturnType().Type;
2776
var actualType =
_variables
[targetSlot].Symbol.GetTypeOrReturnType().Type;
2791
_variables
.GetMembers(members, targetSlot);
2811
_variables
.GetMembers(members, valueSlot);
2823
var state = LocalState.ReachableState(
_variables
);
2830
return LocalState.UnreachableState(
_variables
);
2836
return LocalState.ReachableStateWithNotNulls(
_variables
);
2883
_variables
.SetType(parameter, parameterType);
3232
state.Normalize(this,
_variables
);
3241
_variables
);
3261
_variables
);
3321
_variables = GetOrCreateNestedFunctionVariables(
_variables
, lambdaOrFunctionSymbol);
3322
this.State = state.CreateNestedMethodState(
_variables
);
3384
_variables =
_variables
.Container!;
3577
_variables
.SetType(local, type);
7617
_variables
.SetType(local.LocalSymbol, varType);
8023
return getUnboundLambda((BoundLambda)argument, GetVariableState(
_variables
, lambdaState.Value));
10347
_variables
.SetType(local.LocalSymbol, operandType.ToAnnotatedTypeWithAnnotations(compilation));
10709
return
_variables
.TryGetType(local, out TypeWithAnnotations type) ?
10716
return
_variables
.TryGetType(parameter, out TypeWithAnnotations type) ?
11186
_variables
.SetType(iterationVariable, destinationType);
12193
return state.Dump(
_variables
);
12718
var variables = (symbol.ContainingSymbol is MethodSymbol containingMethod ?
_variables
.GetVariablesForMethodScope(containingMethod) : null) ??
12719
_variables
.GetRootScope();
FlowAnalysis\NullableWalker_Patterns.cs (2)
685
if (
_variables
.TryGetType(local, out var existingType))
690
_variables
.SetType(local, inferredType);