Struct FlowModel 

pub struct FlowModel { /* private fields */ }

Reachability analysis for one sequence.

Implementations

impl FlowModel

pub fn analyse(source: &mut dyn SequenceFacts, sequence: SequenceRef) -> Self

Analyses the sequence as it stands now.

pub fn step_count(&self) -> usize

Returns the number of analysed steps.

pub fn terminal_index(&self) -> Option<usize>

Returns the first certain terminal index.

pub fn is_terminal(&self, index: usize) -> bool

Returns whether the step is terminal.

pub fn is_severed(&self, index: usize) -> bool

Returns whether the step is severed.

pub fn may_end_at(&self, index: usize) -> bool

Returns whether the step may end the sequence.

Panics

Panics if index is out of range.

pub fn declared_flow(&self, index: usize) -> Flow

Returns the declared flow.

Panics

Panics if index is out of range.

pub fn is_missing(&self, index: usize) -> bool

Returns whether the step is missing.

Panics

Panics if index is out of range.

pub fn warnings(&self) -> impl Iterator<Item = (usize, &str)>

Iterates over warnings in step order.

pub fn has_warning_at(&self, index: usize) -> bool

Returns whether the step has a warning.

pub fn node(&self, index: usize) -> RailNode

Returns the node for one row.

Panics

Panics if index is out of range.