meerkat-machine-kernels 0.5.2

Generated execution kernels and contract helpers for Meerkat state machines
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32

// Generated by `cargo xtask machine-codegen --all`.
use crate::runtime::{
    GeneratedMachineKernel, KernelInput, KernelState, KernelValue, TransitionOutcome,
    TransitionRefusal,
};

pub fn schema() -> meerkat_machine_schema::MachineSchema {
    meerkat_machine_schema::comms_drain_lifecycle_machine()
}

pub fn kernel() -> GeneratedMachineKernel {
    GeneratedMachineKernel::new(schema())
}

pub fn initial_state() -> Result<KernelState, TransitionRefusal> {
    kernel().initial_state()
}

pub fn transition(
    state: &KernelState,
    input: &KernelInput,
) -> Result<TransitionOutcome, TransitionRefusal> {
    kernel().transition(state, input)
}

pub fn evaluate_helper(
    state: &KernelState,
    helper_name: &str,
    args: &std::collections::BTreeMap<String, KernelValue>,
) -> Result<KernelValue, TransitionRefusal> {
    kernel().evaluate_helper(state, helper_name, args)
}