DataFlowAnalysis

1 type derived from DataFlowAnalysis

Microsoft.CodeAnalysis.CSharp (1)

FlowAnalysis\CSharpDataFlowAnalysis.cs (1)

24internal class CSharpDataFlowAnalysis : DataFlowAnalysis

109 references to DataFlowAnalysis

GenerateDocumentationAndConfigFiles (3)

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)

Microsoft.CodeAnalysis (6)

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);

Microsoft.CodeAnalysis.Analyzers (3)

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)

Microsoft.CodeAnalysis.AnalyzerUtilities (13)

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)

Microsoft.CodeAnalysis.CodeStyle (5)

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)

Microsoft.CodeAnalysis.CSharp (16)

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)

1115public static DataFlowAnalysis? AnalyzeDataFlow(this SemanticModel? semanticModel, ConstructorInitializerSyntax constructorInitializer) 1124public static DataFlowAnalysis? AnalyzeDataFlow(this SemanticModel? semanticModel, PrimaryConstructorBaseTypeSyntax primaryConstructorBaseType) 1133public static DataFlowAnalysis? AnalyzeDataFlow(this SemanticModel? semanticModel, ExpressionSyntax expression) 1142public static DataFlowAnalysis? AnalyzeDataFlow(this SemanticModel? semanticModel, StatementSyntax firstStatement, StatementSyntax lastStatement) 1151public static DataFlowAnalysis? AnalyzeDataFlow(this SemanticModel? semanticModel, StatementSyntax statement)

Microsoft.CodeAnalysis.CSharp.CodeStyle (12)

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);

Microsoft.CodeAnalysis.CSharp.CodeStyle.Fixes (3)

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);

Microsoft.CodeAnalysis.CSharp.Features (16)

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)

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);

Microsoft.CodeAnalysis.Features (10)

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.CodeAnalysis.NetAnalyzers (11)

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.

Microsoft.CodeAnalysis.ResxSourceGenerator (3)

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)

Microsoft.CodeAnalysis.Workspaces (5)

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)

Roslyn.Diagnostics.Analyzers (3)

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)