File: DiagnosticTests.swift

package info (click to toggle)
swiftlang 6.0.3-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 2,519,992 kB
  • sloc: cpp: 9,107,863; ansic: 2,040,022; asm: 1,135,751; python: 296,500; objc: 82,456; f90: 60,502; lisp: 34,951; pascal: 19,946; sh: 18,133; perl: 7,482; ml: 4,937; javascript: 4,117; makefile: 3,840; awk: 3,535; xml: 914; fortran: 619; cs: 573; ruby: 573
file content (110 lines) | stat: -rw-r--r-- 3,267 bytes parent folder | download
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
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
//===----------------------------------------------------------------------===//
//
// This source file is part of the Swift.org open source project
//
// Copyright (c) 2021-2022 Apple Inc. and the Swift project authors
// Licensed under Apache License v2.0 with Runtime Library Exception
//
// See https://swift.org/LICENSE.txt for license information
//
//===----------------------------------------------------------------------===//

@testable import _RegexParser
@testable import _StringProcessing

import XCTest

extension RegexTests {

  func testUnit() {
    XCTAssert(SourceLocation.fake.isFake)
    XCTAssert(group(.capture, "a").location.isFake)

    let ast = try! parse("(a)", .traditional).root
    XCTAssert(ast.location.isReal)
  }

  func testRender() {
    // Test top-level source range tracking from an example
    // "Flat" because it will extract immediate children of
    // concatenations and alternations, but not recurse.
    //
    // Input should be a concatenation or alternation
    func flatTest(_ str: String, _ expected: [String]) {
      guard let ast = try? parse(str, .traditional).root else {
        XCTFail("Fail to parse: \(str)")
        return
      }
      let nodes = ast.children?.filter(\.location.isReal)
      let tracked = nodes?.map {
        String(str[$0.location.range])
      }
      XCTAssertEqual(expected, tracked)
    }

    // FIXME: We don't track atoms yet, but this at least
    // checks for groups and quantifiers
    flatTest("a(b)c", ["a", "(b)" , "c"])
    flatTest("a(b)c+", ["a", "(b)", "c+"])
    flatTest("a*?b(c(d))", ["a*?", "b", "(c(d))"])
    flatTest("[abc]*?d", ["[abc]*?" , "d"])
    flatTest("a(?:b)", ["a", "(?:b)"])
    flatTest("a|b|c|", ["a", "b", "c", ""])
    flatTest("a|(b)|", ["a", "(b)", ""])

    func renderTest(_ str: String, _ expected: [String]) {
      let lines = try! parse(str, .traditional)._render(in: str)
      func fail() {
        XCTFail("""
          expected:
            \(expected.joined(separator: "\n    "))
          saw:
            \(lines.joined(separator: "\n    "))
        """)
      }
      guard lines.count == expected.count else {
        fail()
        return
      }
      for (e, l) in zip(expected, lines) {
        guard e.elementsEqual(l) else {
          fail()
          return
        }
      }
    }

    // AST constructors fake ranges, nothing to render
    XCTAssertEqual([], concat("a", "b")._render(in: "ab"))

    renderTest("ab", [
               "^^",
               "-^",
    ])

    renderTest("a(b)c+(d(e))f(?:gh)", [
               "^ ^ ^  ^ ^  ^   ^^ ",
               " --^-^  --^     -^ ",
               "       ---^  -----^",
               "      -----^       ",
               "------------------^"
    ])

    // TODO: Find out best way to test quantifier values

    // TODO: Find out way to render value-members of AST, not
    // just children
  }

  func testErrors() {
    // Note: These don't really "test" anything, but good to
    // see our output...
    //
    // FIXME: Convert to stringy tests
    if enablePrinting {
      print("\(ParseError.emptyProperty)")
      print("\(ParseError.expectedNumber("abc", kind: .decimal))")
      print("\(ParseError.expectedNumber("abc", kind: .hex))")
    }
  }
}