3 writes to _variables
Microsoft.CodeAnalysis.CSharp (3)
FlowAnalysis\NullableWalker.cs (3)
476
_variables
= variables ?? Variables.Create(symbol);
3400
_variables
= GetOrCreateNestedFunctionVariables(_variables, lambdaOrFunctionSymbol);
3463
_variables
= _variables.Container!;
39 references to _variables
Microsoft.CodeAnalysis.CSharp (39)
FlowAnalysis\NullableWalker.cs (37)
447
_variables
.Free();
527
return
_variables
.TryGetValue(identifier, out slot);
532
return
_variables
.Add(identifier);
1843
finalNullableState = GetVariableState(walker.
_variables
, walker.State);
1867
Debug.Assert(walker.
_variables
.Id == initialState.Value.Id);
1898
state.TryAdd(key, new Data(
_variables
.GetTotalVariableCount(), requiredAnalysis));
1905
return new SharedWalkerState(
_variables
.CreateSnapshot());
1970
state.NormalizeIfNeeded(slot, this,
_variables
, useNotNullsAsDefault);
1978
state.Normalize(this,
_variables
);
1988
var variable =
_variables
[slot];
1996
if (!
_variables
.TryGetType(local, out TypeWithAnnotations localType))
2005
if (!
_variables
.TryGetType(parameter, out TypeWithAnnotations parameterType))
2235
|| (!constructor.IsStatic && containingSlot > 0 &&
_variables
[containingSlot].Symbol is ThisParameterSymbol))
2780
return GetTypeOrReturnType(
_variables
[slot].Symbol);
2815
var actualType = GetTypeOrReturnType(
_variables
[targetSlot].Symbol);
2830
_variables
.GetMembers(members, targetSlot);
2890
_variables
.GetMembers(members, valueSlot);
2902
var state = LocalState.ReachableState(
_variables
);
2909
return LocalState.UnreachableState(
_variables
);
2915
return LocalState.ReachableStateWithNotNulls(
_variables
);
2962
_variables
.SetType(parameter, parameterType);
3311
state.Normalize(this,
_variables
);
3320
_variables
);
3340
_variables
);
3400
_variables = GetOrCreateNestedFunctionVariables(
_variables
, lambdaOrFunctionSymbol);
3401
this.State = state.CreateNestedMethodState(
_variables
);
3463
_variables =
_variables
.Container!;
3656
_variables
.SetType(local, type);
7706
_variables
.SetType(local.LocalSymbol, varType);
8112
return getUnboundLambda((BoundLambda)argument, GetVariableState(
_variables
, lambdaState.Value));
10456
_variables
.SetType(local.LocalSymbol, operandType.ToAnnotatedTypeWithAnnotations(compilation));
10818
return
_variables
.TryGetType(local, out TypeWithAnnotations type) ?
10825
return
_variables
.TryGetType(parameter, out TypeWithAnnotations type) ?
11295
_variables
.SetType(iterationVariable, destinationType);
12302
return state.Dump(
_variables
);
12827
var variables = (symbol.ContainingSymbol is MethodSymbol containingMethod ?
_variables
.GetVariablesForMethodScope(containingMethod) : null) ??
12828
_variables
.GetRootScope();
FlowAnalysis\NullableWalker_Patterns.cs (2)
685
if (
_variables
.TryGetType(local, out var existingType))
690
_variables
.SetType(local, inferredType);