Skip to main content

pedant_types/
lib.rs

1//! Shared types for pedant capability analysis output.
2
3mod attestation;
4mod capability;
5mod diff;
6mod error;
7mod execution_context;
8mod finding;
9mod finding_origin;
10mod language;
11mod profile;
12pub mod resolution;
13
14pub use attestation::{AnalysisCompleteness, AnalysisTier, AttestationContent, SkippedAnalysis};
15pub use capability::Capability;
16pub use diff::CapabilityDiff;
17pub use error::ParseCapabilityError;
18pub use execution_context::ExecutionContext;
19pub use finding::{CapabilityFinding, SourceLocation};
20pub use finding_origin::FindingOrigin;
21pub use language::Language;
22pub use profile::CapabilityProfile;
23pub use resolution::{
24    CandidateInput, DefinitionHandle, DefinitionId, ReferenceHandle, ReferenceId, ReferenceKind,
25    ReportCollection, ResolutionCandidate, ResolutionCertainty, ResolutionGap, ResolutionRecord,
26    ResolutionReport, ResolutionReportBuilder, ResolutionReportError, ResolutionReportLimits,
27    ResolutionTier, ResolutionUnit, ResolutionUnitHandle, ResolutionUnitId, SourcePosition,
28    SourceSpan, SymbolDefinition, SymbolKind, SymbolReference,
29};