1 instantiation of VariableState
Microsoft.CodeAnalysis.CSharp (1)
FlowAnalysis\NullableWalker.cs (1)
7778return 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)
1751NullableWalker.VariableState? nullableInitialState = null; 1965NullableWalker.VariableState? getInitializerState(BoundNode? body)
FlowAnalysis\NullableWalker.cs (14)
1340VariableState? initialNullableState, 1343out VariableState? finalNullableState) 1367VariableState? initialNullableState, 1370out VariableState? finalNullableState, 1403internal static VariableState? GetAfterInitializersState(CSharpCompilation compilation, Symbol? symbol, BoundNode constructorBody) 1421internal static VariableState? GetAfterInitializersState(CSharpCompilation compilation, MethodSymbol method, BoundNode nodeToAnalyze, BoundNode? constructorBody, BindingDiagnosticBag diagnostics) 1449out var afterInitializersState); 1491VariableState? initialState, 1507VariableState? initialState, 1685VariableState initialState, 1728VariableState? initialState, 1734out VariableState? finalNullableState, 7775private static VariableState GetVariableState(Variables variables, LocalState localState) 7997static UnboundLambda getUnboundLambda(BoundLambda expr, VariableState variableState)