pedant-core 0.20.1

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

//! Values retained after a resolution snapshot is verified.

use super::prelude::*;

pub(crate) struct VerifiedSource {
    pub(crate) path: Arc<str>,
    pub(crate) absolute: Box<str>,
}

pub(crate) struct VerifiedUnit {
    pub(super) krate: Crate,
    pub(crate) sources: Box<[VerifiedSource]>,
}

impl VerifiedUnit {
    pub(in crate::ir::semantic) fn krate(&self) -> Crate {
        self.krate
    }
}

pub(crate) struct VerifiedSnapshot {
    pub(crate) fingerprint: [u8; 32],
    pub(crate) units: Box<[VerifiedUnit]>,
}