Struct ObservedRow 

pub struct ObservedRow {
    pub reads: BTreeSet<DefinitionId>,
    pub writes: BTreeSet<DefinitionId>,
    pub calls: BTreeSet<String>,
    pub emits: bool,
    pub tags: bool,
    pub faults: bool,
}

Atoms observed for one executed definition scope (docs/effects-spec.md §2) — the runtime counterpart of brink_analyzer::EffectRow’s {reads, writes, calls} (this module never constructs an opaque row: every atom the VM performs is concrete).

Fields

reads: BTreeSet<DefinitionId>

writes: BTreeSet<DefinitionId>

calls: BTreeSet<String>

emits: bool

NS-A2 (issue #1108): the def emitted visible content (a line ref, value, glue, or spring on the visible output channel — string-eval captures excluded; see vm::note_effect_emit).

tags: bool

NS-A2: the def produced a tag (any EndTag destination).

faults: bool

NS-A2: a tracked turn-terminating fault fired while the def was executing (see is_tracked_fault for the inventory).

Trait Implementations

impl Clone for ObservedRow

fn clone(&self) -> ObservedRow

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ObservedRow

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

Formats the value using the given formatter.

impl Default for ObservedRow

fn default() -> ObservedRow

Returns the “default value” for a type.

impl Eq for ObservedRow

impl PartialEq for ObservedRow

fn eq(&self, other: &ObservedRow) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for ObservedRow