ryo-analysis 0.1.0

Code graph and discovery engine for the RYO project
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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71

# ryo-analysis

[![crates.io](https://img.shields.io/crates/v/ryo-analysis.svg)](https://crates.io/crates/ryo-analysis)
[![docs.rs](https://docs.rs/ryo-analysis/badge.svg)](https://docs.rs/ryo-analysis)
[![License: MIT OR Apache-2.0](https://img.shields.io/badge/license-MIT%20OR%20Apache--2.0-blue.svg)](#license)

> **Status:** stable. Part of the [ryo](https://github.com/ynishi/ryo-rs) workspace —
> AST-centric Rust programming for AI agents.

Code graph and discovery engine. AST-first: symbols are identified by their
AST hierarchy (`SymbolPath`); physical files are derived as a View layer.
`CodeGraphV2` provides fast relationship traversal (calls, type references,
trait impls, container hierarchy).

## Install

```sh
cargo add ryo-analysis
```

Optional features:

| Feature | Effect |
|---|---|
| `workspace` | Pulls in `ryo-metadata` for workspace-wide resolution |
| `schemars` | JSON Schema derive |
| `testing` | Re-exports `ryo-symbol`'s `test-utils` |
| `literal-search` | Full-text literal search via `tantivy` |

## Quickstart

```rust,ignore
use ryo_analysis::{SymbolPath, SymbolRegistry, SymbolKind};

let path = SymbolPath::builder("tokio")
    .push("sync")
    .push("Mutex")
    .build()?;

let mut registry = SymbolRegistry::new();
let id = registry.register(path, SymbolKind::Struct)?;

// Fast O(1) lookup
let resolved = registry.resolve(id);
```

## API Summary

| Module | Purpose |
|---|---|
| `context::AnalysisContext` | Workspace-wide analysis state |
| `discovery::*` | Symbol search and pattern discovery |
| `query::CodeGraphV2` | Call / type / trait / container graph |
| `query::TypeFlowGraphV2` | Type-level usage and dependency graph |
| `query::SpecFlowGraphV2` | `@spec:` directive graph |
| `cascade::*` | Cascade analysis (change-impact) |
| `pattern::*` | Pattern-driven symbol detection |
| `literal::*` | Literal value search (with `literal-search`) |
| `import_map_builder::*` | Import / use resolution |

`SymbolPath`, `SymbolId`, `SymbolKind`, `SymbolRegistry`, `CodeEdgeV2` and
related types are re-exported at the crate root.

## Status

API surface considered stable for the v0.1.0 release.

## License

Licensed under either of [Apache-2.0](https://github.com/ynishi/ryo-rs/blob/main/LICENSE-APACHE)
or [MIT](https://github.com/ynishi/ryo-rs/blob/main/LICENSE-MIT) at your option.