1 instantiation of VariableState
Microsoft.CodeAnalysis.CSharp (1)
FlowAnalysis\NullableWalker.cs (1)
7850return 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)
294var afterInitializersState = NullableWalker.GetAfterInitializersState(Compilation, MemberSymbol, boundRoot);
Compiler\MethodCompiler.cs (2)
1755NullableWalker.VariableState? nullableInitialState = null; 1969NullableWalker.VariableState? getInitializerState(BoundNode? body)
FlowAnalysis\NullableWalker.cs (14)
1403VariableState? initialNullableState, 1406out VariableState? finalNullableState) 1430VariableState? initialNullableState, 1433out VariableState? finalNullableState, 1466internal static VariableState? GetAfterInitializersState(CSharpCompilation compilation, Symbol? symbol, BoundNode constructorBody) 1484internal static VariableState? GetAfterInitializersState(CSharpCompilation compilation, MethodSymbol method, BoundNode nodeToAnalyze, BoundNode? constructorBody, BindingDiagnosticBag diagnostics) 1512out var afterInitializersState); 1554VariableState? initialState, 1570VariableState? initialState, 1748VariableState initialState, 1791VariableState? initialState, 1797out VariableState? finalNullableState, 7847private static VariableState GetVariableState(Variables variables, LocalState localState) 8069static UnboundLambda getUnboundLambda(BoundLambda expr, VariableState variableState)