Struct CfgBlockData 

pub struct CfgBlockData {
    pub id: i64,
    pub kind: String,
    pub terminator: String,
    pub byte_start: u64,
    pub byte_end: u64,
    pub start_line: u64,
    pub start_col: u64,
    pub end_line: u64,
    pub end_col: u64,
    pub coord_x: i64,
    pub coord_y: i64,
    pub coord_z: i64,
}

CFG block data (backend-agnostic representation)

This struct represents the data returned by StorageTrait::get_cfg_blocks. It is a simplified version of Magellan’s CfgBlock that contains only the fields needed by Mirage for CFG analysis.

Fields

id: i64

Block ID (from cfg_blocks table)

kind: String

Block kind (entry, conditional, loop, match, return, etc.)

terminator: String

Terminator kind (how control exits this block)

byte_start: u64

Byte offset where block starts

byte_end: u64

Byte offset where block ends

start_line: u64

Line where block starts (1-indexed)

start_col: u64

Column where block starts (0-indexed)

end_line: u64

Line where block ends (1-indexed)

end_col: u64

Column where block ends (0-indexed)

coord_x: i64

4D Spatial Coordinates X coordinate: dominator depth (control flow hierarchy level)

coord_y: i64

Y coordinate: loop nesting depth (how many loops surround this block)

coord_z: i64

Z coordinate: branch distance from entry point

Trait Implementations

impl Clone for CfgBlockData

fn clone(&self) -> CfgBlockData

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CfgBlockData

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CfgBlockData

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for CfgBlockData

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

where __S: Serializer,

Serialize this value into the given Serde serializer.