3 writes to _variables
Microsoft.CodeAnalysis.CSharp (3)
FlowAnalysis\NullableWalker.cs (3)
482
_variables
= variables ?? Variables.Create(symbol);
3422
_variables
= GetOrCreateNestedFunctionVariables(_variables, lambdaOrFunctionSymbol);
3485
_variables
= _variables.Container!;
39 references to _variables
Microsoft.CodeAnalysis.CSharp (39)
FlowAnalysis\NullableWalker.cs (37)
453
_variables
.Free();
533
return
_variables
.TryGetValue(identifier, out slot);
538
return
_variables
.Add(identifier);
1864
finalNullableState = GetVariableState(walker.
_variables
, walker.State);
1888
Debug.Assert(walker.
_variables
.Id == initialState.Value.Id);
1919
state.TryAdd(key, new Data(
_variables
.GetTotalVariableCount(), requiredAnalysis));
1926
return new SharedWalkerState(
_variables
.CreateSnapshot());
1991
state.NormalizeIfNeeded(slot, this,
_variables
, useNotNullsAsDefault);
1999
state.Normalize(this,
_variables
);
2009
var variable =
_variables
[slot];
2017
if (!
_variables
.TryGetType(local, out TypeWithAnnotations localType))
2026
if (!
_variables
.TryGetType(parameter, out TypeWithAnnotations parameterType))
2256
|| (!constructor.IsStatic && containingSlot > 0 &&
_variables
[containingSlot].Symbol is ThisParameterSymbol))
2801
return GetTypeOrReturnType(
_variables
[slot].Symbol);
2836
var actualType = GetTypeOrReturnType(
_variables
[targetSlot].Symbol);
2851
_variables
.GetMembers(members, targetSlot);
2911
_variables
.GetMembers(members, valueSlot);
2923
var state = LocalState.ReachableState(
_variables
);
2930
return LocalState.UnreachableState(
_variables
);
2936
return LocalState.ReachableStateWithNotNulls(
_variables
);
2983
_variables
.SetType(parameter, parameterType);
3333
state.Normalize(this,
_variables
);
3342
_variables
);
3362
_variables
);
3422
_variables = GetOrCreateNestedFunctionVariables(
_variables
, lambdaOrFunctionSymbol);
3423
this.State = state.CreateNestedMethodState(
_variables
);
3485
_variables =
_variables
.Container!;
3678
_variables
.SetType(local, type);
8004
_variables
.SetType(local.LocalSymbol, varType);
8415
return getUnboundLambda((BoundLambda)argument, GetVariableState(
_variables
, lambdaState.Value));
10811
_variables
.SetType(local.LocalSymbol, operandType.ToAnnotatedTypeWithAnnotations(compilation));
11310
return
_variables
.TryGetType(local, out TypeWithAnnotations type) ?
11317
return
_variables
.TryGetType(parameter, out TypeWithAnnotations type) ?
11830
_variables
.SetType(iterationVariable, destinationType);
12941
return state.Dump(
_variables
);
13466
var variables = (symbol.ContainingSymbol is MethodSymbol containingMethod ?
_variables
.GetVariablesForMethodScope(containingMethod) : null) ??
13467
_variables
.GetRootScope();
FlowAnalysis\NullableWalker_Patterns.cs (2)
687
if (
_variables
.TryGetType(local, out var existingType))
692
_variables
.SetType(local, inferredType);