pedant-core 0.22.0

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

mod attribution;
mod detection;
mod paths;
mod strings;
mod validation;

pub use detection::detect_capabilities;
pub use strings::truncate_evidence;

/// The lint pipeline splits detection from projection so semantic reachability
/// can annotate the draft in between; the substrate has no such stage.
#[cfg(feature = "checks")]
pub(crate) use attribution::project_analysis;
#[cfg(feature = "checks")]
pub(crate) use detection::draft_capabilities;

#[cfg(all(feature = "checks", feature = "semantic"))]
pub(crate) use attribution::DraftedFinding;