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

use mago_span::HasSpan;
use mago_syntax::ast::Expression;
use mago_syntax::ast::Statement;
use mago_syntax::walker::Walker;

use crate::artifacts::AnalysisArtifacts;

#[derive(Debug, Clone, Copy)]
#[repr(transparent)]
pub struct TypeCleaningWalker;

impl<'ast, 'arena> Walker<'ast, 'arena, AnalysisArtifacts> for TypeCleaningWalker {
    fn walk_in_expression(&self, expression: &'ast Expression<'arena>, artifacts: &mut AnalysisArtifacts) {
        let expression_span = expression.span();
        let expression_id = (expression_span.start.offset, expression_span.end.offset);

        artifacts.expression_types.remove(&expression_id);
    }
}

pub fn clean_nodes(stmts: &[Statement<'_>], artifacts: &mut AnalysisArtifacts) {
    for stmt in stmts {
        TypeCleaningWalker.walk_statement(stmt, artifacts);
    }
}