mago-analyzer 1.21.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 bumpalo::Bump;

use mago_atom::Atom;
use mago_names::ResolvedNames;

use mago_codex::metadata::CodebaseMetadata;

#[derive(Clone, Copy, Debug)]
pub struct AssertionContext<'ctx, 'arena> {
    pub resolved_names: &'ctx ResolvedNames<'arena>,
    pub arena: &'arena Bump,
    pub codebase: &'ctx CodebaseMetadata,
    pub this_class_name: Option<Atom>,
    pub trust_existence_checks: bool,
}