46 references to Finally
ILLink.RoslynAnalyzer (3)
DataFlow\ControlFlowGraphProxy.cs (3)
42
ControlFlowRegionKind.
Finally
=> RegionKind.Finally,
142
if (region.Kind == ControlFlowRegionKind.
Finally
) {
153
if (catchOrFilterOrFinallyRegion.Region.Kind is not (ControlFlowRegionKind.Catch or ControlFlowRegionKind.Filter or ControlFlowRegionKind.
Finally
))
Microsoft.CodeAnalysis (16)
Operations\ControlFlowBranch.cs (1)
150
Debug.Assert(builder.Last().Kind == ControlFlowRegionKind.
Finally
);
Operations\ControlFlowGraphBuilder.cs (10)
355
Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.
Finally
);
372
Debug.Assert(@finally.Kind == ControlFlowRegionKind.
Finally
);
414
Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.
Finally
);
545
case ControlFlowRegionKind.
Finally
:
731
currentRegion.Kind == ControlFlowRegionKind.
Finally
);
752
if (currentRegion.Kind == ControlFlowRegionKind.
Finally
&&
1027
case ControlFlowRegionKind.
Finally
:
3764
var finallyRegion = new RegionBuilder(ControlFlowRegionKind.
Finally
);
4120
var finallyRegion = new RegionBuilder(ControlFlowRegionKind.
Finally
);
4402
EnterRegion(new RegionBuilder(ControlFlowRegionKind.
Finally
));
Operations\ControlFlowGraphBuilder.RegionBuilder.cs (2)
169
Debug.Assert(lastKind == ControlFlowRegionKind.
Finally
);
176
Debug.Assert(lastKind != ControlFlowRegionKind.
Finally
);
Operations\ControlFlowRegion.cs (2)
98
Debug.Assert(NestedRegions[1].Kind == (kind == ControlFlowRegionKind.TryAndFinally ? ControlFlowRegionKind.
Finally
: ControlFlowRegionKind.Catch));
127
case ControlFlowRegionKind.
Finally
:
Operations\ControlFlowRegionKind.cs (1)
60
/// Region representing a union of a <see cref="Try"/> and corresponding finally <see cref="
Finally
"/>
Microsoft.CodeAnalysis.AnalyzerUtilities (9)
src\RoslynAnalyzers\Utilities\FlowAnalysis\Extensions\BasicBlockExtensions.cs (3)
97
=> basicBlock.IsFirstBlockOfRegionKind(ControlFlowRegionKind.
Finally
, out finallyRegion);
103
=> basicBlock.IsLastBlockOfRegionKind(ControlFlowRegionKind.
Finally
, out finallyRegion);
147
if (!basicBlock.IsFirstBlockOfRegionKind(ControlFlowRegionKind.
Finally
, out var finallyRegion))
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowAnalysis.cs (4)
228
var finallyRegion = block.GetInnermostRegionStartedByBlock(ControlFlowRegionKind.
Finally
);
352
Debug.Assert(finallyRegion.Kind == ControlFlowRegionKind.
Finally
);
627
Debug.Assert(basicBlock.EnclosingRegion.Kind == ControlFlowRegionKind.
Finally
);
729
Debug.Assert(finallyRegion.Kind == ControlFlowRegionKind.
Finally
);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (1)
917
CurrentBasicBlock.IsContainedInRegionOfKind(ControlFlowRegionKind.
Finally
))
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\ThrownExceptionInfo.cs (1)
24
ContainingFinallyRegion = block.GetContainingRegionOfKind(ControlFlowRegionKind.
Finally
);
Microsoft.CodeAnalysis.CodeStyle (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (4)
175
if (current.EnclosingRegion.Kind == ControlFlowRegionKind.
Finally
&&
262
Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.
Finally
);
279
Debug.Assert(@finally.Kind == ControlFlowRegionKind.
Finally
);
325
Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.
Finally
);
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\SymbolUsageAnalysis\SymbolUsageAnalysis.DataFlowAnalyzer.FlowGraphAnalysisData.cs (1)
372
case ControlFlowRegionKind.
Finally
:
Microsoft.CodeAnalysis.Test.Utilities (8)
Compilation\ControlFlowGraphVerifier.cs (4)
297
Assert.True(block.EnclosingRegion.Kind == ControlFlowRegionKind.Filter || block.EnclosingRegion.Kind == ControlFlowRegionKind.
Finally
);
738
Debug.Assert(region.EnclosingRegion.NestedRegions[1].Kind == ControlFlowRegionKind.
Finally
);
1448
case ControlFlowRegionKind.
Finally
:
1534
case ControlFlowRegionKind.
Finally
:
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (4)
175
if (current.EnclosingRegion.Kind == ControlFlowRegionKind.
Finally
&&
262
Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.
Finally
);
279
Debug.Assert(@finally.Kind == ControlFlowRegionKind.
Finally
);
325
Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.
Finally
);
Microsoft.CodeAnalysis.Workspaces (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (4)
175
if (current.EnclosingRegion.Kind == ControlFlowRegionKind.
Finally
&&
262
Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.
Finally
);
279
Debug.Assert(@finally.Kind == ControlFlowRegionKind.
Finally
);
325
Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.
Finally
);
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\SymbolUsageAnalysis\SymbolUsageAnalysis.DataFlowAnalyzer.FlowGraphAnalysisData.cs (1)
372
case ControlFlowRegionKind.
Finally
: