-
Notifications
You must be signed in to change notification settings - Fork 4k
/
ControlFlowConditionKind.cs
35 lines (31 loc) · 1.46 KB
/
ControlFlowConditionKind.cs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
// Licensed to the .NET Foundation under one or more agreements.
// The .NET Foundation licenses this file to you under the MIT license.
// See the LICENSE file in the project root for more information.
namespace Microsoft.CodeAnalysis.FlowAnalysis
{
/// <summary>
/// Represents kind of conditional branch from a <see cref="BasicBlock"/>.
/// </summary>
public enum ControlFlowConditionKind
{
/// <summary>
/// Indicates no conditional branch from a <see cref="BasicBlock"/>.
/// Associated <see cref="BasicBlock.ConditionalSuccessor"/> is null.
/// </summary>
None,
/// <summary>
/// Indicates a conditional branch from a <see cref="BasicBlock"/>,
/// with a non-null <see cref="BasicBlock.BranchValue"/> and <see cref="BasicBlock.ConditionalSuccessor"/>.
/// If <see cref="BasicBlock.BranchValue"/> evaluates to <code>false</code>,
/// then the branch <see cref="BasicBlock.ConditionalSuccessor"/> is taken.
/// </summary>
WhenFalse,
/// <summary>
/// Indicates a conditional branch from a <see cref="BasicBlock"/>,
/// with a non-null <see cref="BasicBlock.BranchValue"/> and <see cref="BasicBlock.ConditionalSuccessor"/>.
/// If <see cref="BasicBlock.BranchValue"/> evaluates to <code>true</code>,
/// then the branch <see cref="BasicBlock.ConditionalSuccessor"/> is taken.
/// </summary>
WhenTrue
}
}