apis 0.5.13

Reactive, session-oriented, asynchronous process-calculus framework
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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47

use macro_machines::MachineDotfile;

///////////////////////////////////////////////////////////////////////////////
//  submodules
///////////////////////////////////////////////////////////////////////////////

mod macro_def;

///////////////////////////////////////////////////////////////////////////////
//  structs
///////////////////////////////////////////////////////////////////////////////

/// Program metainformation.
#[derive(Clone, Debug, Eq, PartialEq)]
pub struct Def {}

///////////////////////////////////////////////////////////////////////////////
//  traits
///////////////////////////////////////////////////////////////////////////////

pub trait Program : MachineDotfile {
  fn run (&mut self);
  fn dotfile() -> String where Self : Sized {
    <Self as MachineDotfile>::dotfile()
  }
}

// the following log functions are used in public macros so they must be public,
// but they are not intended to be used directly

#[doc(hidden)]
pub fn log_program_run (program : &str, mode : &str) {
  log::debug!(program, mode; "running program");
}

#[doc(hidden)]
pub fn log_program_transition (
  program : &str, mode : &str, transition : &str, source : &str, target : &str
) {
  log::debug!(program, mode, transition, source, target;
    "program mode transition");
}

#[doc(hidden)]
pub fn log_program_end (program : &str) {
  log::debug!(program; "program ended");
}