Struct StackBehavior

pub struct StackBehavior {
    pub pops: u8,
    pub pushes: u8,
    pub net_effect: i8,
}

Stack effect of an instruction.

Describes how an instruction modifies the evaluation stack. This information is crucial for stack analysis, type inference, and verification.

Examples

use dotscope::disassembler::StackBehavior;

// An instruction that pops 2 values and pushes 1 (like 'add')
let add_behavior = StackBehavior {
    pops: 2,
    pushes: 1,
    net_effect: -1,
};

// An instruction that only pushes (like 'ldloc')
let load_behavior = StackBehavior {
    pops: 0,
    pushes: 1,
    net_effect: 1,
};

Fields

pops: u8

Number of items popped from stack

pushes: u8

Number of items pushed to stack

net_effect: i8

Net effect on stack depth (pushes - pops)

Trait Implementations

impl Clone for StackBehavior

fn clone(&self) -> StackBehavior

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StackBehavior

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

Formats the value using the given formatter.

impl PartialEq for StackBehavior

fn eq(&self, other: &StackBehavior) -> 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 StackBehavior

impl Eq for StackBehavior

impl StructuralPartialEq for StackBehavior