Crate apis 

Apis

Reactive, session-oriented, asynchronous process-calculus framework.

Repository

Processes are “reactive” threads with specified message handling and update behavior.

Sessions are collections of Processes and Channels in a fixed communication topology. The def_session! macro is used to define a Session together with its Channels and Processes.

A ‘Program’ defines a transition system with Sessions as nodes. The def_program! macro is used to define modes (Sessions) and transitions between them.

Re-exports

pub use channel::Channel;

pub use message::Message;

pub use process::Process;

pub use program::Program;

pub use session::Session;

pub use either;

pub use log;

pub use macro_machines;

pub use strum;

pub use vec_map;

Modules

channel

example

Example generated program and sessions

message

process

program

session

Main session datatype.

Macros

def_program

Define a Program state machine.

def_session

Macro to define all parts of a session.

Functions

report_sizes