Trait macro_machines::MachineDotfile

pub trait MachineDotfile {
    // Required methods
    fn name() -> &'static str;
    fn type_vars() -> Vec<String>;
    fn extended_state_names() -> Vec<&'static str>;
    fn extended_state_types() -> Vec<&'static str>;
    fn extended_state_defaults() -> Vec<&'static str>;
    fn self_reference() -> &'static str;
    fn states() -> Vec<&'static str>;
    fn state_data_names() -> Vec<Vec<&'static str>>;
    fn state_data_types() -> Vec<Vec<&'static str>>;
    fn state_data_defaults() -> Vec<Vec<&'static str>>;
    fn state_data_pretty_defaults() -> Vec<Vec<String>>;
    fn state_initial() -> &'static str;
    fn state_terminal() -> &'static str;
    fn events() -> Vec<&'static str>;
    fn event_sources() -> Vec<&'static str>;
    fn event_targets() -> Vec<&'static str>;
    fn event_actions() -> Vec<&'static str>;

    // Provided methods
    fn dotfile() -> String
       where Self: Sized { ... }
    fn dotfile_show_defaults() -> String
       where Self: Sized { ... }
    fn dotfile_pretty_defaults() -> String
       where Self: Sized { ... }
    fn dotfile_hide_actions() -> String
       where Self: Sized { ... }
}

Methods for DOT file creation

Required Methods

fn name() -> &'static str

fn type_vars() -> Vec<String>

fn extended_state_names() -> Vec<&'static str>

fn extended_state_types() -> Vec<&'static str>

fn extended_state_defaults() -> Vec<&'static str>

fn self_reference() -> &'static str

fn states() -> Vec<&'static str>

fn state_data_names() -> Vec<Vec<&'static str>>

fn state_data_types() -> Vec<Vec<&'static str>>

fn state_data_defaults() -> Vec<Vec<&'static str>>

fn state_data_pretty_defaults() -> Vec<Vec<String>>

fn state_initial() -> &'static str

fn state_terminal() -> &'static str

fn events() -> Vec<&'static str>

fn event_sources() -> Vec<&'static str>

fn event_targets() -> Vec<&'static str>

fn event_actions() -> Vec<&'static str>

Provided Methods

fn dotfile() -> String

where Self: Sized,

Generate a DOT file for the state machine that hides default expressions for state fields and extended state fields, but shows event actions

fn dotfile_show_defaults() -> String

where Self: Sized,

Generate a DOT file for the state machine that shows default expressions for state fields and extended state fields

fn dotfile_pretty_defaults() -> String

where Self: Sized,

Generate a DOT file for the state machine that pretty prints the values of default expressions for state fields and extended state fields.

⚠ Calling this this function evaluates default expressions and pretty prints the resulting values at runtime.

fn dotfile_hide_actions() -> String

where Self: Sized,

Do not show event actions

Object Safety

This trait is not object safe.

Implementors

impl MachineDotfile for Door