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

//! The one order a Go resolution is written in.
//!
//! Every package context is stated before any reference is classified, because
//! a call in one package names a definition in another and a report cannot
//! point at a definition it has not stated yet. The structural relations come
//! next, because they are a whole-corpus comparison an interface dispatch in
//! any package reads. Everything after that is a join over tables already
//! built.

use pedant_types::{ResolutionReportBuilder, ResolutionReportLimits, ResolutionTier};

use crate::resolution::go::limits::GoResolutionLimits;
use crate::resolution::go::snapshot::GoResolutionSnapshot;

use super::corpus::Corpus;
use super::definitions;
use super::error::GoResolutionError;
use super::implementations::Implementations;
use super::records;
use super::references;
use super::target::GoProjectResolution;

/// Resolve one snapshot into a validated, snapshot-bound report.
pub(super) fn resolve(
    snapshot: &GoResolutionSnapshot,
) -> Result<GoProjectResolution, GoResolutionError> {
    let report = write(snapshot, snapshot.limits())?;
    GoProjectResolution::try_new(snapshot, report)
}

/// State every unit, definition, reference, and record one snapshot denotes.
fn write(
    snapshot: &GoResolutionSnapshot,
    limits: GoResolutionLimits,
) -> Result<pedant_types::ResolutionReport, GoResolutionError> {
    let corpus = Corpus::of(snapshot);
    let mut builder =
        ResolutionReportBuilder::new(ResolutionTier::Syntactic, ResolutionReportLimits::default());
    let index = definitions::state(&mut builder, &corpus)?;
    let implementations = Implementations::of(&index, &corpus, limits)?;
    for (position, unit) in corpus.units().iter().enumerate() {
        let stated = references::of_unit(&index, &corpus, &implementations, (position, unit))?;
        records::write(&mut builder, &index, (&stated, position), limits)?;
    }
    Ok(builder.finish()?)
}