mir-issues 0.85.0

Issue definitions and reporting for the mir PHP static analyzer
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
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88

//! Psalm's per-issue `ERROR_LEVEL` for the issue kinds mir shares with it.
//! Kinds absent from the table (always-error, opt-in feature, or mir-only) are unaffected by the level.

/// Psalm error level (1–8) at which `name` stops being reported as an error.
/// An issue is downgraded to info when the configured level is above this value.
pub fn psalm_error_level(name: &str) -> Option<u8> {
    Some(match name {
        "MixedArgument"
        | "MixedArrayAccess"
        | "MixedArrayOffset"
        | "MixedAssignment"
        | "MixedClone"
        | "MixedFunctionCall"
        | "MixedMethodCall"
        | "MixedPropertyAssignment"
        | "MixedPropertyFetch"
        | "MixedReturnStatement"
        | "PossiblyNullOperand"
        | "Trace" => 1,
        "DeprecatedCall"
        | "DeprecatedClass"
        | "DeprecatedConstant"
        | "DeprecatedInterface"
        | "DeprecatedMethod"
        | "DeprecatedMethodCall"
        | "DeprecatedProperty"
        | "DeprecatedTrait"
        | "DirectConstructorCall"
        | "DocblockTypeContradiction"
        | "InvalidStringClass"
        | "MissingClosureReturnType"
        | "MissingConstructor"
        | "MissingParamType"
        | "MissingPropertyType"
        | "MissingReturnType"
        | "RawObjectIteration"
        | "UnsupportedReferenceUsage" => 2,
        "ArgumentTypeCoercion"
        | "PossiblyInvalidArgument"
        | "PossiblyInvalidArrayAccess"
        | "PossiblyInvalidArrayOffset"
        | "PossiblyInvalidClone"
        | "PossiblyInvalidOperand"
        | "PossiblyNullArgument"
        | "PossiblyNullArrayAccess"
        | "PossiblyNullMethodCall"
        | "PossiblyNullPropertyFetch"
        | "PossiblyUndefinedVariable"
        | "PropertyTypeCoercion" => 3,
        "ForbiddenCode"
        | "IfThisIsMismatch"
        | "ImplicitToStringCast"
        | "InternalMethod"
        | "InvalidDocblock"
        | "InvalidDocblockType"
        | "InvalidOperand"
        | "InvalidToString"
        | "MismatchingDocblockParamType"
        | "MismatchingDocblockReturnType"
        | "NoInterfaceProperties"
        | "RedundantCast"
        | "RedundantCondition"
        | "TooManyArguments"
        | "TypeDoesNotContainType" => 4,
        "NullableReturnStatement" => 5,
        "InvalidArgument"
        | "InvalidArrayAccess"
        | "InvalidArrayAssignment"
        | "InvalidArrayOffset"
        | "InvalidCast"
        | "InvalidCatch"
        | "InvalidClone"
        | "InvalidNamedArgument"
        | "InvalidPropertyAssignment"
        | "InvalidPropertyFetch"
        | "InvalidReturnType"
        | "InvalidTemplateParam"
        | "NullArgument"
        | "UndefinedMethod"
        | "UndefinedProperty" => 6,
        "AbstractInstantiation"
        | "InvalidOverride"
        | "MethodSignatureMismatch"
        | "OverriddenMethodAccess"
        | "UnhandledMatchCondition" => 7,
        _ => return None,
    })
}