1 instantiation of VariableState
Microsoft.CodeAnalysis.CSharp (1)
FlowAnalysis\NullableWalker.cs (1)
7839return 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)
1401VariableState? initialNullableState, 1404out VariableState? finalNullableState) 1428VariableState? initialNullableState, 1431out VariableState? finalNullableState, 1464internal static VariableState? GetAfterInitializersState(CSharpCompilation compilation, Symbol? symbol, BoundNode constructorBody) 1482internal static VariableState? GetAfterInitializersState(CSharpCompilation compilation, MethodSymbol method, BoundNode nodeToAnalyze, BoundNode? constructorBody, BindingDiagnosticBag diagnostics) 1510out var afterInitializersState); 1552VariableState? initialState, 1568VariableState? initialState, 1746VariableState initialState, 1789VariableState? initialState, 1795out VariableState? finalNullableState, 7836private static VariableState GetVariableState(Variables variables, LocalState localState) 8058static UnboundLambda getUnboundLambda(BoundLambda expr, VariableState variableState)