Enum Expectation 

pub enum Expectation {
    Holds(Core),
    PageContains {
        needle: Core,
        actor: Option<Arc<str>>,
        route: Option<Arc<str>>,
    },
    PageMatchesSnapshot {
        name: Option<Arc<str>>,
        actor: Option<Arc<str>>,
        route: Option<Arc<str>>,
    },
    FoldEquals {
        events: Core,
        actor: Option<Arc<str>>,
    },
    Place {
        what: Arc<str>,
        what_span: Span,
        tier: Tier,
    },
    Flow {
        ty: Arc<str>,
        tier: Tier,
    },
    WireCompatible {
        path: Arc<str>,
    },
    Performed {
        atom: Effect,
        how: Count,
    },
}

Variants

Holds(Core)

expect <Bool>, with state, events and result in scope.

PageContains

expect page(session("bo")) contains "milk", and session("bo", "/done") for a route.

Fields

needle: Core

actor: Option<Arc<str>>

route: Option<Arc<str>>

PageMatchesSnapshot

expect page matches snapshot / … matches snapshot "after checkout".

The rendered page is compared to a checked-in file rather than to a string in the test, so the assertion is the whole page rather than the part somebody remembered to name. name is None when the test’s own name keys it — the common case, and the one that keeps the assertion one line long.

Fields

name: Option<Arc<str>>

actor: Option<Arc<str>>

route: Option<Arc<str>>

FoldEquals

expect state == fold_of [ … ].

Fields

events: Core

actor: Option<Arc<str>>

Place

expect place(charge) == server.

Fields

what: Arc<str>

what_span: Span

Where charge is written. The name is a reference to a definition, resolved against the placement table rather than evaluated, so there is no Core node carrying its position — and an editor renaming that definition has to edit this too (crate::editor::Editor::occurrences).

tier: Tier

Flow

expect flow(ApiKey) reaches nothing on client.

Fields

ty: Arc<str>

tier: Tier

WireCompatible

expect wire_compatible_with "orders.v1.becki".

Fields

path: Arc<str>

Performed

expect no net.out / … once / … with Charge(amount=2000) — §21.3 rule 4.

Fields

atom: Effect

how: Count

Implementations

impl Expectation

pub fn is_static(&self) -> bool

Trait Implementations

impl Clone for Expectation

fn clone(&self) -> Expectation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Expectation

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

Formats the value using the given formatter.