1 instantiation of VariableState
Microsoft.CodeAnalysis.CSharp (1)
FlowAnalysis\NullableWalker.cs (1)
8066return new VariableState(variables.CreateSnapshot(), localState.CreateSnapshot());
21 references to VariableState
Microsoft.CodeAnalysis.CSharp (21)
BoundTree\UnboundLambda.cs (4)
117public TypeWithAnnotations GetInferredReturnType(ConversionsBase? conversions, NullableWalker.VariableState? nullableState, ref CompoundUseSiteInfo<AssemblySymbol> useSiteInfo, out bool inferredFromFunctionType) 388private readonly NullableWalker.VariableState? _nullableState; 420private UnboundLambda(SyntaxNode syntax, UnboundLambdaState state, FunctionTypeSymbol? functionType, bool withDependencies, NullableWalker.VariableState? nullableState, bool hasErrors) : 426internal UnboundLambda WithNullableState(NullableWalker.VariableState nullableState)
Compilation\MethodBodySemanticModel.cs (1)
295var afterInitializersState = NullableWalker.GetAfterInitializersState(Compilation, MemberSymbol, boundRoot);
Compiler\MethodCompiler.cs (2)
1850NullableWalker.VariableState? nullableInitialState = null; 2064NullableWalker.VariableState? getInitializerState(BoundNode? body)
FlowAnalysis\NullableWalker.cs (14)
1427VariableState? initialNullableState, 1430out VariableState? finalNullableState) 1454VariableState? initialNullableState, 1457out VariableState? finalNullableState, 1491internal static VariableState? GetAfterInitializersState(CSharpCompilation compilation, Symbol? symbol, BoundNode constructorBody) 1509internal static VariableState? GetAfterInitializersState(CSharpCompilation compilation, MethodSymbol method, BoundNode nodeToAnalyze, BoundNode? constructorBody, BindingDiagnosticBag diagnostics) 1537out var afterInitializersState); 1579VariableState? initialState, 1595VariableState? initialState, 1777VariableState initialState, 1822VariableState? initialState, 1828out VariableState? finalNullableState, 8063private static VariableState GetVariableState(Variables variables, LocalState localState) 8289static UnboundLambda getUnboundLambda(BoundLambda expr, VariableState variableState)