pedant-core 0.20.1

Analysis engine for pedant: IR extraction, style checks, and capability detection
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

//! Single-pass AST extraction of a [`FileIr`](crate::ir::facts::FileIr).
//!
//! The traversal is split by responsibility: `extractor` owns fact storage
//! and traversal context, `visitor` is the `syn` dispatch that drives it,
//! `fn_scope` classifies bindings inside the function body under traversal,
//! `sites` owns the authoritative definition and reference inventory, and
//! `site_visitor` turns syntax nodes into those sites. `imports` performs the
//! one `use`-tree walk, `use_paths` projects the flat capability path list from
//! the resulting sites, and `paths` renders ranges and path spellings.
//! `syn_helpers` holds the stateless AST queries the others share.
//! `fingerprint` and `enrich` are post-passes over the finished IR. `parse` is
//! the one route into the traversal, so every production parse is observed
//! wherever it was requested from.

#[cfg(feature = "semantic")]
mod enrich;
mod extractor;
mod fingerprint;
mod fn_scope;
mod impls;
mod imports;
mod locals;
mod parse;
mod paths;
mod site_visitor;
mod sites;
mod syn_helpers;
mod type_edges;
mod use_paths;
mod visitor;

pub use extractor::extract;
pub use fingerprint::compute_fingerprints;
#[cfg(feature = "checks")]
pub(crate) use parse::parse_source;
pub(crate) use parse::{ParseCompatibility, ParsedSource, parse_source_for_edition};