Struct BlockIndexMaps 

pub struct BlockIndexMaps {
    pub block_name_index: BTreeMap<String, Vec<(usize, BlockKind, BlockId)>>,
    pub unit_index_map: BTreeMap<usize, Vec<(Option<String>, BlockKind, BlockId)>>,
    pub block_kind_index: HashMap<BlockKind, Vec<(usize, Option<String>, BlockId)>>,
    pub block_id_index: HashMap<BlockId, (usize, Option<String>, BlockKind)>,
}

BlockIndexMaps provides efficient lookup of blocks by various indices.

Best practices for usage:

• block_name_index: Use when you want to find blocks by name (multiple blocks can share the same name)
• unit_index_index: Use when you want all blocks in a specific unit
• block_kind_index: Use when you want all blocks of a specific kind (e.g., all functions)
• block_id_index: Use for O(1) lookup of block metadata by BlockId

Important: The “name” field is optional since Root blocks and some other blocks may not have names.

Rationale for data structure choices:

• BTreeMap is used for name and unit indexes for better iteration and range queries
• HashMap is used for kind index since BlockKind doesn’t implement Ord
• HashMap is used for block_id_index (direct lookup by BlockId) for O(1) access
• Vec is used for values to handle multiple blocks with the same index (same name/kind/unit)

Fields

block_name_index: BTreeMap<String, Vec<(usize, BlockKind, BlockId)>>

block_name -> Vec<(unit_index, block_kind, block_id)> Multiple blocks can share the same name across units or within the same unit

unit_index_map: BTreeMap<usize, Vec<(Option<String>, BlockKind, BlockId)>>

unit_index -> Vec<(block_name, block_kind, block_id)> Allows retrieval of all blocks in a specific compilation unit

block_kind_index: HashMap<BlockKind, Vec<(usize, Option<String>, BlockId)>>

block_kind -> Vec<(unit_index, block_name, block_id)> Allows retrieval of all blocks of a specific kind across all units

block_id_index: HashMap<BlockId, (usize, Option<String>, BlockKind)>

block_id -> (unit_index, block_name, block_kind) Direct O(1) lookup of block metadata by ID

Implementations

impl BlockIndexMaps

pub fn new() -> Self

Create a new empty BlockIndexMaps

pub fn insert_block( &mut self, block_id: BlockId, block_name: Option<String>, block_kind: BlockKind, unit_index: usize, )

Register a new block in all indexes

Arguments

• block_id: The unique block identifier
• block_name: Optional name of the block (None for unnamed blocks)
• block_kind: The kind of block (Func, Class, Stmt, etc.)
• unit_index: The compilation unit index this block belongs to

pub fn find_by_name(&self, name: &str) -> Vec<(usize, BlockKind, BlockId)>

Find all blocks with a given name (may return multiple blocks)

Returns a vector of (unit_index, block_kind, block_id) tuples

pub fn find_by_unit( &self, unit_index: usize, ) -> Vec<(Option<String>, BlockKind, BlockId)>

Find all blocks in a specific unit

Returns a vector of (block_name, block_kind, block_id) tuples

pub fn find_by_kind( &self, block_kind: BlockKind, ) -> Vec<(usize, Option<String>, BlockId)>

Find all blocks of a specific kind across all units

Returns a vector of (unit_index, block_name, block_id) tuples

pub fn find_by_kind_and_unit( &self, block_kind: BlockKind, unit_index: usize, ) -> Vec<BlockId>

Find all blocks of a specific kind in a specific unit

Returns a vector of block_ids

pub fn get_block_info( &self, block_id: BlockId, ) -> Option<(usize, Option<String>, BlockKind)>

Look up block metadata by BlockId for O(1) access

Returns (unit_index, block_name, block_kind) if found

pub fn block_count(&self) -> usize

Get total number of blocks indexed

pub fn unique_names_count(&self) -> usize

Get the number of unique block names

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

Check if a block with the given ID exists

pub fn clear(&mut self)

Clear all indexes

Trait Implementations

impl Clone for BlockIndexMaps

fn clone(&self) -> BlockIndexMaps

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BlockIndexMaps

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

Formats the value using the given formatter.

impl Default for BlockIndexMaps

fn default() -> BlockIndexMaps

Returns the “default value” for a type.