Struct DebugPool 

pub struct DebugPool {
    pub string_pool: Vec<String>,
    pub span_pool: Vec<Span>,
    pub type_pool: Vec<Vec<u8>>,
    pub records: Vec<DebugRecord>,
}

The chunk-local debug metadata section: three data sub-pools holding variable-length payloads, plus the record pool of op-index-keyed markers that reference them.

Fields

string_pool: Vec<String>

Interned UTF-8 strings (file names, variable names, …).

span_pool: Vec<Span>

Source spans referenced by records.

type_pool: Vec<Vec<u8>>

Compact type representations referenced by TypeAnnotation records. Held as opaque length-prefixed byte blobs in this foundational increment; the concrete TypeRepr encoding is defined when TypeAnnotation emission lands.

records: Vec<DebugRecord>

The op-index-keyed annotation records.

Implementations

impl DebugPool

pub fn is_empty(&self) -> bool

True when the pool carries no data and no records. An absent pool and an empty pool are distinct at the chunk level (an absent pool omits the section entirely); this helper lets a producer collapse an empty pool to absent.

pub fn encode(&self) -> Vec<u8>

Encode the pool to its canonical byte form. Records are sorted into canonical order (op index, then kind, then operands) so the output is byte-deterministic for a given logical pool regardless of record insertion order. The data sub-pools are emitted in their stored order; see the module-level determinism note.

pub fn decode(bytes: &[u8]) -> Result<Self, DebugMetaError>

Decode a pool from its canonical byte form. The returned pool’s records are in the canonical order encode emits, so decode(encode(p)) round-trips and re-encodes to the identical bytes.

pub fn records_at(&self, op_index: u32) -> impl Iterator<Item = &DebugRecord>

The records annotating op-stream position op_index, in canonical order. Empty when the position carries no debug information.

pub fn string(&self, index: u16) -> Option<&str>

The string-pool entry at index, or None when out of range.

pub fn span(&self, index: u16) -> Option<Span>

The span-pool entry at index, or None when out of range.

pub fn type_blob(&self, index: u16) -> Option<&[u8]>

The type sub-pool blob at index, or None when out of range. A TypeAnnotation record’s second operand indexes this pool. The blob is the opaque TypeRepr; the current compiler stores a UTF-8 string-form rendering.

pub fn source_location( &self, record: &DebugRecord, ) -> Option<SourceLocation<'_>>

Resolve a record that references a span to a SourceLocation. Applies to record kinds whose first operand indexes the span pool (CallSite, SourceSpan, AssertionContext, BreakpointCandidate). Returns None for other kinds, for a record with no operands, or when an operand index dangles.

Trait Implementations

impl Clone for DebugPool

fn clone(&self) -> DebugPool

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DebugPool

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

Formats the value using the given formatter.

impl Default for DebugPool

fn default() -> DebugPool

Returns the “default value” for a type.

impl Eq for DebugPool

impl PartialEq for DebugPool

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