1 instantiation of VariableState
Microsoft.CodeAnalysis.CSharp (1)
FlowAnalysis\NullableWalker.cs (1)
6983return 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; 421private UnboundLambda(SyntaxNode syntax, UnboundLambdaState state, FunctionTypeSymbol? functionType, bool withDependencies, NullableWalker.VariableState? nullableState, bool hasErrors) : 427internal UnboundLambda WithNullableState(NullableWalker.VariableState nullableState)
Compilation\MethodBodySemanticModel.cs (1)
297var afterInitializersState = NullableWalker.GetAfterInitializersState(Compilation, MemberSymbol, boundRoot);
Compiler\MethodCompiler.cs (2)
1786NullableWalker.VariableState? nullableInitialState = null; 2002NullableWalker.VariableState? getInitializerState(BoundNode? body)
FlowAnalysis\NullableWalker.cs (14)
1292VariableState? initialNullableState, 1295out VariableState? finalNullableState) 1319VariableState? initialNullableState, 1322out VariableState? finalNullableState, 1355internal static VariableState? GetAfterInitializersState(CSharpCompilation compilation, Symbol? symbol, BoundNode constructorBody) 1373internal static VariableState? GetAfterInitializersState(CSharpCompilation compilation, MethodSymbol method, BoundNode nodeToAnalyze, BoundNode? constructorBody, BindingDiagnosticBag diagnostics) 1401out var afterInitializersState); 1443VariableState? initialState, 1459VariableState? initialState, 1637VariableState initialState, 1680VariableState? initialState, 1686out VariableState? finalNullableState, 6980private static VariableState GetVariableState(Variables variables, LocalState localState) 7165static UnboundLambda getUnboundLambda(BoundLambda expr, VariableState variableState)