Trait DomTree 

pub trait DomTree: DFSGraph + Sized {
    type MutDomIter<'a>: Iterator<Item = &'a mut Option<Self::Identifier>>
       where Self: 'a;
    type PredecessorIter<'a>: Iterator<Item = Self::Identifier>
       where Self: 'a;

    // Required methods
    fn dom(&self, id: Self::Identifier) -> Option<Self::Identifier>;
    fn set_dom(
        &mut self,
        id: Self::Identifier,
        target: Option<Self::Identifier>,
    );
    fn predecessor_iter(
        &self,
        id: Self::Identifier,
    ) -> Self::PredecessorIter<'_>;
    fn doms_mut(&mut self) -> Self::MutDomIter<'_>;

    // Provided methods
    fn dom_iter(&self, id: Self::Identifier) -> DominatorIter<'_, Self>  { ... }
    fn populate_dom(&mut self, root: Self::Identifier) { ... }
}

Interfaces related to Dominance Tree construction.

Required Associated Types

type MutDomIter<'a>: Iterator<Item = &'a mut Option<Self::Identifier>> where Self: 'a

Self::MutDomIter is used in Self::doms_mut to get an iterator over all nodes and return the mutable references to their immediate dominator identifiers.

type PredecessorIter<'a>: Iterator<Item = Self::Identifier> where Self: 'a

Self::PredecessorIter is similiar to DFSGraph::SuccessorIter, but it returns incoming edges instead.

Required Methods

fn dom(&self, id: Self::Identifier) -> Option<Self::Identifier>

Returns the identifier of the immediate dominator of the given node.

fn set_dom(&mut self, id: Self::Identifier, target: Option<Self::Identifier>)

Updates the immediate dominator identifier of the given node.

fn predecessor_iter(&self, id: Self::Identifier) -> Self::PredecessorIter<'_>

Returns an iterator over the incoming edges of the given node.

fn doms_mut(&mut self) -> Self::MutDomIter<'_>

Returns an iterator over all nodes which yields the mutable references to their immediate dominator identifiers.

Provided Methods

fn dom_iter(&self, id: Self::Identifier) -> DominatorIter<'_, Self>

Returns an iterator over all the strict dominators of a node.

fn populate_dom(&mut self, root: Self::Identifier)

Calculate all the immediate dominator for all nodes. This will form the dominator tree.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors