Skip to main content

NormalizedGraph

Struct NormalizedGraph 

Source
pub struct NormalizedGraph {
    pub raw: RawGraph,
    pub condensed: DiGraph<SccNode, ()>,
    pub reduced: DiGraph<SccNode, ()>,
    pub item_to_scc: HashMap<String, NodeIndex>,
}
Expand description

The fully normalized dependency graph.

Contains three views of the same data:

  • raw: the original RawGraph with all nodes and edges as-is.
  • condensed: condensed DAG where each node is an SccNode.
  • reduced: transitively-reduced condensed DAG (minimum edges).

Fields§

§raw: RawGraph

Original graph from SQLite (may contain cycles).

§condensed: DiGraph<SccNode, ()>

Condensed DAG: SCCs collapsed to single nodes.

§reduced: DiGraph<SccNode, ()>

Transitively-reduced condensed DAG (minimum edge set).

§item_to_scc: HashMap<String, NodeIndex>

Mapping from item ID to condensed node index.

Implementations§

Source§

impl NormalizedGraph

Source

pub fn from_raw(raw: RawGraph) -> Self

Build a NormalizedGraph from a RawGraph.

Steps:

  1. Run petgraph’s SCC condensation (Tarjan’s algorithm internally).
  2. Build SccNode labels from the raw node weights.
  3. Compute transitive reduction of the condensed DAG.
§Panics

Does not panic — all indices are verified.

Source

pub fn scc_count(&self) -> usize

Return the number of SCCs in the condensed graph.

Source

pub fn cycle_count(&self) -> usize

Return the number of cycle SCCs (SCCs with more than one member).

Source

pub fn cyclic_items(&self) -> Vec<&str>

Return all items that are members of a dependency cycle.

Source

pub fn scc_of(&self, item_id: &str) -> Option<NodeIndex>

Return the SCC node index for a given item ID.

Source

pub fn content_hash(&self) -> &str

Return the content hash from the underlying raw graph.

Used for cache invalidation — if this changes, rebuild.

Trait Implementations§

Source§

impl Debug for NormalizedGraph

Source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<SS, SP> SupersetOf<SS> for SP
where SS: SubsetOf<SP>,

Source§

fn to_subset(&self) -> Option<SS>

The inverse inclusion map: attempts to construct self from the equivalent element of its superset. Read more
Source§

fn is_in_subset(&self) -> bool

Checks if self is actually part of its subset T (and can be converted to it).
Source§

fn to_subset_unchecked(&self) -> SS

Use with care! Same as self.to_subset but without any property checks. Always succeeds.
Source§

fn from_subset(element: &SS) -> SP

The inclusion map: converts self to the equivalent element of its superset.
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more