Struct Scenario 

pub struct Scenario { /* private fields */ }

Deterministic scenario recorder for transaction scripts.

Implementations

impl Scenario

pub fn new() -> Self

Creates an empty scenario recorder.

pub fn record<C, O>( &mut self, name: impl Into<String>, result: &TransactionResult<C, O>, )

Records a committed transaction result under a stable step name.

pub fn record_trace(&mut self, name: impl Into<String>, trace: TransactionTrace)

Records an already-built structural transaction trace under a step name.

pub fn steps(&self) -> &[ScenarioStep]

Returns all recorded steps in commit order.

pub fn step(&self, name: &str) -> Result<&ScenarioStep, ScenarioError>

Returns a named step.

pub fn assert_replay_matches( &self, other: &Scenario, ) -> Result<(), ScenarioError>

Compares two scenario trace sequences structurally.

pub fn traces(&self) -> Vec<TransactionTrace>

Returns all transaction traces in commit order.

pub fn resource_commands(&self) -> Vec<ResourceCommandTrace>

Returns all resource command traces in commit order.

pub fn output_frames(&self) -> Vec<OutputFrameTrace>

Returns all output frame traces in commit order.

pub fn assert_step_resource_commands( &self, name: &str, expected: &[ResourceCommandTrace], ) -> Result<(), ScenarioError>

Asserts a named step emitted the expected resource command trace.

pub fn assert_step_output_frames( &self, name: &str, expected: &[OutputFrameTrace], ) -> Result<(), ScenarioError>

Asserts a named step emitted the expected output frame trace.

pub fn assert_oracle<G, O>( &self, graph: &G, inputs: &O::CanonicalInputs, ) -> Result<OracleCheck<O::ExpectedState>, OracleMismatch<O::ExpectedState>>

where O: FullRecomputeOracle<G>,

Runs an app-owned oracle check through the scenario harness.

pub fn redacted(&self, redactor: &impl TraceRedactor) -> Self

Returns a redacted copy of the scenario for snapshot/debug output.

pub fn to_redacted_debug_string(&self, redactor: &impl TraceRedactor) -> String

Returns deterministic redacted debug output for snapshots.

Trait Implementations

impl Clone for Scenario

fn clone(&self) -> Scenario

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Scenario

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

Formats the value using the given formatter.

impl Default for Scenario

fn default() -> Scenario

Returns the “default value” for a type.

impl Eq for Scenario

impl PartialEq for Scenario

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