mago-analyzer 1.40.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

use mago_word::WordMap;
use mago_word::WordSet;

use mago_algebra::clause::Clause;

use crate::context::block::BlockContext;

#[derive(Debug, Clone)]
pub struct IfConditionalScope<'ctx> {
    pub if_body_context: BlockContext<'ctx>,
    pub post_if_context: BlockContext<'ctx>,
    pub conditionally_referenced_variable_ids: WordSet,
    pub assigned_in_conditional_variable_ids: WordMap<u32>,
    pub entry_clauses: Vec<Clause>,
}