Struct TypeFlowGraphV2 

pub struct TypeFlowGraphV2 {
    pub definitions: Vec<DefinitionData>,
    pub usages: Vec<UsageData>,
    pub generic_args: Vec<GenericArgData>,
    pub trait_bounds: Vec<TraitBoundData>,
    pub usage_to_args: Vec<SmallVec<[u32; 4]>>,
    pub node_to_bounds: HashMap<TypeNodeId, SmallVec<[u32; 2]>>,
    pub lookup: LookupTable,
}

Type relationship graph (V2 - Data-Oriented Design).

NOTE: Deserialize is NOT derived because TypeFlowGraphV2 contains SecondaryMap<SymbolId, …> and HashMap<SymbolId, …>. SymbolId is process-specific. Serialize is kept for debugging/inspection.

Fields

definitions: Vec<DefinitionData>

Definition nodes.

usages: Vec<UsageData>

Usage nodes.

generic_args: Vec<GenericArgData>

Generic argument nodes.

trait_bounds: Vec<TraitBoundData>

Trait bound nodes.

usage_to_args: Vec<SmallVec<[u32; 4]>>

Usage → generic args (1:N).

node_to_bounds: HashMap<TypeNodeId, SmallVec<[u32; 2]>>

Node → trait bounds (1:N).

lookup: LookupTable

Reverse-lookup tables (SymbolId → node indices, etc.) used for fast querying.

Implementations

impl TypeFlowGraphV2

pub fn new() -> Self

Create a new empty graph.

pub fn with_capacity(defs: usize, usages: usize) -> Self

Create with pre-allocated capacity.

pub fn add_definition( &mut self, symbol_id: SymbolId, kind: TypeDefKind, ) -> TypeNodeId

Add a type definition node.

pub fn add_usage( &mut self, context: UsageContext, ref_kind: RefKind, resolved: Option<SymbolId>, container: Option<SymbolId>, ) -> TypeNodeId

Add a type usage node.

pub fn add_generic_arg( &mut self, parent: TypeNodeId, arg_index: u8, resolved: Option<SymbolId>, ) -> TypeNodeId

Add a generic argument node.

pub fn add_trait_bound( &mut self, target: TypeNodeId, trait_id: Option<SymbolId>, ) -> TypeNodeId

Add a trait bound node.

pub fn add_contains(&mut self, container: SymbolId, field_type: SymbolId)

Register a container-field relationship.

pub fn definition(&self, id: SymbolId) -> Option<TypeNodeId>

Get the definition node for a symbol (O(1)).

pub fn usages(&self, id: SymbolId) -> impl Iterator<Item = TypeNodeId> + '_

Get all usage indices for a type (O(1)).

pub fn usage_count(&self, id: SymbolId) -> usize

Get the number of usages for a type (O(1)).

pub fn types_used_by( &self, container: SymbolId, ) -> impl Iterator<Item = SymbolId> + '_

Forward lookup: what types does this container use? (O(1) + result count)

Returns resolved SymbolIds of types referenced by the container. Includes both directly resolved types and types referenced via generic arguments (e.g., Foo in Vec<Foo>).

pub fn type_users( &self, type_id: SymbolId, ) -> impl Iterator<Item = SymbolId> + '_

Reverse lookup: what containers use this type? (O(1) + result count)

Returns SymbolIds of containers that reference the given type.

pub fn type_users_chain( &self, start: SymbolId, max_depth: usize, ) -> Vec<ChainNode>

BFS traversal: find all containers that use this type, transitively.

“Type A is used by container B; B (as a type) is used by container C” etc.

pub fn types_used_by_chain( &self, start: SymbolId, max_depth: usize, ) -> Vec<ChainNode>

BFS traversal: find all types used by this container, transitively.

“Container A uses type B; B (as a container) uses type C” etc.

pub fn analyze_type_chain( &self, start: SymbolId, max_depth: usize, direction: ChainDirection, ) -> ChainResult

Full chain analysis with statistics.

Returns ChainResult compatible with CodeGraphV2’s analyze_chain().

pub fn generic_args( &self, node: TypeNodeId, ) -> impl Iterator<Item = TypeNodeId> + '_

Get generic arguments for a usage node (O(1)).

pub fn trait_bounds( &self, node: TypeNodeId, ) -> impl Iterator<Item = TypeNodeId> + '_

Get trait bounds for a node (O(1)).

pub fn get_definition(&self, id: TypeNodeId) -> Option<&DefinitionData>

Get definition data by ID.

pub fn get_usage(&self, id: TypeNodeId) -> Option<&UsageData>

Get usage data by ID.

pub fn get_generic_arg(&self, id: TypeNodeId) -> Option<&GenericArgData>

Get generic arg data by ID.

pub fn get_trait_bound(&self, id: TypeNodeId) -> Option<&TraitBoundData>

Get trait bound data by ID.

pub fn impact(&self, id: SymbolId) -> TypeImpactV2

Analyze the impact of changing a type (O(1) + result count).

pub fn node_count(&self) -> usize

Total number of nodes.

pub fn definition_count(&self) -> usize

Number of definitions.

pub fn usages_count(&self) -> usize

Number of usages.

pub fn is_empty(&self) -> bool

Check if empty.

Trait Implementations

impl Clone for TypeFlowGraphV2

fn clone(&self) -> TypeFlowGraphV2

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeFlowGraphV2

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

Formats the value using the given formatter.

impl Default for TypeFlowGraphV2

fn default() -> TypeFlowGraphV2

Returns the “default value” for a type.

impl Serialize for TypeFlowGraphV2

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.