Microsoft.CodeAnalysis.FlowAnalysis 名前空間

のシーケンスOperationsを持つ基本ControlFlowGraphブロックを表します。 基本ブロックを入力すると、その中のすべての操作が常に実行されます。 オプション BranchValue(null 以外の場合) は、次の Operations後に評価されます。 制御フローは、分岐または分岐を取ることによって基本ブロックをConditionalSuccessorFallThroughSuccessor離れる。

基本ブロックからSource基本ブロックへの制御フロー分岐をDestinationControlFlowGraph表します。

特定の実行可能コード ブロック OriginalOperationの制御フロー グラフ表現。 このグラフには、エントリ ブロック、0 個以上の BasicBlock中間基本ブロック、終了ブロックを含む s のセットが含まれています。 各基本ブロックには、他の基本ブロックに対して 0 個以上 Operations の明示的 ControlFlowBranchなブロックが含まれています。

内の s の BasicBlock領域に関する情報をカプセル化します ControlFlowGraph。 リージョンは重複することはできますが、互いの境界を越えることはありません。

キャプチャ ID は、.IFlowCaptureOperation

実行環境によって例外フィルターまたはハンドラーに渡される例外インスタンスを表します。 このノードは、ControlFlowGraph

のコンテキストでの匿名関数操作を ControlFlowGraph表します。

現在の使用法: (1) C# ラムダ式。 (2) VB 匿名デリゲート式。

中間結果がキャプチャされていることを表します。 このノードは、ControlFlowGraph

前にキャプチャした中間結果の使用ポイントを表します。 結果をキャプチャする事実は、 IFlowCaptureOperation. このノードは、ControlFlowGraph

が null かどうかを確認した結果を Operand 表します。 参照型の場合、null 参照であるかどうかをチェックします Operand 。null 許容型の場合は、値がないかどうかを Operand チェックします。 ノードは、ノードの書き換え中にフロー グラフのICoalesceOperationIConditionalAccessOperation一部として生成されます。

関数の最初の呼び出しで初期化され、もう一度初期化されない VB 静的ローカルの初期化中のチェックを表します。 セマフォ操作が true を返す場合、静的ローカルはまだ初期化されておらず、初期化子が実行されます。 false が返された場合、ローカルは既に初期化されており、静的ローカル初期化子領域はスキップされます。 このノードは、ControlFlowGraph

BasicBlock 種類。

に関連付 ControlFlowBranchけられているセマンティクス。

からの条件分岐の種類を BasicBlock表します。

に存在できる領域の種類を定義します。 ControlFlowGraph