xbp-analysis 10.57.0

Language-agnostic static analysis (error-handling / Aspirator-style) for XBP
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

//! Language-independent analysis model built by adapters.

use super::concepts::ConceptInstance;
use super::types::{ControlFlow, ErrorPath, LanguageId, SourceFile};
use serde::{Deserialize, Serialize};
use std::path::PathBuf;

/// Per-file abstract model consumed by language-independent rules.
#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
pub struct FileModel {
    pub path: PathBuf,
    pub language: LanguageId,
    pub concepts: Vec<ConceptInstance>,
    #[serde(default)]
    pub control_flow: ControlFlow,
    #[serde(default)]
    pub error_paths: Vec<ErrorPath>,
    /// True when the adapter marks the file as generated / macro-expanded only.
    #[serde(default)]
    pub generated: bool,
}

/// Workspace-level model for a single language analysis pass.
#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize, Default)]
pub struct LanguageModel {
    pub language: LanguageId,
    pub files: Vec<FileModel>,
}

impl LanguageModel {
    pub fn new(language: LanguageId) -> Self {
        Self {
            language,
            files: Vec::new(),
        }
    }

    pub fn concepts(&self) -> impl Iterator<Item = (&FileModel, &ConceptInstance)> {
        self.files
            .iter()
            .flat_map(|f| f.concepts.iter().map(move |c| (f, c)))
    }
}

/// Result of parsing a single source file (opaque to domain rules).
#[derive(Debug, Clone)]
pub struct ParseResult {
    pub file: SourceFile,
    pub ok: bool,
    pub diagnostics: Vec<String>,
}