pedant-core 0.24.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
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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94

//! Go module project authority, and the bounded package snapshots taken from
//! it: the main module, the local replacements it requires, every directive its
//! root manifest states, and every source those modules' packages hold.
//!
//! The loader reads `go.mod` files beneath one canonical repository root, and a
//! snapshot reads the `.go` sources its package walk admits. Neither invokes
//! the Go command, a compiler, a code generator, a language server, or a
//! network client, and neither consults a toolchain environment, module cache,
//! workspace file, or host selection state. The root manifest is the sole
//! `replace` and `exclude` authority, matching a single-main-module build, and
//! a build predicate is retained unevaluated rather than resolved against the
//! machine taking the snapshot.

mod binding_fact;
mod condition;
mod declaration_fact;
mod directive;
mod discovery;
mod error;
mod exclusion;
mod facts;
mod fault;
mod fingerprint;
mod identity;
mod import_fact;
mod inventory;
mod limits;
mod load;
mod manifest;
mod module;
mod packages;
mod paths;
mod project;
mod provider;
mod reference_fact;
mod replacement;
mod requirement;
mod resolve;
mod signature_fact;
mod snapshot;
mod snapshot_error;
mod snapshot_module;
mod source;
mod store;
mod unit;
mod unit_table;
mod written_type_fact;

/// Proof-only restatement of the snapshot claims a fingerprint covers.
#[cfg(feature = "resolution-test-support")]
mod test_support;

pub use binding_fact::{GoBindingRecord, GoInitializerRecord};
pub use condition::GoBuildCondition;
pub use declaration_fact::GoDeclarationRecord;
pub use error::GoProjectError;
pub use exclusion::GoExclusion;
pub use facts::GoSourceFacts;
pub use fault::GoSourceFault;
pub use fingerprint::GoSnapshotFingerprint;
pub use identity::GoModuleId;
pub use import_fact::GoImportRecord;
pub use inventory::GoFileInventory;
pub use limits::GoResolutionLimits;
pub use module::GoModule;
pub use project::GoProject;
pub use provider::{GoSourceProvider, GoSourceRules};
pub use reference_fact::GoReferenceRecord;
pub use replacement::{GoReplacement, GoReplacementTarget};
pub use requirement::{GoRequirement, GoRequirementResolution};
pub use resolve::{GoProjectResolution, GoResolutionError, GoResolver, GoUnitBinding};
pub use signature_fact::GoSignatureTermRecord;
pub use snapshot::GoResolutionSnapshot;
pub use snapshot_error::{GoSnapshotError, GoSourceDefect};
pub use snapshot_module::{GoSnapshotEdge, GoSnapshotModule, GoSnapshotModuleId};
pub use source::GoSource;
pub use unit::{GoPackageContext, GoResolutionUnit, GoSnapshotUnitId};
pub use written_type_fact::GoWrittenTypeRecord;

/// The closed grammar vocabulary a retained Go fact inventory speaks.
///
/// Re-exported rather than restated: `pedant-syntax` owns the one Go grammar
/// mapping, so a consumer of this crate names the same kinds the extraction
/// produced instead of a copy that could drift from them.
pub use pedant_syntax::go::{
    GoBindingKind, GoBuildConditionKind, GoDeclarationKind, GoFactSpan, GoImportForm,
    GoInitializerForm, GoReferenceKind, GoScopeFact, GoScopeKind, GoSignatureRole,
};

#[cfg(feature = "resolution-test-support")]
pub use test_support::{
    GoEdgeFingerprintClaim, GoModuleFingerprintClaim, GoSnapshotFingerprintClaim,
    GoSourceFingerprintClaim, GoUnitFingerprintClaim,
};