Struct AstStateMachineDecl 

pub struct AstStateMachineDecl {
    pub name: String,
    pub states: Vec<AstStateDecl>,
    pub initial_state: String,
    pub transitions: Vec<AstTransitionDecl>,
    pub verify_declarations: Vec<AstVerifyDecl>,
    pub annotations: Vec<AstAnnotation>,
    pub exported: bool,
    pub span: Option<Span>,
}

Fields

name: String

states: Vec<AstStateDecl>

initial_state: String

transitions: Vec<AstTransitionDecl>

verify_declarations: Vec<AstVerifyDecl>

annotations: Vec<AstAnnotation>

exported: bool

span: Option<Span>

Trait Implementations

impl Clone for AstStateMachineDecl

fn clone(&self) -> AstStateMachineDecl

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for AstStateMachineDecl

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for AstStateMachineDecl

fn eq(&self, other: &AstStateMachineDecl) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for AstStateMachineDecl