Expand description
Query module - Code graph and query infrastructure.
Provides:
CodeGraphV2: Symbol relationship graph (DoD-based, petgraph-free)GraphBuilderV2: Build CodeGraphV2 from parsed codeQueryBuilder: Fluent query DSLDataFlowGraphV2: Data flow analysis (DoD-based, String-free)DataFlowBuilderWorkspace: Build DataFlowGraphV2 from parsed codeTypeFlowGraphV2: Type relationship analysis (V2, DoD-based)SpecFlowGraphV2: Domain semantics analysis (V2, DoD-based)BorrowTrackerV2: Lightweight borrow state tracking (VarId-based)
Modules§
- index_
vec - IndexVec - Type-safe indexed vector (rustc-style)
Structs§
- Active
Borrow V2 - Represents an active borrow of a variable (V2 - uses VarId).
- Borrow
Analysis - Result of borrow analysis for a symbol.
- Borrow
Conflict - A detected borrow conflict.
- Borrow
Tracker V2 - Tracks active borrows for a set of variables (V2 - uses VarId).
- Chain
Node - A node in the chain with depth information.
- Chain
Result - Result of a chain analysis operation.
- Code
Graph V2 - Symbol relationship graph with Data-Oriented Design.
- Constraint
Data - Constraint node data. String is required for domain constraint expressions.
- Critical
Section V2 - A critical section (V2 - uses VarId).
- Data
Flow Builder Workspace - Builder for constructing DataFlowGraphV2 using WorkspaceFilePath-keyed files.
- Data
Flow Graph V2 - Data flow graph with Data-Oriented Design.
- Data
Flow Stats - Statistics about the data flow graph.
- Definition
Data - Definition node data (16 bytes).
- Derive
Index - Index for fast derive trait validation.
- Derive
Index Stats - Statistics about the DeriveIndex.
- Edge
Data - Edge data (compact representation).
- EdgeId
- Index into the edges array.
- Field
Access V2 - A field access within a critical section (V2).
- Flow
Chain - A chain of flow steps from source to target.
- Flow
Data - Flow metadata.
- Flow
Edge - Edge in the data flow graph with detailed information.
- Flow
Edge Data - Flow edge data (8 bytes).
- FlowId
- Index into the flows array.
- Flow
Step - A single step in a flow chain.
- Generic
ArgData - Generic argument node data (16 bytes).
- Graph
Builder V2 - Builder for constructing CodeGraphV2.
- Group
Data - Group node data. String is required for domain semantics labels.
- Guard
- A conditional guard that constrains variables within a scope.
- Intent
Data - Intent node data. String is required for human-readable descriptions.
- Lock
Acquisition V2 - Represents a lock acquisition point (V2 - uses VarId).
- Lock
Granularity Analyzer V2 - Lightweight lock granularity analyzer using LockTrackerV2 (V2 - uses VarId).
- Lock
Stats V2 - Statistics about lock usage (V2).
- Lock
Tracker V2 - Tracks lock acquisitions and critical sections (V2 - uses VarId).
- Lookup
Table - Inverted indices for O(1) lookups.
- Match
Expr Data V2 - Match expression data (String-free).
- Match
Expr Id - Index into the match expressions array.
- Move
Error - A use-after-move error.
- Query
Builder - Fluent query builder for CodeGraphV2.
- Reference
Integrity Checker - Reference Integrity Checker using CodeGraphV2.
- Reference
Integrity Result - Result of reference integrity analysis.
- Scope
Data - A scope node in the scope tree.
- ScopeId
- Index into the scopes array.
- Spec
Alias Data - SpecAlias node data with pre-resolved names for DoD.
- Spec
Alias Info - Spec<G, T>パターンの解析結果。
- Spec
Flow Builder V2 - Builds SpecFlowGraphV2 from TypeAliasRegistry.
- Spec
Flow Graph V2 - SpecFlowGraph V2 - SoA + Side Tables design.
- Spec
Lookup Table - Inverted indices for O(1) lookups.
- Spec
Node Id - Unified node ID with kind encoded in top 2 bits.
- StdImpl
Cache - Cache of known trait implementations for standard library types.
- Trait
Bound Data - Trait bound node data (16 bytes).
- Type
Alias Entry - 型エイリアスの情報。
- Type
Alias Registry - 型エイリアス情報を管理する軽量レジストリ。
- Type
Alias Registry Builder - PureFileからTypeAliasRegistryを構築するビルダー。
- Type
Flow Builder V2 - Convenience wrapper for TypeFlowBuilderWorkspace.
- Type
Flow Graph V2 - Type relationship graph (V2 - Data-Oriented Design).
- Type
Impact Checker - Type Impact Checker using TypeFlowGraphV2.
- Type
Impact Result - Result of type impact analysis.
- Type
Impact V2 - Impact of changing a type.
- Type
Node Id - Unified node ID with kind encoded in top 2 bits. Allows a single ID type to reference any node kind.
- Unused
Symbol - Information about an unused symbol.
- Unused
Symbol Checker - Unused Symbol Checker using CodeGraphV2 and TypeFlowGraphV2.
- Unused
Symbol Result - Result of unused symbol analysis.
- Usage
Data - Usage node data - Span-free, String-free.
- VarData
- Variable data (12 bytes) - DOD optimized.
- VarId
- Lightweight variable identifier for DataFlowGraph internal use.
- VarNode
- Variable node with name and metadata.
- VarSymbol
Mapping - Bidirectional mapping between VarId and SymbolId.
Enums§
- Access
Kind - Kind of field access.
- Borrow
Kind - Kind of borrow.
- Borrow
State V2 - The ownership/borrow state of a variable (V2 - uses VarId).
- Chain
Direction - Direction for chain traversal.
- Code
Edge V2 - Edge types in the code graph.
- Comment
Directive - Comment-based spec directive.
- Constraint
Kind - Constraint kinds.
- Flow
Kind - Kind of data flow.
- Guard
Kind - Kind of guard condition.
- Intent
Kind - Intent kinds.
- Lock
Suggestion - Suggestion for lock optimization.
- Lock
Type - Type of lock primitive.
- Node
Kind - Node kind discriminant.
- RefKind
- Reference kind for type usage.
- Reference
Integrity Issue - Specific issue found during reference integrity analysis.
- Scope
Kind - Kind of scope in control flow.
- Spec
Node Kind - Node kind discriminant.
- Spec
Source - Source of spec information.
- Type
DefKind - Kind of type definition.
- Type
Impact Issue - Specific issue found during type impact analysis.
- Usage
Context - Context in which a type is used.
- VarKind
- Kind of variable.