Bagikan melalui


Microsoft.CodeAnalysis.FlowAnalysis Ruang nama

Kelas

BasicBlock

Mewakili blok dasar dalam ControlFlowGraph dengan urutan Operations. Setelah blok dasar dimasukkan, semua operasi di dalamnya selalu dijalankan. Opsional BranchValue, jika non-null, dievaluasi setelah Operations. Alur kontrol meninggalkan blok dasar dengan mengambil ConditionalSuccessor cabang atau FallThroughSuccessor cabang.

ControlFlowBranch

Mewakili cabang alur kontrol dari Source blok dasar ke Destination blok dasar dalam ControlFlowGraph.

ControlFlowGraph

Representasi grafik alur kontrol untuk blok OriginalOperationkode yang dapat dieksekusi tertentu . Grafik ini berisi satu set BasicBlock, dengan blok entri, nol atau lebih blok dasar perantara dan blok keluar. Setiap blok dasar berisi nol atau lebih Operations dan eksplisit ControlFlowBranchke blok dasar lainnya.

ControlFlowGraphExtensions
ControlFlowRegion

Merangkum informasi tentang wilayah BasicBlockdalam ControlFlowGraph. Wilayah dapat tumpang tindih, tetapi tidak pernah saling melintasi batas.

Struct

CaptureId

Id Pengambilan adalah pengidentifikasi buram untuk mewakili hasil perantara dari IFlowCaptureOperation.

Antarmuka

ICaughtExceptionOperation

Mewakili instans pengecualian yang diteruskan oleh lingkungan eksekusi ke filter pengecualian atau handler. Simpul ini hanya diproduksi sebagai bagian ControlFlowGraphdari .

IFlowAnonymousFunctionOperation

Mewakili operasi fungsi anonim dalam konteks ControlFlowGraph.

Penggunaan saat ini: (1) ekspresi C# lambda. (2) Ekspresi delegasi anonim VB.

ControlFlowGraph untuk isi fungsi anonim tersedia dari penutup ControlFlowGraph.
IFlowCaptureOperation

Mewakili bahwa hasil perantara sedang ditangkap. Simpul ini hanya diproduksi sebagai bagian ControlFlowGraphdari .

IFlowCaptureReferenceOperation

Mewakili titik penggunaan hasil perantara yang diambil sebelumnya. Fakta menangkap hasilnya diwakili oleh IFlowCaptureOperation. Simpul ini hanya diproduksi sebagai bagian ControlFlowGraphdari .

IIsNullOperation

Mewakili hasil pemeriksaan apakah Operand null. Untuk jenis referensi, ini memeriksa apakah Operand adalah referensi null, untuk jenis yang dapat diubah ke null, ini memeriksa apakah Operand tidak memiliki nilai. Simpul diproduksi sebagai bagian dari grafik alur selama penulisan ICoalesceOperation ulang simpul dan IConditionalAccessOperation .

IStaticLocalInitializationSemaphoreOperation

Mewakili pemeriksaan selama inisialisasi lokal statis VB yang diinisialisasi pada panggilan pertama fungsi, dan tidak pernah lagi. Jika operasi semaphore mengembalikan true, lokal statis belum diinisialisasi, dan penginisialisasi akan dijalankan. Jika mengembalikan false, maka lokal telah diinisialisasi, dan wilayah penginisialisasi lokal statis akan dilewati. Simpul ini hanya diproduksi sebagai bagian ControlFlowGraphdari .

Enum

BasicBlockKind

BasicBlock Jenis.

ControlFlowBranchSemantics

Semantik yang terkait dengan ControlFlowBranch.

ControlFlowConditionKind

Mewakili jenis cabang bersyarah dari BasicBlock.

ControlFlowRegionKind

Mendefinisikan jenis wilayah yang dapat ada dalam ControlFlowGraph