3 overrides of FlowBranch
Microsoft.CodeAnalysis.AnalyzerUtilities (3)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\CopyAnalysis\CopyAnalysis.CopyDataFlowOperationVisitor.cs (1)
48
public override (CopyAnalysisData output, bool isFeasibleBranch)
FlowBranch
(
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\GlobalFlowStateAnalysis\GlobalFlowStateDataFlowOperationVisitor.cs (1)
96
public override (DictionaryAnalysisData<AnalysisEntity, TAbstractAnalysisValue> output, bool isFeasibleBranch)
FlowBranch
(
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.PointsToDataFlowOperationVisitor.cs (1)
120
public override (PointsToAnalysisData output, bool isFeasibleBranch)
FlowBranch
(BasicBlock fromBlock, BranchWithInfo branch, PointsToAnalysisData input)
5 references to FlowBranch
Microsoft.CodeAnalysis.AnalyzerUtilities (5)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\CopyAnalysis\CopyAnalysis.CopyDataFlowOperationVisitor.cs (1)
54
(CopyAnalysisData output, bool isFeasibleBranch) result = base.
FlowBranch
(fromBlock, branch, input);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\GlobalFlowStateAnalysis\GlobalFlowStateDataFlowOperationVisitor.cs (1)
100
return base.
FlowBranch
(fromBlock, branch, input);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.PointsToDataFlowOperationVisitor.cs (1)
123
(PointsToAnalysisData output, bool isFeasibleBranch) result = base.
FlowBranch
(fromBlock, branch, input);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowAnalysis.cs (2)
329
(TAnalysisData newSuccessorInput, bool isFeasibleBranch) = OperationVisitor.
FlowBranch
(block, successorWithBranch, AnalysisDomain.Clone(output));
772
(data, _) = operationVisitor.
FlowBranch
(branch.Source, new BranchWithInfo(branch), data);