Trait orzir_core::ControlFlow

pub trait ControlFlow {
    // Required methods
    fn num_successors(&self) -> usize;
    fn get_successor(&self, index: usize) -> Option<&Successor>;
    fn set_successor(
        &mut self,
        index: usize,
        successor: Successor
    ) -> Option<Successor>;

    // Provided method
    fn successors(&self) -> Vec<&Successor> { ... }
}

Builtin type interface.

This trait provides methods to interact with types. This is set to be a mandatory interface for all operations for performance reasons.

Required Methods

fn num_successors(&self) -> usize

Get the number of successors.

fn get_successor(&self, index: usize) -> Option<&Successor>

Get the successor at the given index.

fn set_successor( &mut self, index: usize, successor: Successor ) -> Option<Successor>

Set the successor at the given index and return the old successor (if any).

Provided Methods

fn successors(&self) -> Vec<&Successor>

Get all successors.

Implementors