macro-machinesState machine macros with logging and graphviz dotfile generation
Current features
Debug and Default:
def_machine! -- state machine implementing Default constructiondef_machine_debug! -- state machine implementing Default construction
and deriving Debugdef_machine_nodefault! -- state machine requiring initialization
argumentsdef_machine_nodefault_debug! -- state machine requiring initialization
arguments and deriving Debuglog logging APICurrent limitations
Define and use a minimal state machine:
```rust
use macromachines::defmachinedebug;
defmachinedebug!{
machine M {
STATES [
state S ()
state T ()
]
EVENTS [
event A => state: S
}
}
fn main () { use macro_machines::HandleEventException;
let mut m = M::initial(); m.handleevent (EventId::A.into()).unwrap(); asserteq!(m.handle_event (EventId::A.into()), Err (HandleEventException::WrongState)); } ```
Generate a dotfile and write to file:
rust
use std::io::Write;
use macro_machines::MachineDotfile;
let mut f = std::fs::File::create ("minimal.dot").unwrap();
f.write_all (M::dotfile().as_bytes()).unwrap();
drop (f);
Rendered as PNG with $ dot -Tpng minimal.dot > minimal.png:
For examples of more complex state machines, see the ./examples/ directory.
