src/librustc_data_structures/control_flow_graph/mod.rs

   1 // Copyright 2016 The Rust Project Developers. See the COPYRIGHT
   2 // file at the top-level directory of this distribution and at
   3 // http://rust-lang.org/COPYRIGHT.
   4 //
   5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
   6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
   7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
   8 // option. This file may not be copied, modified, or distributed
   9 // except according to those terms.
  10
  11 use super::indexed_vec::Idx;
  12
  13 pub mod dominators;
  14 pub mod iterate;
  15 mod reference;
  16
  17 #[cfg(test)]
  18 mod test;
  19
  20 pub trait ControlFlowGraph
  21     where Self: for<'graph> GraphPredecessors<'graph, Item=<Self as ControlFlowGraph>::Node>,
  22           Self: for<'graph> GraphSuccessors<'graph, Item=<Self as ControlFlowGraph>::Node>
  23 {
  24     type Node: Idx;
  25
  26     fn num_nodes(&self) -> usize;
  27     fn start_node(&self) -> Self::Node;
  28     fn predecessors<'graph>(&'graph self, node: Self::Node)
  29                             -> <Self as GraphPredecessors<'graph>>::Iter;
  30     fn successors<'graph>(&'graph self, node: Self::Node)
  31                             -> <Self as GraphSuccessors<'graph>>::Iter;
  32 }
  33
  34 pub trait GraphPredecessors<'graph> {
  35     type Item;
  36     type Iter: Iterator<Item = Self::Item>;
  37 }
  38
  39 pub trait GraphSuccessors<'graph> {
  40     type Item;
  41     type Iter: Iterator<Item = Self::Item>;
  42 }