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 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