3 writes to _variables
Microsoft.CodeAnalysis.CSharp (3)
FlowAnalysis\NullableWalker.cs (3)
469
_variables
= variables ?? Variables.Create(symbol);
3319
_variables
= GetOrCreateNestedFunctionVariables(_variables, lambdaOrFunctionSymbol);
3382
_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);
1821
finalNullableState = GetVariableState(walker.
_variables
, walker.State);
1845
Debug.Assert(walker.
_variables
.Id == initialState.Value.Id);
1876
state.TryAdd(key, new Data(
_variables
.GetTotalVariableCount(), requiredAnalysis));
1883
return new SharedWalkerState(
_variables
.CreateSnapshot());
1948
state.NormalizeIfNeeded(slot, this,
_variables
, useNotNullsAsDefault);
1956
state.Normalize(this,
_variables
);
1966
var variable =
_variables
[slot];
1974
if (!
_variables
.TryGetType(local, out TypeWithAnnotations localType))
1983
if (!
_variables
.TryGetType(parameter, out TypeWithAnnotations parameterType))
2213
|| (!constructor.IsStatic && containingSlot > 0 &&
_variables
[containingSlot].Symbol is ThisParameterSymbol))
2739
return
_variables
[slot].Symbol.GetTypeOrReturnType().Type;
2774
var actualType =
_variables
[targetSlot].Symbol.GetTypeOrReturnType().Type;
2789
_variables
.GetMembers(members, targetSlot);
2809
_variables
.GetMembers(members, valueSlot);
2821
var state = LocalState.ReachableState(
_variables
);
2828
return LocalState.UnreachableState(
_variables
);
2834
return LocalState.ReachableStateWithNotNulls(
_variables
);
2881
_variables
.SetType(parameter, parameterType);
3230
state.Normalize(this,
_variables
);
3239
_variables
);
3259
_variables
);
3319
_variables = GetOrCreateNestedFunctionVariables(
_variables
, lambdaOrFunctionSymbol);
3320
this.State = state.CreateNestedMethodState(
_variables
);
3382
_variables =
_variables
.Container!;
3575
_variables
.SetType(local, type);
7606
_variables
.SetType(local.LocalSymbol, varType);
8012
return getUnboundLambda((BoundLambda)argument, GetVariableState(
_variables
, lambdaState.Value));
10336
_variables
.SetType(local.LocalSymbol, operandType.ToAnnotatedTypeWithAnnotations(compilation));
10698
return
_variables
.TryGetType(local, out TypeWithAnnotations type) ?
10705
return
_variables
.TryGetType(parameter, out TypeWithAnnotations type) ?
11175
_variables
.SetType(iterationVariable, destinationType);
12182
return state.Dump(
_variables
);
12707
var variables = (symbol.ContainingSymbol is MethodSymbol containingMethod ?
_variables
.GetVariablesForMethodScope(containingMethod) : null) ??
12708
_variables
.GetRootScope();
FlowAnalysis\NullableWalker_Patterns.cs (2)
685
if (
_variables
.TryGetType(local, out var existingType))
690
_variables
.SetType(local, inferredType);