Struct HarnessStep 

pub struct HarnessStep<'harness, G, C, O> { /* private fields */ }

Builder for one harness transaction step.

Implementations

impl<'harness, G, C, O> HarnessStep<'harness, G, C, O>

where G: ScenarioTarget<C, O>, C: Clone + Debug + PartialEq, O: Clone + Debug + PartialEq,

pub fn input<T>(self, input: InputNode<T>, value: T) -> Self

where T: Clone + PartialEq + Send + Sync + 'static,

Stages a typed canonical input write for this step.

pub fn operation( self, operation: impl for<'tx> Fn(&mut Transaction<'tx, C, O>) -> GraphResult<()> + 'static, ) -> Self

Stages a custom operation against the transaction.

pub fn expect_plan(self, command: ResourceCommandTrace) -> Self

Expects one resource command trace in this step.

pub fn expect_plans( self, commands: impl IntoIterator<Item = ResourceCommandTrace>, ) -> Self

Expects the complete resource command trace for this step.

pub fn expect_output(self, frame: OutputFrameTrace) -> Self

Expects one output frame trace in this step.

pub fn expect_outputs( self, frames: impl IntoIterator<Item = OutputFrameTrace>, ) -> Self

Expects the complete output frame trace for this step.

pub fn check( self, name: impl Into<String>, check: impl Fn(&G, &TransactionResult<C, O>) -> bool + 'static, ) -> Self

Adds a structural invariant check to record in the transaction trace.

pub fn commit( self, ) -> Result<&'harness mut TrellisHarness<G, C, O>, ScenarioError>

Commits exactly one transaction for this step.