37 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.CodeStyle (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (4)
176
if (current.EnclosingRegion.Kind == ControlFlowRegionKind.
Finally
&&
263
Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.
Finally
);
280
Debug.Assert(@finally.Kind == ControlFlowRegionKind.
Finally
);
326
Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.
Finally
);
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\SymbolUsageAnalysis\SymbolUsageAnalysis.DataFlowAnalyzer.FlowGraphAnalysisData.cs (1)
373
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)
176
if (current.EnclosingRegion.Kind == ControlFlowRegionKind.
Finally
&&
263
Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.
Finally
);
280
Debug.Assert(@finally.Kind == ControlFlowRegionKind.
Finally
);
326
Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.
Finally
);
Microsoft.CodeAnalysis.Workspaces (5)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (4)
176
if (current.EnclosingRegion.Kind == ControlFlowRegionKind.
Finally
&&
263
Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.
Finally
);
280
Debug.Assert(@finally.Kind == ControlFlowRegionKind.
Finally
);
326
Debug.Assert(enclosing.NestedRegions[1].Kind == ControlFlowRegionKind.
Finally
);
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\SymbolUsageAnalysis\SymbolUsageAnalysis.DataFlowAnalyzer.FlowGraphAnalysisData.cs (1)
373
case ControlFlowRegionKind.
Finally
: