Function get_name_component

crates/ixon/src/serialize.rs:982–1027

Deserialize a Name component using a lookup table for parents.

(
  buf: &mut &[u8],
  names: &FxHashMap<Address, Name>,
)

  /// Deserialize a non-Muts ConstantInfo (Muts is handled separately with FLAG_MUTS)
  pub fn get(variant: u64, buf: &mut &[u8]) -> Result<Self, String> {
    match variant {
      Self::CONST_DEFN => Ok(Self::Defn(Definition::get(buf)?)),
      Self::CONST_RECR => Ok(Self::Recr(Recursor::get(buf)?)),
      Self::CONST_AXIO => Ok(Self::Axio(Axiom::get(buf)?)),
      Self::CONST_QUOT => Ok(Self::Quot(Quotient::get(buf)?)),
      Self::CONST_CPRJ => Ok(Self::CPrj(ConstructorProj::get(buf)?)),
      Self::CONST_RPRJ => Ok(Self::RPrj(RecursorProj::get(buf)?)),
      Self::CONST_IPRJ => Ok(Self::IPrj(InductiveProj::get(buf)?)),
      Self::CONST_DPRJ => Ok(Self::DPrj(DefinitionProj::get(buf)?)),
      x => Err(format!("ConstantInfo::get: invalid variant {x}")),
    }
  }
}

fn put_refs(refs: &[Address], buf: &mut Vec<u8>) {
  put_u64(refs.len() as u64, buf);
  for r in refs {
    put_address(r, buf);
  }
}

fn get_refs(buf: &mut &[u8]) -> Result<Vec<Address>, String> {
  let num = get_u64(buf)?;
  let mut refs = Vec::with_capacity(capped_capacity(num, buf));
  for _ in 0..num {
    refs.push(get_address(buf)?);
  }
  Ok(refs)
}

fn put_univs(univs: &[Arc<Univ>], buf: &mut Vec<u8>) {
  put_u64(univs.len() as u64, buf);
  for u in univs {
    put_univ(u, buf);
  }
}

fn get_univs(buf: &mut &[u8]) -> Result<Vec<Arc<Univ>>, String> {
  let num = get_u64(buf)?;
  let mut univs = Vec::with_capacity(capped_capacity(num, buf));
  for _ in 0..num {
    univs.push(get_univ(buf)?);
  }
  Ok(univs)
}

impl Constant {
  pub fn put(&self, buf: &mut Vec<u8>) {
    match &self.info {