Skip to main content

Crate pedant_types

Crate pedant_types 

Source
Expand description

Shared types for pedant capability analysis output.

Re-exports§

pub use resolution::CandidateInput;
pub use resolution::DefinitionHandle;
pub use resolution::DefinitionId;
pub use resolution::ReferenceHandle;
pub use resolution::ReferenceId;
pub use resolution::ReferenceKind;
pub use resolution::ReportCollection;
pub use resolution::ResolutionCandidate;
pub use resolution::ResolutionCertainty;
pub use resolution::ResolutionGap;
pub use resolution::ResolutionRecord;
pub use resolution::ResolutionReport;
pub use resolution::ResolutionReportBuilder;
pub use resolution::ResolutionReportError;
pub use resolution::ResolutionReportLimits;
pub use resolution::ResolutionTier;
pub use resolution::ResolutionUnit;
pub use resolution::ResolutionUnitHandle;
pub use resolution::ResolutionUnitId;
pub use resolution::SourcePosition;
pub use resolution::SourceSpan;
pub use resolution::SymbolDefinition;
pub use resolution::SymbolKind;
pub use resolution::SymbolReference;

Modules§

resolution
The language-neutral symbol-resolution result schema.

Structs§

AnalysisCompleteness
How complete capability extraction was for a hashed source set.
AttestationContent
Signed attestation binding a source hash to its capability profile.
CapabilityDiff
Set-difference between two capability profiles.
CapabilityFinding
Evidence that a specific capability is exercised at a source location.
CapabilityProfile
Aggregated capability findings for a crate or file.
ParseCapabilityError
Returned when a string does not match any known capability variant.
SkippedAnalysis
A hashed file that capability analysis skipped, with the cause.
SourceLocation
File, line, and column of a capability finding.

Enums§

AnalysisTier
How deeply the source was analyzed, affecting finding accuracy.
Capability
A runtime or compile-time capability that a crate may exercise.
ExecutionContext
When during the software lifecycle a capability finding executes.
FindingOrigin
How a capability finding was detected in source code.
Language
Programming language of a source file that produced a capability finding.