mago-analyzer 1.21.0

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_syntax::ast::Construct;

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

mod empty;
mod eval;
mod exit;
mod include;
mod isset;
mod print;

impl<'ast, 'arena> Analyzable<'ast, 'arena> for Construct<'arena> {
    fn analyze<'ctx>(
        &'ast self,
        context: &mut Context<'ctx, 'arena>,
        block_context: &mut BlockContext<'ctx>,
        artifacts: &mut AnalysisArtifacts,
    ) -> Result<(), AnalysisError> {
        match self {
            Construct::Isset(isset_construct) => isset_construct.analyze(context, block_context, artifacts),
            Construct::Include(construct) => construct.analyze(context, block_context, artifacts),
            Construct::IncludeOnce(construct) => construct.analyze(context, block_context, artifacts),
            Construct::Require(construct) => construct.analyze(context, block_context, artifacts),
            Construct::RequireOnce(construct) => construct.analyze(context, block_context, artifacts),
            Construct::Print(print_construct) => print_construct.analyze(context, block_context, artifacts),
            Construct::Exit(exit_construct) => exit_construct.analyze(context, block_context, artifacts),
            Construct::Die(die_construct) => die_construct.analyze(context, block_context, artifacts),
            Construct::Eval(eval_construct) => eval_construct.analyze(context, block_context, artifacts),
            Construct::Empty(empty_construct) => empty_construct.analyze(context, block_context, artifacts),
        }
    }
}