Struct QueryEngine 

pub struct QueryEngine;

The central query executor.

Implements all 24 query types defined in the AgenticCodebase specification. Each method takes a shared reference to a CodeGraph and query-specific parameters, returning a strongly-typed result or an AcbError.

Implementations

impl QueryEngine

pub fn new() -> Self

Create a new query engine.

pub fn symbol_lookup<'g>( &self, graph: &'g CodeGraph, params: SymbolLookupParams, ) -> AcbResult<Vec<&'g CodeUnit>>

Look up symbols by name with optional filters.

pub fn dependency_graph( &self, graph: &CodeGraph, params: DependencyParams, ) -> AcbResult<DependencyResult>

Build the forward dependency graph from a unit.

pub fn reverse_dependency( &self, graph: &CodeGraph, params: DependencyParams, ) -> AcbResult<DependencyResult>

Build the reverse dependency graph (who depends on this unit).

pub fn call_graph( &self, graph: &CodeGraph, params: CallGraphParams, ) -> AcbResult<CallGraphResult>

Build a call graph centered on a function.

pub fn type_hierarchy( &self, graph: &CodeGraph, params: HierarchyParams, ) -> AcbResult<HierarchyResult>

Explore the type hierarchy (ancestors and/or descendants).

pub fn containment<'g>( &self, graph: &'g CodeGraph, unit_id: u64, ) -> AcbResult<Vec<&'g CodeUnit>>

Find all units contained within the given unit, recursively.

pub fn pattern_match( &self, graph: &CodeGraph, params: PatternParams, ) -> AcbResult<Vec<PatternMatch>>

Match units against a simple pattern DSL.

pub fn semantic_search( &self, graph: &CodeGraph, params: SemanticParams, ) -> AcbResult<Vec<SemanticMatch>>

Brute-force cosine-similarity search over feature vectors.

pub fn impact_analysis( &self, graph: &CodeGraph, params: ImpactParams, ) -> AcbResult<ImpactResult>

Analyse the impact of changing a unit.

pub fn test_coverage( &self, graph: &CodeGraph, unit_id: u64, ) -> AcbResult<CoverageResult>

Compute test coverage information for a unit.

pub fn cross_language_trace( &self, graph: &CodeGraph, params: TraceParams, ) -> AcbResult<TraceResult>

Trace FFI bindings across language boundaries.

pub fn collective_patterns( &self, graph: &CodeGraph, params: CollectiveParams, ) -> AcbResult<CollectiveResult>

Query collective intelligence patterns.

Currently returns a placeholder result since the collective intelligence backend is not yet integrated.

pub fn temporal_evolution( &self, graph: &CodeGraph, unit_id: u64, ) -> AcbResult<EvolutionResult>

Get the temporal evolution of a code unit.

pub fn stability_analysis( &self, graph: &CodeGraph, unit_id: u64, ) -> AcbResult<StabilityResult>

Analyse the stability of a code unit.

pub fn coupling_detection( &self, graph: &CodeGraph, params: CouplingParams, ) -> AcbResult<Vec<Coupling>>

Detect couplings between code units.

pub fn dead_code<'g>( &self, graph: &'g CodeGraph, params: DeadCodeParams, ) -> AcbResult<Vec<&'g CodeUnit>>

Detect potentially dead (unreachable) code.

pub fn prophecy( &self, graph: &CodeGraph, params: ProphecyParams, ) -> AcbResult<ProphecyResult>

Predict likely future breakages based on code patterns.

pub fn concept_mapping( &self, graph: &CodeGraph, concept: &str, ) -> AcbResult<ConceptMap>

Map a concept to related code units.

pub fn migration_path( &self, graph: &CodeGraph, params: MigrationParams, ) -> AcbResult<MigrationPlan>

Plan a migration from one unit to another.

pub fn test_gap( &self, graph: &CodeGraph, params: TestGapParams, ) -> AcbResult<Vec<TestGap>>

Find units that have high change counts or complexity but no tests.

pub fn architectural_drift( &self, graph: &CodeGraph, params: DriftParams, ) -> AcbResult<DriftReport>

Check for architectural drift against declared rules.

pub fn similarity( &self, graph: &CodeGraph, params: SimilarityParams, ) -> AcbResult<Vec<SimilarityMatch>>

Find units similar to a given unit by feature vector.

pub fn shortest_path( &self, graph: &CodeGraph, from: u64, to: u64, ) -> AcbResult<PathResult>

Find the shortest path between two units.

pub fn hotspot_detection( &self, graph: &CodeGraph, params: HotspotParams, ) -> AcbResult<Vec<Hotspot>>

Detect code hotspots based on change frequency, stability, and complexity.

Trait Implementations

impl Clone for QueryEngine

fn clone(&self) -> QueryEngine

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for QueryEngine

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

Formats the value using the given formatter.

impl Default for QueryEngine

fn default() -> Self

Returns the “default value” for a type.