mir-analyzer 0.18.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
34

use super::ExpressionAnalyzer;
use crate::context::Context;
use mir_types::{Atomic, Union};
use php_ast::ast::{MagicConstKind, YieldExpr};

impl<'a> ExpressionAnalyzer<'a> {
    pub(super) fn analyze_yield<'arena, 'src>(
        &mut self,
        y: &YieldExpr<'arena, 'src>,
        ctx: &mut Context,
    ) -> Union {
        if let Some(key) = &y.key {
            self.analyze(key, ctx);
        }
        if let Some(value) = &y.value {
            self.analyze(value, ctx);
        }
        Union::mixed()
    }

    pub(super) fn analyze_magic_const(kind: &MagicConstKind) -> Union {
        match kind {
            MagicConstKind::Line => Union::single(Atomic::TInt),
            MagicConstKind::File
            | MagicConstKind::Dir
            | MagicConstKind::Function
            | MagicConstKind::Class
            | MagicConstKind::Method
            | MagicConstKind::Namespace
            | MagicConstKind::Trait
            | MagicConstKind::Property => Union::single(Atomic::TString),
        }
    }
}