[−][src]Crate apis
Apis
Reactive, session-oriented, asynchronous process-calculus framework.
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 enum_unitary; |
pub extern crate log; |
pub extern crate macro_machines; |
pub extern crate vec_map; |
pub use enum_unitary::enum_iterator; |
pub use channel::Channel; |
pub use message::Message; |
pub use process::Process; |
pub use program::Program; |
pub use session::Session; |
Modules
channel | |
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 |