mir-analyzer 0.2.0

Analysis engine for the mir PHP static analyzer
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

// crates/mir-analyzer/src/type_env.rs
use indexmap::IndexMap;
use mir_types::Union;
use std::sync::Arc;

/// Identifies a single analysis scope within a project.
#[derive(Debug, Clone, PartialEq, Eq, Hash)]
pub enum ScopeId {
    Function { file: Arc<str>, name: Arc<str> },
    Method { class: Arc<str>, method: Arc<str> },
}

/// Variable type environment for one scope — the stable public view of Context.vars.
#[derive(Debug)]
pub struct TypeEnv {
    vars: IndexMap<String, Union>,
}

impl TypeEnv {
    pub(crate) fn new(vars: IndexMap<String, Union>) -> Self {
        Self { vars }
    }

    /// Returns the inferred type of `$name`, or `None` if the variable was not tracked.
    pub fn get_var(&self, name: &str) -> Option<&Union> {
        self.vars.get(name)
    }

    /// Iterates over all variable names tracked in this scope.
    pub fn var_names(&self) -> impl Iterator<Item = &str> {
        self.vars.keys().map(|s| s.as_str())
    }
}