mago-semantics 1.20.1

PHP Semantics Checker.
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

use mago_php_version::feature::Feature;
use mago_reporting::Annotation;
use mago_reporting::Issue;
use mago_span::HasSpan;
use mago_span::Span;
use mago_syntax::ast::Match;
use mago_syntax::ast::MatchArm;
use mago_syntax::ast::Switch;
use mago_syntax::ast::SwitchCase;

use crate::internal::context::Context;

#[inline]
pub fn check_switch(switch: &Switch, context: &mut Context<'_, '_, '_>) {
    let mut last_default: Option<Span> = None;

    for case in switch.body.cases() {
        let SwitchCase::Default(default_case) = &case else {
            continue;
        };

        let Some(previous) = last_default else {
            last_default = Some(default_case.default.span);

            continue;
        };

        context.report(
            Issue::error("A switch statement can only have one default case.")
                .with_annotation(
                    Annotation::primary(default_case.span()).with_message("This is a duplicate default case."),
                )
                .with_annotation(
                    Annotation::secondary(previous).with_message("The first default case is defined here."),
                )
                .with_annotation(
                    Annotation::secondary(switch.span())
                        .with_message("Switch statement containing the duplicate cases."),
                )
                .with_help(
                    "Remove this duplicate default case to ensure the switch statement is valid and unambiguous.",
                ),
        );
    }
}

#[inline]
pub fn check_match(r#match: &Match, context: &mut Context<'_, '_, '_>) {
    if !context.version.is_supported(Feature::MatchExpression) {
        context.report(
            Issue::error("Match expressions are only available in PHP 8.0 and above.")
                .with_annotation(Annotation::primary(r#match.span()).with_message("Match expression defined here."))
                .with_help("Upgrade to PHP 8.0 or above to use match expressions."),
        );
    }

    let mut last_default: Option<Span> = None;
    for arm in &r#match.arms {
        let MatchArm::Default(default_arm) = &arm else {
            continue;
        };

        let Some(previous) = last_default else {
            last_default = Some(default_arm.default.span);

            continue;
        };

        context.report(
            Issue::error("A match expression can only have one default arm.")
                .with_annotation(
                    Annotation::primary(default_arm.span()).with_message("This is a duplicate default arm."),
                )
                .with_annotation(Annotation::secondary(previous).with_message("The first default arm is defined here."))
                .with_annotation(Annotation::secondary(r#match.span()).with_message("Match expression defined here."))
                .with_help("Remove this duplicate default arm to ensure the match expression is valid."),
        );
    }
}