pedant-core 0.20.2

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

//! Constructors that bind every closure failure to the same evidence shape.

use super::error::{ClosureSite, ResolutionLimit, SourceClosureFailure, SourceClosureFailureKind};

/// Bind a failure kind to its declaring site, attempted path, and message.
pub(super) fn failure(
    kind: SourceClosureFailureKind,
    evidence: (&ClosureSite, Option<Box<str>>),
    message: String,
) -> SourceClosureFailure {
    let (site, attempted) = evidence;
    SourceClosureFailure::new(kind, (site.clone(), attempted), message.into_boxed_str())
}

/// A failure whose attempted path stayed inside the repository root.
pub(super) fn at_path(
    kind: SourceClosureFailureKind,
    context: (&ClosureSite, &str),
    message: String,
) -> SourceClosureFailure {
    let (site, relative) = context;
    failure(kind, (site, Some(Box::from(relative))), message)
}

/// A read or metadata failure reported against its declaring site.
pub(super) fn read_failure(
    site: &ClosureSite,
    relative: &str,
    source: std::io::Error,
) -> SourceClosureFailure {
    at_path(
        site.read_kind(),
        (site, relative),
        format!("{relative} could not be read: {source}"),
    )
}

/// A crossed ceiling, naming the `ResolutionLimits` field that owns it.
pub(super) fn limit_failure(
    limit: ResolutionLimit,
    evidence: (&ClosureSite, Option<Box<str>>),
    ceiling: u64,
) -> SourceClosureFailure {
    let message = format!("the configured {limit} ceiling of {ceiling} is exceeded");
    failure(
        SourceClosureFailureKind::LimitExceeded(limit),
        evidence,
        message,
    )
}