Trait scdlang::semantics::Statement

pub trait Statement: Debug {
    fn state(&self) -> Option<Name>;
    fn action(&self) -> Option<&dyn Any>;
    fn event(&self) -> Option<Name>;
}

[UNIMPLEMENTED] Everything that don't change state (no transition)

Example:

A |> doSomething

or just a shorthand for writing a declaration in one line

Required methods

fn state(&self) -> Option<Name>

fn action(&self) -> Option<&dyn Any>

fn event(&self) -> Option<Name>

Loading content...

Implementors

Loading content...