Struct Validated 

pub struct Validated<'a> { /* private fields */ }

A validated image plus zero-copy accessors.

Implementations

impl<'a> Validated<'a>

pub fn new(buf: &'a [u8], opts: DecodeOpts) -> Result<Self>

Parse and validate buf.

pub fn buf(&self) -> &'a [u8]

pub fn limits_snapshot(&self) -> Limits

The limits this image was validated against.

pub fn header(&self) -> &Header

pub fn limits_span(&self, section: Section) -> (u32, u32)

pub fn span(&self, section: Section) -> SectionSpan

pub fn section_len(&self, section: Section) -> u64

Byte length of a section body (from its offset to its computed end).

pub fn section(&self, section: Section) -> &'a [u8]

pub fn meta(&self) -> Meta

Meta describing this image.

pub fn node_count(&self) -> u32

pub fn child(&self, index: u32) -> Result<u32>

Read a child index entry.

pub fn field(&self, index: u32) -> Result<(u32, NodeId)>

Read a field entry (string id, node id).

pub fn part(&self, index: u32) -> Result<(u32, u32)>

Read an interpolation part (tag, value).

pub fn edge(&self, index: u32) -> Result<(u32, u32)>

Read an edge (from, to).

pub fn string_heap_len(&self) -> u32

Byte length of the string heap (excluding the offset table).

pub fn string(&self, id: u32) -> Result<&'a str>

Borrow string id directly from the buffer (zero copy).

pub fn blob_heap_len(&self) -> u32

Total blob payload heap length.

pub fn blob_entry(&self, id: u32) -> Result<([u8; 32], u32, u32)>

Read a blob index entry: (hash, offset-in-heap, length).

pub fn blob(&self, id: u32) -> Result<&'a [u8]>

Borrow a blob payload directly from the buffer (zero copy).

pub fn annotation(&self, index: u32) -> Result<(u32, u32, u32, u32)>

Read an annotation record: (node, kind, a, b).

pub fn unit(&self, id: u32) -> Result<UnitTag>

Resolve a unit table entry.

pub fn type_entry(&self, id: u32) -> Result<(u32, u32, u32, u32)>

Read a type table entry: (code, flags, aux start, aux count).

pub fn aux(&self, index: u32) -> Result<(u32, u32)>

Read an aux record.

pub fn number(&self, index: u32) -> Result<i64>

Read a number table entry.

pub fn hash_entry(&self, index: u32) -> Result<[u8; 32]>

Read a hash table entry.

pub fn extension_entry(&self, index: u32) -> Result<(u64, u32, u32)>

Read one extension directory entry: (tag, payload offset, payload len).

pub fn extension_payload(&self, offset: u32, len: u32) -> Result<&'a [u8]>

Borrow an extension payload (zero copy).

pub fn provenance(&self) -> Result<Option<Provenance>>

Parse the provenance block.

pub fn root(&self) -> Result<Option<NodeId>>

Module root recorded in the bindings index (row 0), if any.

pub fn bindings(&self) -> Result<Vec<(&'a str, NodeId)>>

Name bindings in canonical order (sorted by name).

Trait Implementations

impl<'a> Clone for Validated<'a>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Copy for Validated<'a>

impl<'a> Debug for Validated<'a>

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

Formats the value using the given formatter.