mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
1b3c0b7a73
When parsing a regular expression literal, accept a serialized capture structure from the regex parser. During type checking, decode it and form Swift types. Examples: ```swift '/(.)(.)/' // ==> `Regex<(Substring, Substring)>` '/(?<label>.)(.)/' // ==> `Regex<(label: Substring, Substring)` '/((.))*((.)?)/' //==> `Regex<([Substring], [Substring], Substring, Substring?)>` ``` Also: - Fix a bug where a regex literal parsing error is not returning an error parser result. Note: - This needs to land after apple/swift-experimental-string-processing#92 and after `dev/4` tag has been created. - See apple/swift-experimental-string-processing#92 for regex parser changes and the capture structure encoding. - The `RegexLiteralParsingFn` `CaptureStructureOut` pointer type change from `char *` to `void *` will not break builds due to implicit pointer conversion (SE-0324) and unchanged ABI. Resolves rdar://83253511.
59 lines
1.5 KiB
Swift
59 lines
1.5 KiB
Swift
// RUN: %target-run-simple-swift(-Xfrontend -enable-experimental-string-processing)
|
|
|
|
// REQUIRES: libswift,string_processing,executable_test
|
|
|
|
import StdlibUnittest
|
|
|
|
var RegexBasicTests = TestSuite("RegexBasic")
|
|
|
|
extension String {
|
|
func expectMatch<T>(
|
|
_ regex: Regex<T>,
|
|
file: String = #file,
|
|
line: UInt = #line
|
|
) -> RegexMatch<T> {
|
|
guard let result = match(regex) else {
|
|
expectUnreachable("Failed match", file: file, line: line)
|
|
fatalError()
|
|
}
|
|
return result
|
|
}
|
|
}
|
|
|
|
RegexBasicTests.test("Basic") {
|
|
let input = "aabccd"
|
|
|
|
let match1 = input.expectMatch('/aabcc./')
|
|
expectEqual("aabccd", input[match1.range])
|
|
expectTrue(() == match1.captures)
|
|
|
|
let match2 = input.expectMatch('/a*b.+./')
|
|
expectEqual("aabccd", input[match2.range])
|
|
expectTrue(() == match2.captures)
|
|
}
|
|
|
|
RegexBasicTests.test("Modern") {
|
|
let input = "aabccd"
|
|
|
|
let match1 = input.expectMatch('|a a bc c /*hello*/ .|')
|
|
expectEqual("aabccd", input[match1.range])
|
|
expectTrue(() == match1.captures)
|
|
}
|
|
|
|
RegexBasicTests.test("Captures") {
|
|
let input = """
|
|
A6F0..A6F1 ; Extend # Mn [2] BAMUM COMBINING MARK KOQNDON..BAMUM \
|
|
COMBINING MARK TUKWENTIS
|
|
"""
|
|
let regex = '/([0-9A-F]+)(?:\.\.([0-9A-F]+))?\s+;\s+(\w+).*/'
|
|
// Test inferred type.
|
|
let _: Regex<(Substring, Substring?, Substring)>.Type = type(of: regex)
|
|
let match1 = input.expectMatch(regex)
|
|
expectEqual(input[...], input[match1.range])
|
|
expectTrue("A6F0" == match1.captures.0)
|
|
expectTrue("A6F1" == match1.captures.1)
|
|
expectTrue("Extend" == match1.captures.2)
|
|
}
|
|
|
|
runAllTests()
|