mago-analyzer 1.47.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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72

use mago_allocator::Arena;
use mago_syntax::cst::ArgumentList;
use mago_syntax::cst::PartialArgument;
use mago_syntax::cst::PartialArgumentList;

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 ArgumentList<'arena> {
    fn analyze<'ctx, A>(
        &'ast self,
        context: &mut Context<'ctx, 'arena, A>,
        block_context: &mut BlockContext<'ctx>,
        artifacts: &mut AnalysisArtifacts,
    ) -> Result<(), AnalysisError>
    where
        A: Arena,
    {
        let was_inside_call = block_context.flags.inside_call();
        let was_inside_general_use = block_context.flags.inside_general_use();

        block_context.flags.set_inside_call(true);
        block_context.flags.set_inside_general_use(true);

        for argument in &self.arguments {
            argument.value().analyze(context, block_context, artifacts)?;
        }

        block_context.flags.set_inside_call(was_inside_call);
        block_context.flags.set_inside_general_use(was_inside_general_use);

        Ok(())
    }
}

impl<'ast, 'arena> Analyzable<'ast, 'arena> for PartialArgumentList<'arena> {
    fn analyze<'ctx, A>(
        &'ast self,
        context: &mut Context<'ctx, 'arena, A>,
        block_context: &mut BlockContext<'ctx>,
        artifacts: &mut AnalysisArtifacts,
    ) -> Result<(), AnalysisError>
    where
        A: Arena,
    {
        let was_inside_call = block_context.flags.inside_call();
        let was_inside_general_use = block_context.flags.inside_general_use();

        block_context.flags.set_inside_call(true);
        block_context.flags.set_inside_general_use(true);

        for argument in &self.arguments {
            match argument {
                PartialArgument::Positional(positional_argument) => {
                    positional_argument.value.analyze(context, block_context, artifacts)?;
                }
                PartialArgument::Named(named_argument) => {
                    named_argument.value.analyze(context, block_context, artifacts)?;
                }
                _ => { /* Do nothing for other argument types */ }
            }
        }

        block_context.flags.set_inside_call(was_inside_call);
        block_context.flags.set_inside_general_use(was_inside_general_use);

        Ok(())
    }
}