Function parse_no_matching_file

src/mago.rs:851–885

()

    #[test]
    fn parse_no_matching_file() {
        let content = "<?php\n";
        let file_path = "/tmp/phpantom-mago-abc.php";

        let json = r#"{
            "issues": [
                {
                    "level": "Error",
                    "code": "some-error",
                    "message": "Error in other file.",
                    "notes": [],
                    "help": "",
                    "annotations": [
                        {
                            "message": "here",
                            "kind": "Primary",
                            "span": {
                                "file_id": {
                                    "name": "other.php",
                                    "path": "/project/src/other.php",
                                    "size": 100,
                                    "file_type": "Host"
                                },
                                "start": { "offset": 0, "line": 0 },
                                "end": { "offset": 5, "line": 0 }
                            }
                        }
                    ]
                }
            ]
        }"#;

        let diags = parse_mago_json(json, content, file_path, "mago-lint").unwrap();
        assert!(diags.is_empty());
    }

    // ── has_mago_config ─────────────────────────────────────────────