Struct CompileLedger 

pub struct CompileLedger { /* private fields */ }

The compile accounting of one program tree: how many programs have been built for it, on any engine, over its lifetime. A root compile mints a ledger, and every program built on the tree’s behalf records into the same one: each for body, each engine variant of a body, and each constant expression a traversal source or predicate compiles at open. A host reads it before and after an operation to verify the program-invariance property (SRD 113 §5.1): compiling builds one program per body, and activation builds none.

Two trees never share a ledger, whatever thread or process runs them; two kernels over one program do. A compile charged to a ledger a host already holds is requested through CompileOptions::ledger.

Implementations

impl CompileLedger

pub fn new() -> Arc<Self>

A fresh ledger with nothing recorded, shared as every holder keeps it.

pub fn programs(&self) -> u64

The programs built for this tree so far, on every engine.

Trait Implementations

impl Debug for CompileLedger

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

Formats the value using the given formatter.

impl Default for CompileLedger

fn default() -> CompileLedger

Returns the “default value” for a type.