Struct Observations 

pub struct Observations { /* private fields */ }

Per-AST-node reachability accumulated across a run of probed evaluations (ADR-0042). One of these belongs to one Expr.

Lives only in the harness path: Expr::eval neither reads nor writes it, and no type a frame touches gained a field for it.

Implementations

impl Observations

pub fn new() -> Self

An empty set of observations. Grows to fit as nodes are touched.

pub fn node(&self, index: usize) -> NodeObservation

What was observed at index; NodeObservation::Untouched for a node this run never reached.

pub fn nodes(&self) -> &[NodeObservation]

Every recorded slot, in node order.

Trait Implementations

impl Clone for Observations

fn clone(&self) -> Observations

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Observations

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

Formats the value using the given formatter.

impl Default for Observations

fn default() -> Observations

Returns the “default value” for a type.