DataFlowAnalysis

FlowAnalysis\CSharpDataFlowAnalysis.cs (1)

24internal class CSharpDataFlowAnalysis : DataFlowAnalysis

Analysis\FlowAnalysis\VisualBasicDataFlowAnalysis.vb (1)

src\b310f676f7308b7f\SymbolUsageAnalysis.DataFlowAnalyzer.FlowGraphAnalysisData.cs (1)

209var dataFlow = operation.SemanticModel.AnalyzeDataFlow(operation.Syntax);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Extensions\SemanticModelExtensions.cs (2)

36public static DataFlowAnalysis AnalyzeRequiredDataFlow(this SemanticModel semanticModel, SyntaxNode statementOrExpression) 39public static DataFlowAnalysis AnalyzeRequiredDataFlow(this SemanticModel semanticModel, SyntaxNode firstStatement, SyntaxNode lastStatement)

Compilation\Extensions.cs (2)

164public static DataFlowAnalysis AnalyzeDataFlow(this SemanticModel semanticModel, SyntaxNode firstStatement, SyntaxNode lastStatement) 173public static DataFlowAnalysis AnalyzeDataFlow(this SemanticModel semanticModel, SyntaxNode statementOrExpression)

Compilation\SemanticModel.cs (4)

695internal DataFlowAnalysis AnalyzeDataFlow(SyntaxNode firstStatement, SyntaxNode lastStatement) 711protected abstract DataFlowAnalysis AnalyzeDataFlowCore(SyntaxNode firstStatement, SyntaxNode lastStatement); 723internal DataFlowAnalysis AnalyzeDataFlow(SyntaxNode statementOrExpression) 738protected abstract DataFlowAnalysis AnalyzeDataFlowCore(SyntaxNode statementOrExpression);

src\b310f676f7308b7f\SymbolUsageAnalysis.DataFlowAnalyzer.FlowGraphAnalysisData.cs (1)

209var dataFlow = operation.SemanticModel.AnalyzeDataFlow(operation.Syntax);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Extensions\SemanticModelExtensions.cs (2)

36public static DataFlowAnalysis AnalyzeRequiredDataFlow(this SemanticModel semanticModel, SyntaxNode statementOrExpression) 39public static DataFlowAnalysis AnalyzeRequiredDataFlow(this SemanticModel semanticModel, SyntaxNode firstStatement, SyntaxNode lastStatement)

src\b310f676f7308b7f\SymbolUsageAnalysis.DataFlowAnalyzer.FlowGraphAnalysisData.cs (1)

209var dataFlow = operation.SemanticModel.AnalyzeDataFlow(operation.Syntax);

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AbstractAnalysisDomain.cs (1)

8/// Abstract analysis domain for a <see cref="DataFlowAnalysis"/> to merge and compare analysis data.

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AbstractBlockAnalysisResult.cs (1)

8/// Result from execution of a <see cref="DataFlowAnalysis"/> on a basic block.

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AbstractDataFlowAnalysisContext.cs (1)

20/// Base type for analysis contexts for execution of <see cref="DataFlowAnalysis"/> on a control flow graph.

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AbstractDomain.cs (1)

10/// Abstract domain for a <see cref="DataFlowAnalysis"/> to merge and compare values.

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AbstractValueDomain.cs (1)

8/// Abstract value domain for a <see cref="DataFlowAnalysis"/> to merge and compare values.

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AnalysisEntity.cs (1)

17/// Primary entity for which analysis data is tracked by <see cref="DataFlowAnalysis"/>.

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowAnalysisResult.cs (1)

16/// Result from execution of a <see cref="DataFlowAnalysis"/> on a control flow graph.

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowAnalysisResultBuilder.cs (1)

15/// Used by <see cref="DataFlowAnalysis"/> to store intermediate dataflow results while executing data flow analysis

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\IDataFlowAnalysisContext.cs (1)

8/// Marker interface for analysis contexts for execution of <see cref="DataFlowAnalysis"/> on a control flow graph.

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\IDataFlowAnalysisResult.cs (1)

8/// Marker interface for analysis results from execution of <see cref="DataFlowAnalysis"/> on a control flow graph.

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Extensions\SemanticModelExtensions.cs (2)

36public static DataFlowAnalysis AnalyzeRequiredDataFlow(this SemanticModel semanticModel, SyntaxNode statementOrExpression) 39public static DataFlowAnalysis AnalyzeRequiredDataFlow(this SemanticModel semanticModel, SyntaxNode firstStatement, SyntaxNode lastStatement)

src\b310f676f7308b7f\SymbolUsageAnalysis.DataFlowAnalyzer.FlowGraphAnalysisData.cs (1)

209var dataFlow = operation.SemanticModel.AnalyzeDataFlow(operation.Syntax);

src\roslyn\src\Analyzers\Core\Analyzers\UseThrowExpression\AbstractUseThrowExpressionDiagnosticAnalyzer.cs (2)

148var dataFlow = semanticModel.AnalyzeDataFlow( 161var exprDataFlow = semanticModel.AnalyzeDataFlow(assignmentExpression.Target.Syntax);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Extensions\SemanticModelExtensions.cs (2)

36public static DataFlowAnalysis AnalyzeRequiredDataFlow(this SemanticModel semanticModel, SyntaxNode statementOrExpression) 39public static DataFlowAnalysis AnalyzeRequiredDataFlow(this SemanticModel semanticModel, SyntaxNode firstStatement, SyntaxNode lastStatement)

Compilation\CSharpSemanticModel.cs (7)

2451public virtual DataFlowAnalysis AnalyzeDataFlow(ConstructorInitializerSyntax constructorInitializer) 2462public virtual DataFlowAnalysis AnalyzeDataFlow(PrimaryConstructorBaseTypeSyntax primaryConstructorBaseType) 2473public virtual DataFlowAnalysis AnalyzeDataFlow(ExpressionSyntax expression) 2486public virtual DataFlowAnalysis AnalyzeDataFlow(StatementSyntax firstStatement, StatementSyntax lastStatement) 2497public virtual DataFlowAnalysis AnalyzeDataFlow(StatementSyntax statement) 5405protected sealed override DataFlowAnalysis AnalyzeDataFlowCore(SyntaxNode firstStatement, SyntaxNode lastStatement) 5430protected sealed override DataFlowAnalysis AnalyzeDataFlowCore(SyntaxNode statementOrExpression)

Compilation\SyntaxTreeSemanticModel.cs (4)

2288public override DataFlowAnalysis AnalyzeDataFlow(ExpressionSyntax expression) 2305public override DataFlowAnalysis AnalyzeDataFlow(ConstructorInitializerSyntax constructorInitializer) 2322public override DataFlowAnalysis AnalyzeDataFlow(PrimaryConstructorBaseTypeSyntax primaryConstructorBaseType) 2339public override DataFlowAnalysis AnalyzeDataFlow(StatementSyntax firstStatement, StatementSyntax lastStatement)

CSharpExtensions.cs (5)

1089public static DataFlowAnalysis? AnalyzeDataFlow(this SemanticModel? semanticModel, ConstructorInitializerSyntax constructorInitializer) 1098public static DataFlowAnalysis? AnalyzeDataFlow(this SemanticModel? semanticModel, PrimaryConstructorBaseTypeSyntax primaryConstructorBaseType) 1107public static DataFlowAnalysis? AnalyzeDataFlow(this SemanticModel? semanticModel, ExpressionSyntax expression) 1116public static DataFlowAnalysis? AnalyzeDataFlow(this SemanticModel? semanticModel, StatementSyntax firstStatement, StatementSyntax lastStatement) 1125public static DataFlowAnalysis? AnalyzeDataFlow(this SemanticModel? semanticModel, StatementSyntax statement)

src\984dec8966cb7923\ConvertSwitchStatementToExpressionDiagnosticAnalyzer.Analyzer.cs (2)

44var dataFlow = semanticModel.AnalyzeDataFlow(nextStatement); 67var beforeSwitch = node.GetPreviousStatement() is StatementSyntax previousStatement

src\roslyn\src\Analyzers\CSharp\Analyzers\InlineDeclaration\CSharpInlineDeclarationDiagnosticAnalyzer.cs (2)

201var dataFlow = semanticModel.AnalyzeDataFlow(outArgumentScope); 268var dataFlow = semanticModel.AnalyzeDataFlow(

src\roslyn\src\Analyzers\CSharp\Analyzers\InvokeDelegateWithConditionalAccess\InvokeDelegateWithConditionalAccessAnalyzer.cs (1)

291var analysis = semanticModel.AnalyzeDataFlow(localDeclarationStatement, ifStatement);

src\roslyn\src\Analyzers\CSharp\Analyzers\MakeLocalFunctionStatic\MakeLocalFunctionStaticHelper.cs (4)

17private static bool TryGetDataFlowAnalysis(LocalFunctionStatementSyntax localFunction, SemanticModel semanticModel, [NotNullWhen(returnValue: true)] out DataFlowAnalysis? dataFlow) 23private static bool CanBeCalledFromStaticContext(LocalFunctionStatementSyntax localFunction, DataFlowAnalysis dataFlow) 39=> TryGetDataFlowAnalysis(localFunction, semanticModel, out var dataFlow) 45if (TryGetDataFlowAnalysis(localFunction, semanticModel, out var dataFlow) &&

src\roslyn\src\Analyzers\CSharp\Analyzers\UseAutoProperty\CSharpUseAutoPropertyAnalyzer.cs (1)

122var dataFlow = semanticModel.AnalyzeDataFlow(memberAccess.Expression);

src\roslyn\src\Analyzers\CSharp\Analyzers\UsePatternMatching\CSharpAsAndNullCheckDiagnosticAnalyzer.Analyzer.cs (2)

181var dataFlow = _semanticModel.AnalyzeRequiredDataFlow(oppositeStatement); 416var dataFlow = _semanticModel.AnalyzeDataFlow(firstStatement, lastStatement);

src\roslyn\src\Analyzers\CSharp\CodeFixes\AssignOutParameters\AbstractAssignOutParametersCodeFixProvider.cs (2)

38var dataFlow = semanticModel.AnalyzeDataFlow(location); 119var dataFlow = semanticModel.AnalyzeDataFlow(exprOrStatement);

src\roslyn\src\Analyzers\CSharp\CodeFixes\UseLocalFunction\CSharpUseLocalFunctionCodeFixProvider.cs (1)

140var dataFlow = semanticModel.AnalyzeDataFlow(localDeclaration);

CodeRefactorings\ConvertLocalFunctionToMethod\CSharpConvertLocalFunctionToMethodCodeRefactoringProvider.cs (1)

76var dataFlow = semanticModel.AnalyzeDataFlow(

src\984dec8966cb7923\ConvertSwitchStatementToExpressionDiagnosticAnalyzer.Analyzer.cs (2)

44var dataFlow = semanticModel.AnalyzeDataFlow(nextStatement); 67var beforeSwitch = node.GetPreviousStatement() is StatementSyntax previousStatement

src\roslyn\src\Analyzers\CSharp\Analyzers\InlineDeclaration\CSharpInlineDeclarationDiagnosticAnalyzer.cs (2)

201var dataFlow = semanticModel.AnalyzeDataFlow(outArgumentScope); 268var dataFlow = semanticModel.AnalyzeDataFlow(

src\roslyn\src\Analyzers\CSharp\Analyzers\InvokeDelegateWithConditionalAccess\InvokeDelegateWithConditionalAccessAnalyzer.cs (1)

291var analysis = semanticModel.AnalyzeDataFlow(localDeclarationStatement, ifStatement);

src\roslyn\src\Analyzers\CSharp\Analyzers\MakeLocalFunctionStatic\MakeLocalFunctionStaticHelper.cs (4)

17private static bool TryGetDataFlowAnalysis(LocalFunctionStatementSyntax localFunction, SemanticModel semanticModel, [NotNullWhen(returnValue: true)] out DataFlowAnalysis? dataFlow) 23private static bool CanBeCalledFromStaticContext(LocalFunctionStatementSyntax localFunction, DataFlowAnalysis dataFlow) 39=> TryGetDataFlowAnalysis(localFunction, semanticModel, out var dataFlow) 45if (TryGetDataFlowAnalysis(localFunction, semanticModel, out var dataFlow) &&

src\roslyn\src\Analyzers\CSharp\Analyzers\UseAutoProperty\CSharpUseAutoPropertyAnalyzer.cs (1)

122var dataFlow = semanticModel.AnalyzeDataFlow(memberAccess.Expression);

src\roslyn\src\Analyzers\CSharp\Analyzers\UsePatternMatching\CSharpAsAndNullCheckDiagnosticAnalyzer.Analyzer.cs (2)

181var dataFlow = _semanticModel.AnalyzeRequiredDataFlow(oppositeStatement); 416var dataFlow = _semanticModel.AnalyzeDataFlow(firstStatement, lastStatement);

src\roslyn\src\Analyzers\CSharp\CodeFixes\AssignOutParameters\AbstractAssignOutParametersCodeFixProvider.cs (2)

38var dataFlow = semanticModel.AnalyzeDataFlow(location); 119var dataFlow = semanticModel.AnalyzeDataFlow(exprOrStatement);

src\roslyn\src\Analyzers\CSharp\CodeFixes\UseLocalFunction\CSharpUseLocalFunctionCodeFixProvider.cs (1)

140var dataFlow = semanticModel.AnalyzeDataFlow(localDeclaration);

ConvertForEachToFor\AbstractConvertForEachToForCodeRefactoringProvider.cs (1)

402var dataFlow = semanticModel.AnalyzeDataFlow(start, end);

EditAndContinue\AbstractEditAndContinueAnalyzer.cs (1)

6376var dataFlow = model.AnalyzeDataFlow(expressionOrStatement);

ExtractMethod\MethodExtractor.Analyzer.cs (2)

72var dataFlowAnalysisData = this.SelectionResult.GetDataFlowAnalysis(); 403DataFlowAnalysis dataFlowAnalysisData,

ExtractMethod\SelectionResult.cs (3)

42private DataFlowAnalysis? _dataFlowAnalysis; 192public DataFlowAnalysis GetDataFlowAnalysis() 196DataFlowAnalysis ComputeDataFlowAnalysis()

LanguageServices\SymbolDisplayService\AbstractSymbolDisplayService.AbstractSymbolDescriptionBuilder.cs (1)

343var analysis = semanticModel.AnalyzeDataFlow(syntax);

src\roslyn\src\Analyzers\Core\Analyzers\UseThrowExpression\AbstractUseThrowExpressionDiagnosticAnalyzer.cs (2)

148var dataFlow = semanticModel.AnalyzeDataFlow( 161var exprDataFlow = semanticModel.AnalyzeDataFlow(assignmentExpression.Target.Syntax);

Microsoft.CodeQuality.Analyzers\QualityGuidelines\RethrowToPreserveStackDetails.cs (1)

74var dataflow = catchClause.Language == LanguageNames.CSharp

src\9382845807600969\AbstractDataFlowAnalysisContext.cs (1)

19/// Base type for analysis contexts for execution of <see cref="DataFlowAnalysis"/> on a control flow graph.

src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AbstractAnalysisDomain.cs (1)

7/// Abstract analysis domain for a <see cref="DataFlowAnalysis"/> to merge and compare analysis data.

src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AbstractBlockAnalysisResult.cs (1)

7/// Result from execution of a <see cref="DataFlowAnalysis"/> on a basic block.

src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AbstractDomain.cs (1)

9/// Abstract domain for a <see cref="DataFlowAnalysis"/> to merge and compare values.

src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AbstractValueDomain.cs (1)

7/// Abstract value domain for a <see cref="DataFlowAnalysis"/> to merge and compare values.

src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AnalysisEntity.cs (1)

16/// Primary entity for which analysis data is tracked by <see cref="DataFlowAnalysis"/>.

src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowAnalysisResult.cs (1)

15/// Result from execution of a <see cref="DataFlowAnalysis"/> on a control flow graph.

src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowAnalysisResultBuilder.cs (1)

14/// Used by <see cref="DataFlowAnalysis"/> to store intermediate dataflow results while executing data flow analysis

src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\IDataFlowAnalysisContext.cs (1)

7/// Marker interface for analysis contexts for execution of <see cref="DataFlowAnalysis"/> on a control flow graph.

src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\IDataFlowAnalysisResult.cs (1)

7/// Marker interface for analysis results from execution of <see cref="DataFlowAnalysis"/> on a control flow graph.

src\b310f676f7308b7f\SymbolUsageAnalysis.DataFlowAnalyzer.FlowGraphAnalysisData.cs (1)

209var dataFlow = operation.SemanticModel.AnalyzeDataFlow(operation.Syntax);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Extensions\SemanticModelExtensions.cs (2)

36public static DataFlowAnalysis AnalyzeRequiredDataFlow(this SemanticModel semanticModel, SyntaxNode statementOrExpression) 39public static DataFlowAnalysis AnalyzeRequiredDataFlow(this SemanticModel semanticModel, SyntaxNode firstStatement, SyntaxNode lastStatement)

Compilation\SemanticModel.vb (5)

2107Public Overridable Shadows Function AnalyzeDataFlow(expression As ExpressionSyntax) As DataFlowAnalysis 2118Public Overridable Shadows Function AnalyzeDataFlow(firstStatement As StatementSyntax, lastStatement As StatementSyntax) As DataFlowAnalysis 2127Public Overridable Shadows Function AnalyzeDataFlow(statement As StatementSyntax) As DataFlowAnalysis 3371Protected NotOverridable Overrides Function AnalyzeDataFlowCore(firstStatement As SyntaxNode, lastStatement As SyntaxNode) As DataFlowAnalysis 3376Protected NotOverridable Overrides Function AnalyzeDataFlowCore(statementOrExpression As SyntaxNode) As DataFlowAnalysis

Compilation\SyntaxTreeSemanticModel.vb (2)

1508Public Overrides Function AnalyzeDataFlow(firstStatement As StatementSyntax, lastStatement As StatementSyntax) As DataFlowAnalysis 1526Public Overrides Function AnalyzeDataFlow(expression As ExpressionSyntax) As DataFlowAnalysis

VisualBasicExtensions.vb (3)

1784Public Function AnalyzeDataFlow(semanticModel As SemanticModel, expression As ExpressionSyntax) As DataFlowAnalysis 1797Public Function AnalyzeDataFlow(semanticModel As SemanticModel, firstStatement As StatementSyntax, lastStatement As StatementSyntax) As DataFlowAnalysis 1810Public Function AnalyzeDataFlow(semanticModel As SemanticModel, statement As StatementSyntax) As DataFlowAnalysis

ReassignedVariable\AbstractReassignedVariableService.cs (2)

336var dataFlow = semanticModel.AnalyzeDataFlow(id); 373bool DefinitelyAssignedOnEntry(DataFlowAnalysis? analysis, ISymbol? localOrParameter)

src\b310f676f7308b7f\SymbolUsageAnalysis.DataFlowAnalyzer.FlowGraphAnalysisData.cs (1)

209var dataFlow = operation.SemanticModel.AnalyzeDataFlow(operation.Syntax);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Extensions\SemanticModelExtensions.cs (2)

36public static DataFlowAnalysis AnalyzeRequiredDataFlow(this SemanticModel semanticModel, SyntaxNode statementOrExpression) 39public static DataFlowAnalysis AnalyzeRequiredDataFlow(this SemanticModel semanticModel, SyntaxNode firstStatement, SyntaxNode lastStatement)

src\b310f676f7308b7f\SymbolUsageAnalysis.DataFlowAnalyzer.FlowGraphAnalysisData.cs (1)

209var dataFlow = operation.SemanticModel.AnalyzeDataFlow(operation.Syntax);

src\roslyn\src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\Extensions\SemanticModelExtensions.cs (2)

36public static DataFlowAnalysis AnalyzeRequiredDataFlow(this SemanticModel semanticModel, SyntaxNode statementOrExpression) 39public static DataFlowAnalysis AnalyzeRequiredDataFlow(this SemanticModel semanticModel, SyntaxNode firstStatement, SyntaxNode lastStatement)