pub struct ExportDoc { /* private fields */ }Expand description
Stable export model for one validated machine graph.
This type is the canonical renderer input for Mermaid, DOT, PlantUML, and
JSON output. Structure comes from statum::MachineIntrospection::GRAPH;
labels and descriptions may be joined from a matching
statum::MachinePresentation.
Implementations§
Source§impl ExportDoc
impl ExportDoc
Sourcepub fn machine(&self) -> ExportMachine
pub fn machine(&self) -> ExportMachine
Exported machine metadata.
Sourcepub fn states(&self) -> &[ExportState]
pub fn states(&self) -> &[ExportState]
Exported states in stable graph order.
Sourcepub fn transitions(&self) -> &[ExportTransition]
pub fn transitions(&self) -> &[ExportTransition]
Exported transition sites in stable graph order.
Sourcepub fn state(&self, index: usize) -> Option<&ExportState>
pub fn state(&self, index: usize) -> Option<&ExportState>
Returns one exported state by its stable state index.
Sourcepub fn transition(&self, index: usize) -> Option<&ExportTransition>
pub fn transition(&self, index: usize) -> Option<&ExportTransition>
Returns one exported transition site by its stable transition index.
Trait Implementations§
Source§impl ExportSource for ExportDoc
impl ExportSource for ExportDoc
fn export_doc(&self) -> Cow<'_, ExportDoc>
Source§impl<S, T> From<&MachineDoc<S, T>> for ExportDocwhere
S: Eq,
impl<S, T> From<&MachineDoc<S, T>> for ExportDocwhere
S: Eq,
Source§fn from(doc: &MachineDoc<S, T>) -> Self
fn from(doc: &MachineDoc<S, T>) -> Self
Converts to this type from the input type.
impl Eq for ExportDoc
impl StructuralPartialEq for ExportDoc
Auto Trait Implementations§
impl Freeze for ExportDoc
impl RefUnwindSafe for ExportDoc
impl Send for ExportDoc
impl Sync for ExportDoc
impl Unpin for ExportDoc
impl UnsafeUnpin for ExportDoc
impl UnwindSafe for ExportDoc
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more