Struct Path 

pub struct Path {
    pub path_id: String,
    pub blocks: Vec<BlockId>,
    pub kind: PathKind,
    pub entry: BlockId,
    pub exit: BlockId,
}

Execution path through a CFG

Represents a sequence of basic blocks from an entry block to an exit block. Each path has a unique identifier derived from a BLAKE3 hash of the block sequence for deduplication and comparison.

Fields

path_id: String

Unique identifier (BLAKE3 hash of block sequence)

blocks: Vec<BlockId>

Ordered block IDs in execution order

kind: PathKind

Classification of this path

entry: BlockId

First block (entry)

exit: BlockId

Last block (exit)

Implementations

impl Path

pub fn new(blocks: Vec<BlockId>, kind: PathKind) -> Self

Create a new path from a block sequence

pub fn with_id(path_id: String, blocks: Vec<BlockId>, kind: PathKind) -> Self

Create a path with a pre-existing path_id (for loading from cache)

Arguments

• path_id - The stored path identifier
• blocks - Ordered block IDs in execution order
• kind - Path classification

Note

This bypasses the normal path_id computation. Use only when loading previously stored paths where the path_id was already computed.

pub fn len(&self) -> usize

Get the length of this path (number of blocks)

pub fn is_empty(&self) -> bool

Check if this path is empty

pub fn iter(&self) -> impl Iterator<Item = &BlockId>

Get an iterator over the blocks in this path

pub fn contains(&self, block_id: BlockId) -> bool

Check if this path contains a specific block

Trait Implementations

impl Clone for Path

fn clone(&self) -> Path

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Path

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Path

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for Path

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

Formats the value using the given formatter.

impl Hash for Path

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Path

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for Path

impl StructuralPartialEq for Path