Enum FlowType

pub enum FlowType {
    Sequential,
    ConditionalBranch,
    UnconditionalBranch,
    Call,
    Return,
    Switch,
    Throw,
    EndFinally,
    Leave,
}

How an instruction affects control flow.

This enum categorizes instructions based on their control flow behavior, which is essential for building control flow graphs and performing static analysis.

Examples

use dotscope::disassembler::FlowType;

// Different flow types
let sequential = FlowType::Sequential;      // Normal instructions like add, ldloc
let branch = FlowType::ConditionalBranch;   // brtrue, brfalse, etc.
let call = FlowType::Call;                  // call, callvirt
let ret = FlowType::Return;                 // ret instruction

Variants

Sequential

Normal execution continues to next instruction

ConditionalBranch

Conditional branch to another location

UnconditionalBranch

Always branches to another location (unconditional jump)

Call

Call to another method

Return

Returns from current method

Switch

Multi-way branch (switch statement)

Throw

Exception throwing

EndFinally

End of finally block

Leave

Leave protected region (try/catch/finally)

Trait Implementations

impl Clone for FlowType

fn clone(&self) -> FlowType

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for FlowType

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for FlowType

fn eq(&self, other: &FlowType) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for FlowType

impl Eq for FlowType

impl StructuralPartialEq for FlowType