mago-analyzer 1.18.1

A PHP static analyzer that can detect type errors in PHP code, and provide suggestions for fixing them.
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

use mago_codex::ttype::get_bool;
use mago_codex::ttype::get_false;
use mago_codex::ttype::get_true;
use mago_syntax::ast::EmptyConstruct;

use crate::analyzable::Analyzable;
use crate::artifacts::AnalysisArtifacts;
use crate::context::Context;
use crate::context::block::BlockContext;
use crate::error::AnalysisError;

impl<'ast, 'arena> Analyzable<'ast, 'arena> for EmptyConstruct<'arena> {
    fn analyze<'ctx>(
        &'ast self,
        context: &mut Context<'ctx, 'arena>,
        block_context: &mut BlockContext<'ctx>,
        artifacts: &mut AnalysisArtifacts,
    ) -> Result<(), AnalysisError> {
        let was_inside_isset = block_context.flags.inside_isset();
        block_context.flags.set_inside_isset(true);
        self.value.analyze(context, block_context, artifacts)?;
        block_context.flags.set_inside_isset(was_inside_isset);

        artifacts.set_expression_type(
            self,
            match artifacts.get_expression_type(&self.value) {
                Some(value_type) if value_type.possibly_undefined() => get_bool(),
                Some(value_type) if value_type.is_always_truthy() => get_false(),
                Some(value_type) if value_type.is_always_falsy() => get_true(),
                _ => get_bool(),
            },
        );

        Ok(())
    }
}