pedant-core 0.22.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

//! The callable owner each capability-source fact family states.
//!
//! Every family stamps the same `FileIr::functions` index during extraction, so
//! detection reads it through one route rather than repeating a field access
//! per family.

use crate::ir::facts::{AttributeFact, ExternBlockFact, StringLitFact, UnsafeFact, UsePathFact};

/// The callable owner one capability-source fact states.
pub(crate) trait CapabilitySourceFact {
    /// Index into `FileIr::functions`, or `None` at module scope.
    fn containing_fn(&self) -> Option<usize>;
}

impl CapabilitySourceFact for UsePathFact {
    fn containing_fn(&self) -> Option<usize> {
        self.containing_fn
    }
}

impl CapabilitySourceFact for UnsafeFact {
    fn containing_fn(&self) -> Option<usize> {
        self.containing_fn
    }
}

impl CapabilitySourceFact for ExternBlockFact {
    fn containing_fn(&self) -> Option<usize> {
        self.containing_fn
    }
}

impl CapabilitySourceFact for AttributeFact {
    fn containing_fn(&self) -> Option<usize> {
        self.containing_fn
    }
}

impl CapabilitySourceFact for StringLitFact {
    fn containing_fn(&self) -> Option<usize> {
        self.containing_fn
    }
}