sqry-db 11.0.1

Salsa-style incremental computation engine for sqry semantic code search
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56

//! Derived queries: SCC, condensation, reachability, plus relation and
//! analysis queries migrated from `sqry-core::query::executor::graph_eval`.
//!
//! # Foundational queries
//!
//! - [`SccQuery`]: Tarjan SCC computation, cached by edge kind
//! - [`CondensationQuery`]: DAG of SCCs, derived from SCC data
//! - [`ReachabilityQuery`]: Set of nodes reachable from a root set
//!
//! # Relation queries (DB14)
//!
//! - [`CallersQuery`], [`CalleesQuery`]: `callers:X` / `callees:X` semantics
//! - [`ImportsQuery`], [`ExportsQuery`], [`ReferencesQuery`],
//!   [`ImplementsQuery`]: the remaining four relation predicates
//!
//! # Analysis queries (DB14)
//!
//! - [`CyclesQuery`], [`IsInCycleQuery`]: cycle detection backed by
//!   [`SccQuery`]
//! - [`EntryPointsQuery`], [`ReachableFromEntryPointsQuery`],
//!   [`UnusedQuery`], [`IsNodeUnusedQuery`]: unused/dead-code detection
//!
//! Every DB14 query sets `TRACKS_EDGE_REVISION = true` (and
//! `TRACKS_METADATA_REVISION = true` where node metadata influences the
//! result) so the cache is invalidated as the graph evolves.

pub mod callees;
pub mod callers;
pub mod condensation;
pub mod cycles;
pub mod dispatch;
pub mod reachability;
pub mod relation;
pub mod scc;
pub mod type_ids;
pub mod unused;

pub use callees::CalleesQuery;
pub use callers::CallersQuery;
pub use condensation::{CachedCondensation, CondensationKey, CondensationQuery, CondensationValue};
pub use cycles::{
    CycleBounds, CyclesKey, CyclesQuery, CyclesValue, IsInCycleKey, IsInCycleQuery, IsInCycleValue,
};
pub use dispatch::{
    derived_path, load_derived_opportunistic, make_query_db, make_query_db_cold, mcp_callees_query,
    mcp_callers_query, mcp_exports_query, mcp_imports_query, mcp_references_query,
};
pub use reachability::{ReachabilityKey, ReachabilityQuery, ReachableSet};
pub use relation::{
    ExportsQuery, ImplementsQuery, ImportsQuery, ReferencesQuery, RelationKey, RelationKind,
};
pub use scc::{CachedSccData, SccKey, SccQuery, SccValue};
pub use unused::{
    EntryPointsQuery, IsNodeUnusedKey, IsNodeUnusedQuery, IsNodeUnusedValue,
    ReachableFromEntryPointsQuery, UnusedKey, UnusedQuery, UnusedValue,
};