Function block_of_addr

crates/kernel/src/anon_work.rs:308–320

The ingress-block address that owns `addr`: a projection (IPrj/CPrj/RPrj/ DPrj) maps to its Muts `block`; anything else is its own block. Used to map a resolved constant address to the `build_anon_work` item that covers it (standalone → itself; a mutual-block member → the whole block).

(env: &IxonEnv, addr: &Address)

/// a resolved constant address to the `build_anon_work` item that covers it
/// (standalone → itself; a mutual-block member → the whole block).
pub fn block_of_addr(env: &IxonEnv, addr: &Address) -> Address {
  use ixon::constant::ConstantInfo as CI;
  match env.get_const(addr) {
    Some(c) => match &c.info {
      CI::IPrj(p) => p.block.clone(),
      CI::CPrj(p) => p.block.clone(),
      CI::RPrj(p) => p.block.clone(),
      CI::DPrj(p) => p.block.clone(),
      _ => addr.clone(),
    },
    None => addr.clone(),
  }
}

/// The ingress-block address of a work item's `primary` — the key for matching
/// a resolved target constant to the work item that covers it.