Crate apis

Source
Expand description

§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 extern crate colored;
pub extern crate either;
pub extern crate log;
pub extern crate macro_machines;
pub extern crate strum;
pub extern crate vec_map;
pub use channel::Channel;
pub use message::Message;
pub use process::Process;
pub use program::Program;
pub use session::Session;

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