Enum brane_ast::edgebuffer::EdgeBufferNodeLink

pub enum EdgeBufferNodeLink {
    Linear(EdgeBufferNodePtr),
    Branch(Option<EdgeBufferNodePtr>, Option<EdgeBufferNodePtr>, Option<EdgeBufferNodePtr>),
    Parallel(Vec<EdgeBufferNodePtr>, EdgeBufferNodePtr),
    Loop(EdgeBufferNodePtr, Option<EdgeBufferNodePtr>, Option<EdgeBufferNodePtr>),
    End,
    Stop,
    None,
}

Defines how one node links to the next and should thus be traversed.

Variants

Linear(EdgeBufferNodePtr)

It’s a simple, linear link.

Branch(Option<EdgeBufferNodePtr>, Option<EdgeBufferNodePtr>, Option<EdgeBufferNodePtr>)

It’s a branching link (i.e., two options).

Layout

• 0: The edges that represent the true-branch if there is any.
• 1: The edges that represent the false-branch if there is any.
• 2: The edges that represent the joining edge, i.e., the first one after the branch. If there is none, that means that the branch is actually fully returning.

Parallel(Vec<EdgeBufferNodePtr>, EdgeBufferNodePtr)

It’s a parallel link (i.e., multiple ways taken concurrently).

Layout

• 0: The edges that represent the branches. Every pointer in the vector is a branch.
• 1: The edges that represent the joining edge.

Loop(EdgeBufferNodePtr, Option<EdgeBufferNodePtr>, Option<EdgeBufferNodePtr>)

It’s a repeating link (i.e., a given set of edges is taken repeatedly).

Layout

• 0: The edges that represent the condition-computation.
• 1: The edges that represent the repeated loop (unless there are no edges in it).
• 2: The edges that are taken after the loop (unless the while actually returns).

End

A special kind of connection that is not a placeholder but expliticly means “it just stops”.

Stop

A special kind of connection that is not a placeholder but really means ‘returns’.

None

No link (yet)

Implementations

impl EdgeBufferNodeLink

pub fn is_some(&self) -> bool

Returns whether this EdgeBufferNodeLink is a link (i.e., is not EdgeBufferNodeLink::None).

pub fn is_none(&self) -> bool

Returns whether this EdgeBufferNodeLink is not a link (i.e., is EdgeBufferNodeLink::None).

Trait Implementations

impl Clone for EdgeBufferNodeLink

fn clone(&self) -> EdgeBufferNodeLink

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for EdgeBufferNodeLink

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

Formats the value using the given formatter.