Struct endbasic_std::testutils::Checker

#[must_use]pub struct Checker<'a> { /* fields omitted */ }

Captures expectations about the execution of a command and validates them.

Implementations

impl<'a> Checker<'a>

pub fn expect_ok(self, stop_reason: StopReason) -> Self

Expects the invocation to have successfully terminated with the given stop_reason.

If not called, defaults to expecting that execution terminated due to EOF. This or expect_err can only be called once.

pub fn expect_err<S: Into<String>>(self, message: S) -> Self

Expects the invocation to have erroneously terminated with the exact message.

If not called, defaults to expecting that execution terminated due to EOF. This or expect_err can only be called once.

pub fn expect_array<S: Into<String>>(
    self,
    name: S,
    subtype: VarType,
    dimensions: &[usize],
    contents: Vec<(&[i32], Value)>
) -> Self

Adds the name array as an array to expect in the final state of the machine. The array will be tested to have the same subtype and dimensions, as well as specific contents. The contents are provided as a collection of subscripts/value pairs to assign to the expected array.

pub fn expect_array_simple<S: Into<String>>(
    self,
    name: S,
    subtype: VarType,
    contents: Vec<Value>
) -> Self

Adds the name array as an array to expect in the final state of the machine. The array will be tested to have the same subtype and only one dimension with contents.

pub fn expect_file<N: Into<String>, C: Into<String>>(
    self,
    name: N,
    content: C
) -> Self

Adds a file to expect in the store with a name and specific content.

pub fn expect_output<V: Into<Vec<CapturedOut>>>(self, out: V) -> Self

Adds the out sequence of captured outputs to the expected outputs of the execution.

pub fn expect_prints<S: Into<String>, V: Into<Vec<S>>>(self, out: V) -> Self

Adds the out sequence of strings to the expected outputs of the execution.

This is a convenience function around expect_output that wraps all incoming strings in CapturedOut::Print objects, as these are the most common outputs in tests.

pub fn expect_program<S: Into<String>>(self, text: S) -> Self

Sets the expected contents of the stored program to text. Can only be called once and text must not be empty.

pub fn expect_var<S: Into<String>, V: Into<Value>>(
    self,
    name: S,
    value: V
) -> Self

Adds the name/value pair as a variable to expect in the final state of the machine.

pub fn check(self)

Validates all expectations.