//===----------------------------------------------------------------------===//
//
// 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
//
//===----------------------------------------------------------------------===//

// This test suite includes tests that verify the behavior of `Regex` as it
// relates to Unicode Technical Standard #18: Unicode Regular Expressions.
//
// Please note: Quotations of UTS18 in this file mostly use 'Character' to mean
// Unicode code point, and 'String' to mean 'sequence of code points' — they
// are not the Swift meanings of those terms.
//
// See https://unicode.org/reports/tr18/ for more.

import XCTest
@testable // for internal `matches(of:)`
import _StringProcessing
import TestSupport

extension UnicodeScalar {
  var value4Digits: String {
    let valueString = String(value, radix: 16, uppercase: true)
    if valueString.count >= 4 { return valueString }
    return String(repeating: "0", count: 4 - valueString.count) + valueString
  }
}

class UTS18Tests: XCTestCase {
  var input: String {
    "ABCdefghîøu\u{308}\u{FFF0} -–—[]123"
  // 01234567890       1       234567890
  // 0                10               20
  }
}

fileprivate func regex(_ pattern: String) -> Regex<Substring> {
  try! Regex(pattern, as: Substring.self)
}

fileprivate extension String {
  subscript<R: RangeExpression>(pos bounds: R) -> Substring
    where R.Bound == Int
  {
    let bounds = bounds.relative(to: 0..<count)
    return dropFirst(bounds.lowerBound).prefix(bounds.count)
  }
}

fileprivate func expectFirstMatch<Output: Equatable>(
  _ input: String,
  _ r: Regex<Output>,
  _ output: Output,
  file: StaticString = #file,
  line: UInt = #line)
{
  XCTAssertEqual(input.firstMatch(of: r)?.output, output, file: file, line: line)
}

#if os(Linux) || os(Android)
func XCTExpectFailure(_ message: String? = nil, body: () throws -> Void) rethrows {}
#endif

// MARK: - Basic Unicode Support: Level 1

// C1. An implementation claiming conformance to Level 1 of this specification
// shall meet the requirements described in the following sections:
extension UTS18Tests {
  // RL1.1 Hex Notation
  //
  // To meet this requirement, an implementation shall supply a mechanism for
  // specifying any Unicode code point (from U+0000 to U+10FFFF), using the
  // hexadecimal code point representation.
  func testHexNotation() {
    expectFirstMatch("ab", regex(#"\u{61}\u{62}"#), "ab")
    expectFirstMatch("𝄞", regex(#"\u{1D11E}"#), "𝄞")
    expectFirstMatch("\n", regex(#"\u{0A}"#), "\n")
    expectFirstMatch("\r", regex(#"\u{0D}"#), "\r")
    expectFirstMatch("\r\n", regex(#"\u{0D}\u{0A}"#), "\r\n")
  }
  
  // 1.1.1 Hex Notation and Normalization
  //
  // TODO: Does this section make a recommendation?
  
  // RL1.2	Properties
  // To meet this requirement, an implementation shall provide at least a
  // minimal list of properties, consisting of the following:
  // - General_Category
  // - Script and Script_Extensions
  // - Alphabetic
  // - Uppercase
  // - Lowercase
  // - White_Space
  // - Noncharacter_Code_Point
  // - Default_Ignorable_Code_Point
  // - ANY, ASCII, ASSIGNED
  // The values for these properties must follow the Unicode definitions, and
  // include the property and property value aliases from the UCD. Matching of
  // Binary, Enumerated, Catalog, and Name values must follow the Matching
  // Rules from [UAX44] with one exception: implementations are not required
  // to ignore an initial prefix string of "is" in property values.
  func testProperties() {
    // General_Category
    expectFirstMatch(input, regex(#"\p{Lu}+"#), input[pos: ..<3])
    expectFirstMatch(input, regex(#"\p{lu}+"#), input[pos: ..<3])
    expectFirstMatch(input, regex(#"\p{uppercase letter}+"#), input[pos: ..<3])
    expectFirstMatch(input, regex(#"\p{Uppercase Letter}+"#), input[pos: ..<3])
    expectFirstMatch(input, regex(#"\p{Uppercase_Letter}+"#), input[pos: ..<3])
    expectFirstMatch(input, regex(#"\p{uppercaseletter}+"#), input[pos: ..<3])
    
    expectFirstMatch(input, regex(#"\p{P}+"#), "-–—[]")
    expectFirstMatch(input, regex(#"\p{Pd}+"#), "-–—")
    
    expectFirstMatch(input, regex(#"\p{Any}+"#), input[...])
    expectFirstMatch(input, regex(#"\p{Assigned}+"#), input[pos: ..<11])
    expectFirstMatch(input, regex(#"\p{ASCII}+"#), input[pos: ..<8])
    
    // Script and Script_Extensions
    //    U+3042  あ  HIRAGANA LETTER A  Hira  {Hira}
    XCTAssertTrue("\u{3042}".contains(regex(#"\p{Hira}"#)))
    XCTAssertTrue("\u{3042}".contains(regex(#"\p{sc=Hira}"#)))
    XCTAssertTrue("\u{3042}".contains(regex(#"\p{scx=Hira}"#)))
    //    U+30FC  ー  KATAKANA-HIRAGANA PROLONGED SOUND MARK  Zyyy = Common  {Hira, Kana}
    XCTAssertTrue("\u{30FC}".contains(regex(#"\p{Hira}"#)))      // Implicit = Script_Extensions
    XCTAssertTrue("\u{30FC}".contains(regex(#"\p{Kana}"#)))
    XCTAssertTrue("\u{30FC}".contains(regex(#"\p{sc=Zyyy}"#)))   // Explicit = Script
    XCTAssertTrue("\u{30FC}".contains(regex(#"\p{scx=Hira}"#)))
    XCTAssertTrue("\u{30FC}".contains(regex(#"\p{scx=Kana}"#)))
    XCTAssertFalse("\u{30FC}".contains(regex(#"\p{sc=Hira}"#)))
    XCTAssertFalse("\u{30FC}".contains(regex(#"\p{sc=Kana}"#)))
    
    // Uppercase, etc
    expectFirstMatch(input, regex(#"\p{Uppercase}+"#), input[pos: ..<3])
    expectFirstMatch(input, regex(#"\p{isUppercase}+"#), input[pos: ..<3])
    expectFirstMatch(input, regex(#"\p{Uppercase=true}+"#), input[pos: ..<3])
    expectFirstMatch(input, regex(#"\p{is Uppercase}+"#), input[pos: ..<3])
    expectFirstMatch(input, regex(#"\p{is uppercase = true}+"#), input[pos: ..<3])
    expectFirstMatch(input, regex(#"\p{lowercase}+"#), input[pos: 3..<11])
    expectFirstMatch(input, regex(#"\p{whitespace}+"#), input[pos: 12..<13])

    // Block vs Writing System
    let greekScalar = "Θ" // U+0398
    let greekExtendedScalar = "ἀ" // U+1F00
    XCTAssertTrue(greekScalar.contains(regex(#"\p{Greek}"#)))
    XCTAssertTrue(greekExtendedScalar.contains(regex(#"\p{Greek}"#)))
  }
  
  func testProperties_XFail() {
    // Certain properties are unsupported, see below.
    XCTAssertThrowsError(try Regex(#"\p{Block=Greek}"#))
  }
  
  // RL1.2a	Compatibility Properties
  // To meet this requirement, an implementation shall provide the properties
  // listed in Annex C: Compatibility Properties, with the property values as
  // listed there. Such an implementation shall document whether it is using
  // the Standard Recommendation or POSIX-compatible properties.
  func testCompatibilityProperties() throws {
    // FIXME: These tests seem insufficient
    expectFirstMatch(input, regex(#"[[:alpha:]]+"#), input[pos: ..<11])
    expectFirstMatch(input, regex(#"[[:upper:]]+"#), input[pos: ..<3])
    expectFirstMatch(input, regex(#"[[:lower:]]+"#), input[pos: 3..<11])
    expectFirstMatch(input, regex(#"[[:punct:]]+"#), input[pos: 13..<18])
    expectFirstMatch(input, regex(#"[[:digit:]]+"#), input[pos: 18..<21])
    expectFirstMatch(input, regex(#"[[:xdigit:]]+"#), input[pos: ..<6])
    expectFirstMatch(input, regex(#"[[:alnum:]]+"#), input[pos: ..<11])
    expectFirstMatch(input, regex(#"[[:space:]]+"#), input[pos: 12..<13])
    expectFirstMatch(input, regex(#"[[:graph:]]+"#), input[pos: ..<11])
    expectFirstMatch(input, regex(#"[[:print:]]+"#), input[...])
    expectFirstMatch(input, regex(#"[[:word:]]+"#), input[pos: ..<11])

    let blankAndControl = """
     \t\u{01}\u{19}
    """
    // \t - tab is in both [:blank:] and [:cntrl:]
    expectFirstMatch(blankAndControl, regex(#"[[:blank:]]+"#), blankAndControl[pos: ..<2])
    expectFirstMatch(blankAndControl, regex(#"[[:cntrl:]]+"#), blankAndControl[pos: 1...])
  }
  
  //RL1.3 Subtraction and Intersection
  //
  // To meet this requirement, an implementation shall supply mechanisms for
  // union, intersection and set-difference of sets of characters within
  // regular expression character class expressions.
  func testSubtractionAndIntersection() throws {
    // Non-ASCII letters
    expectFirstMatch(input, regex(#"[\p{Letter}--\p{ASCII}]+"#), input[pos: 8..<11])
    // Digits that aren't 1 or 2
    expectFirstMatch(input, regex(#"[\p{digit}--[12]]+"#), input[pos: 20..<21])
    
    // ASCII-only letters
    expectFirstMatch(input, regex(#"[\p{Letter}&&\p{ASCII}]+"#), input[pos: ..<8])
    // Digits that are 2 or 3
    expectFirstMatch(input, regex(#"[\p{digit}&&[23]]+"#), input[pos: 19..<21])
    
    // Non-ASCII lowercase + non-lowercase ASCII
    expectFirstMatch(input, regex(#"[\p{lowercase}~~\p{ascii}]+"#), input[pos: ..<3])
    XCTAssertTrue("123%&^ABCDéîøü".contains(regex(#"^[\p{lowercase}~~\p{ascii}]+$"#)))
  }
  
  func testSubtractionAndIntersectionPrecedence() {
    expectFirstMatch("ABC123-", regex(#"[[:alnum:]]*-"#), "ABC123-")
    expectFirstMatch("ABC123-", regex(#"[[:alnum:]--\p{Uppercase}]*-"#), "123-")
    // Union binds more closely than difference
    expectFirstMatch("ABC123-", regex(#"[[:alnum:]--\p{Uppercase}[:digit:]]*-"#), "-")
    // TODO: Test for intersection precedence
  }
  
  // RL1.4 Simple Word Boundaries
  // To meet this requirement, an implementation shall extend the word boundary
  // mechanism so that:
  // - The class of <word_character> includes all the Alphabetic values from the
  //   Unicode character database, from UnicodeData.txt, plus the decimals
  //   (General_Category=Decimal_Number, or equivalently Numeric_Type=Decimal),
  //   and the U+200C ZERO WIDTH NON-JOINER and U+200D ZERO WIDTH JOINER
  //   (Join_Control=True). See also Annex C: Compatibility Properties.
  // - Nonspacing marks are never divided from their base characters, and
  //   otherwise ignored in locating boundaries.
  func testSimpleWordBoundaries() {
    let simpleWordRegex = regex(#".+?\b"#).wordBoundaryKind(.simple)
    expectFirstMatch(input, simpleWordRegex, input[pos: ..<11])
    expectFirstMatch("don't", simpleWordRegex, "don")
    expectFirstMatch("Cafe\u{301}", simpleWordRegex, "Café")
  }
  
  // RL1.5 Simple Loose Matches
  //
  // To meet this requirement, if an implementation provides for case-
  // insensitive matching, then it shall provide at least the simple, default
  // Unicode case-insensitive matching, and specify which properties are closed
  // and which are not.
  //
  // To meet this requirement, if an implementation provides for case
  // conversions, then it shall provide at least the simple, default Unicode
  // case folding.
  func testSimpleLooseMatches() {
    expectFirstMatch("Dåb", regex(#"Dåb"#).ignoresCase(), "Dåb")
    expectFirstMatch("dÅB", regex(#"Dåb"#).ignoresCase(), "dÅB")
    expectFirstMatch("D\u{212B}B", regex(#"Dåb"#).ignoresCase(), "D\u{212B}B")
  }

  func testSimpleLooseMatches_XFail() {
    XCTExpectFailure("Need case folding support") {
      let sigmas = "σΣς"
      expectFirstMatch(sigmas, regex(#"σ+"#).ignoresCase(), sigmas[...])
      expectFirstMatch(sigmas, regex(#"Σ+"#).ignoresCase(), sigmas[...])
      expectFirstMatch(sigmas, regex(#"ς+"#).ignoresCase(), sigmas[...])
      
      // TODO: Test German sharp S
      // TODO: Test char classes, e.g. [\p{Block=Phonetic_Extensions} [A-E]]
    }
  }
  
  // RL1.6 Line Boundaries
  //
  // To meet this requirement, if an implementation provides for line-boundary
  // testing, it shall recognize not only CRLF, LF, CR, but also NEL (U+0085),
  // PARAGRAPH SEPARATOR (U+2029) and LINE SEPARATOR (U+2028).
  func testLineBoundaries() {
    let lineInput = """
      01
      02\r\
      03\n\
      04\u{a}\
      05\u{b}\
      06\u{c}\
      07\u{d}\
      08\u{d}\u{a}\
      09\u{85}\
      10\u{2028}\
      11\u{2029}\
      12
      """
    // Check the input counts
    var lines = lineInput.matches(of: regex(#"\d{2}"#))
    XCTAssertEqual(lines.count, 12)
    // Test \R - newline sequence
    lines = lineInput.matches(of: regex(#"\d{2}\R^"#).anchorsMatchLineEndings())
    XCTAssertEqual(lines.count, 11)
    // Test \v - vertical space
    lines = lineInput.matches(of: regex(#"\d{2}\v^"#).anchorsMatchLineEndings())
    XCTAssertEqual(lines.count, 11)
    // Test \s - whitespace
    lines = lineInput.matches(of: regex(#"\d{2}\s^"#).anchorsMatchLineEndings())
    XCTAssertEqual(lines.count, 11)
    // Test anchors as line boundaries
    lines = lineInput.matches(of: regex(#"^\d{2}$"#).anchorsMatchLineEndings())
    XCTAssertEqual(lines.count, 12)
    // Test that dot does not match line endings
    lines = lineInput.matches(of: regex(#".+"#))
    XCTAssertEqual(lines.count, 12)
    
    // Unicode scalar semantics - \R still matches all, including \r\n sequence
    lines = lineInput.matches(
      of: regex(#"\d{2}\R(?=\d)"#).matchingSemantics(.unicodeScalar).anchorsMatchLineEndings())
    XCTAssertEqual(lines.count, 11)
    // Unicode scalar semantics - \v matches all except for \r\n sequence
    lines = lineInput.matches(
      of: regex(#"\d{2}\v(?=\d)"#).matchingSemantics(.unicodeScalar).anchorsMatchLineEndings())
    XCTAssertEqual(lines.count, 10)
    // Unicode scalar semantics - \s matches all except for \r\n sequence
    lines = lineInput.matches(
      of: regex(#"\d{2}\s(?=\d)"#).matchingSemantics(.unicodeScalar).anchorsMatchLineEndings())
    XCTAssertEqual(lines.count, 10)

    // Does not contain an empty line
    XCTAssertFalse(lineInput.contains(regex(#"^$"#)))
    // Does contain an empty line (between \n and \r, which are reversed here)
    let empty = "\n\r"
    XCTAssertTrue(empty.contains(regex(#"^$"#).anchorsMatchLineEndings()))
  }
  
  // RL1.7 Supplementary Code Points
  //
  // To meet this requirement, an implementation shall handle the full range of
  // Unicode code points, including values from U+FFFF to U+10FFFF. In
  // particular, where UTF-16 is used, a sequence consisting of a leading
  // surrogate followed by a trailing surrogate shall be handled as a single
  // code point in matching.
  func testSupplementaryCodePoints() {
    // Must have new stdlib for character class ranges.
    guard ensureNewStdlib() else { return }

    XCTAssertTrue("👍".contains(regex(#"\u{1F44D}"#)))
    XCTAssertTrue("👍".contains(regex(#"[\u{1F440}-\u{1F44F}]"#)))
    XCTAssertTrue("👍👎".contains(regex(#"^[\u{1F440}-\u{1F44F}]+$"#)))
  }
}

// MARK: - Extended Unicode Support: Level 2

// C2.  An implementation claiming conformance to Level 2 of this specification
// shall satisfy C1, and meet the requirements described in the following
// sections:
extension UTS18Tests {
  // RL2.1 Canonical Equivalents
  //
  // Specific recommendation?
  func testCanonicalEquivalents() {
    let equivalents = [
      "\u{006f}\u{031b}\u{0323}",     // o + horn + dot_below
      "\u{006f}\u{0323}\u{031b}",     // o + dot_below + horn
      "\u{01a1}\u{0323}",             // o-horn + dot_below
      "\u{1ecd}\u{031b}",             // o-dot_below + horn
      "\u{1ee3}",                     // o-horn-dot_below
    ]
    
    let regexes = [
      regex(#"\u{006f}\u{031b}\u{0323}"#),   // o + horn + dot_below
      regex(#"\u{006f}\u{0323}\u{031b}"#),   // o + dot_below + horn
      regex(#"\u{01a1}\u{0323}"#),           // o-horn + dot_below
      regex(#"\u{1ecd}\u{031b}"#),           // o-dot_below + horn
      regex(#"\u{1ee3}"#),                   // o-horn-dot_below
    ]

    // Default: Grapheme cluster semantics
    for (regexNum, regex) in regexes.enumerated() {
      for (equivNum, equiv) in equivalents.enumerated() {
        XCTAssertTrue(
          equiv.contains(regex),
          "Grapheme cluster semantics: Regex \(regexNum) didn't match with string \(equivNum)")
      }
    }
    
    // Unicode scalar semantics
    for (regexNum, regex) in regexes.enumerated() {
      for (equivNum, equiv) in equivalents.enumerated() {
        let regex = regex.matchingSemantics(.unicodeScalar)
        if regexNum == equivNum {
          XCTAssertTrue(
            equiv.contains(regex),
            "Unicode scalar semantics: Regex \(regexNum) didn't match with string \(equivNum)")
        } else {
          XCTAssertFalse(
            equiv.contains(regex),
            "Unicode scalar semantics: Regex \(regexNum) incorrectly matched with string \(equivNum)")
        }
      }
    }
  }
  
  // RL2.2 Extended Grapheme Clusters and Character Classes with Strings
  //
  // To meet this requirement, an implementation shall provide a mechanism for
  // matching against an arbitrary extended grapheme cluster, Character Classes
  // with Strings, and extended grapheme cluster boundaries.
  func testExtendedGraphemeClusters() {
    XCTAssertTrue("abcdef🇬🇭".contains(regex(#"abcdef.$"#)))
    XCTAssertTrue("abcdef🇬🇭".contains(regex(#"abcdef\X$"#)))
    XCTAssertTrue("abcdef🇬🇭".contains(regex(#"abcdef\X$"#).matchingSemantics(.unicodeScalar)))
    XCTAssertTrue("abcdef🇬🇭".contains(regex(#"abcdef.+\y"#).matchingSemantics(.unicodeScalar)))
    XCTAssertFalse("abcdef🇬🇭".contains(regex(#"abcdef.$"#).matchingSemantics(.unicodeScalar)))
  }
  
  func testCharacterClassesWithStrings() {
    // Must have new stdlib for character class ranges.
    guard ensureNewStdlib() else { return }

    let regex = regex(#"[a-z🧐🇧🇪🇧🇫🇧🇬]"#)
    XCTAssertEqual("🧐", "🧐".wholeMatch(of: regex)?.0)
    XCTAssertEqual("🇧🇫", "🇧🇫".wholeMatch(of: regex)?.0)
    XCTAssertEqual("🧐", "🧐".wholeMatch(of: regex.matchingSemantics(.unicodeScalar))?.0)
    XCTAssertEqual(nil, "🇧🇫".wholeMatch(of: regex.matchingSemantics(.unicodeScalar))?.0)
    XCTAssertEqual("🧐", "🧐".firstMatch(of: regex.matchingSemantics(.unicodeScalar))?.0)
    XCTAssertEqual("\u{1f1e7}", "🇧🇫".firstMatch(of: regex.matchingSemantics(.unicodeScalar))?.0)
  }
  
  // RL2.3 Default Word Boundaries
  //
  // To meet this requirement, an implementation shall provide a mechanism for
  // matching Unicode default word boundaries.
  func testDefaultWordBoundaries() {
    XCTExpectFailure { XCTFail("Implement tests") }
  }

  // RL2.4 Default Case Conversion
  //
  // To meet this requirement, if an implementation provides for case
  // conversions, then it shall provide at least the full, default Unicode case
  // folding.
  func testDefaultCaseConversion() {
    XCTExpectFailure { XCTFail("Implement tests") }
  }
  
  // RL2.5 Name Properties
  //
  // To meet this requirement, an implementation shall support individually
  // named characters.
  func testNameProperty() throws {
    // Name property
    XCTAssertTrue("\u{FEFF}".contains(regex(#"\p{name=ZERO WIDTH NO-BREAK SPACE}"#)))
    // Name property and Matching Rules
    XCTAssertTrue("\u{FEFF}".contains(regex(#"\p{name=zerowidthno breakspace}"#)))
    
    // Computed name
    XCTAssertTrue("강".contains(regex(#"\p{name=HANGUL SYLLABLE GANG}"#)))
    
    // Graphic symbol
    XCTAssertTrue("\u{1F514}".contains(regex(#"\p{name=BELL}"#)))
    
    // Name match failures
    XCTAssertFalse("\u{FEFF}".contains(regex(#"\p{name=ZERO WIDTH NO-BRAKE SPACE}"#)))
    XCTAssertFalse("\u{FEFF}".contains(regex(#"\p{name=ZERO WIDTH NO-BREAK SPACE ZZZZ}"#)))
    XCTAssertFalse("\u{FEFF}".contains(regex(#"\p{name=ZERO WIDTH NO-BREAK}"#)))
    XCTAssertFalse("\u{FEFF}".contains(regex(#"\p{name=z}"#)))
  }
  
  func testNameProperty_XFail() throws {
    XCTExpectFailure("Need more expansive name alias matching") {
      // Name_Alias property
      XCTAssertTrue("\u{FEFF}".contains(regex(#"\p{name=BYTE ORDER MARK}"#)))
      // Name_Alias property (again)
      XCTAssertTrue("\u{FEFF}".contains(regex(#"\p{name=BOM}"#)))
      
      // Control character
      XCTAssertTrue("\u{7}".contains(regex(#"\p{name=BEL}"#)))
    }
  }
  
  func testIndividuallyNamedCharacters() {
    XCTAssertTrue("\u{263A}".contains(regex(#"\N{WHITE SMILING FACE}"#)))
    XCTAssertTrue("\u{3B1}".contains(regex(#"\N{GREEK SMALL LETTER ALPHA}"#)))
    XCTAssertTrue("\u{10450}".contains(regex(#"\N{SHAVIAN LETTER PEEP}"#)))
    
    XCTAssertTrue("\u{FEFF}".contains(regex(#"\N{ZERO WIDTH NO-BREAK SPACE}"#)))
    XCTAssertTrue("강".contains(regex(#"\N{HANGUL SYLLABLE GANG}"#)))
    XCTAssertTrue("\u{1F514}".contains(regex(#"\N{BELL}"#)))
    XCTAssertTrue("🐯".contains(regex(#"\N{TIGER FACE}"#)))
    XCTAssertFalse("🐯".contains(regex(#"\N{TIEGR FACE}"#)))

    // Loose matching
    XCTAssertTrue("\u{263A}".contains(regex(#"\N{whitesmilingface}"#)))
    XCTAssertTrue("\u{263A}".contains(regex(#"\N{wHiTe_sMiLiNg_fAcE}"#)))
    XCTAssertTrue("\u{263A}".contains(regex(#"\N{White Smiling-Face}"#)))
    XCTAssertTrue("\u{FEFF}".contains(regex(#"\N{zerowidthno breakspace}"#)))

    // Matching semantic level
    XCTAssertFalse("👩‍👩‍👧‍👦".contains(regex(#".\N{ZERO WIDTH JOINER}"#)))
    
    // FIXME: Figure out (?X) and (?u) semantics
    XCTExpectFailure("Figure out (?X) and (?u) semantics") {
      XCTFail(#"(?u).\N{ZERO WIDTH JOINER}"#)
      //XCTAssertTrue("👩‍👩‍👧‍👦".contains(regex(#"(?u).\N{ZERO WIDTH JOINER}"#)))
    }
  }

  func testIndividuallyNamedCharacters_XFail() {
    XCTExpectFailure("Need to support named chars in custom character classes") {
      XCTFail(#"[\N{GREEK SMALL LETTER ALPHA}-\N{GREEK SMALL LETTER BETA}]+"#)
      // XCTAssertTrue("^\u{3B1}\u{3B2}$".contains(#/[\N{GREEK SMALL LETTER ALPHA}-\N{GREEK SMALL LETTER BETA}]+/#))
    }
    
    XCTExpectFailure("Other named char failures -- name aliases") {
      XCTAssertTrue("\u{C}".contains(regex(#"\N{FORM FEED}"#)))
      XCTAssertTrue("\u{FEFF}".contains(regex(#"\N{BYTE ORDER MARK}"#)))
      XCTAssertTrue("\u{FEFF}".contains(regex(#"\N{BOM}"#)))
      XCTAssertTrue("\u{7}".contains(regex(#"\N{BEL}"#)))
    }
    
    XCTExpectFailure("Need to recognize invalid names at compile time") {
      XCTFail("This should be a compilation error, not a match failure:")
      XCTAssertFalse("abc".contains(regex(#"\N{NOT AN ACTUAL CHARACTER NAME}"#)))
    }
  }

  // RL2.6 Wildcards in Property Values
  //
  // To meet this requirement, an implementation shall support wildcards in
  // Unicode property values.
  func testWildcardsInPropertyValues() {
    // Unsupported
    XCTAssertThrowsError(try Regex(#"\p{name=/a/"#))
  }
  
  // RL2.7 Full Properties
  //
  // To meet this requirement, an implementation shall support all of the
  // properties listed below that are in the supported version of the Unicode
  // Standard (or Unicode Technical Standard, respectively), with values that
  // match the Unicode definitions for that version.
  func testFullProperties() {
    // MARK: General
    // Name (Name_Alias)
    XCTAssertTrue("a".contains(regex(#"\p{name=latin small letter a}"#)))

    // Block
    // Unsupported

    // Age
    XCTAssertTrue("a".contains(regex(#"\p{age=1.1}"#)))
    XCTAssertTrue("a".contains(regex(#"\p{age=V1_1}"#)))
    XCTAssertTrue("a".contains(regex(#"\p{age=14.0}"#)))
    XCTAssertTrue("a".contains(regex(#"\p{age=V99_99}"#)))
    
    XCTAssertTrue("🥱".contains(regex(#"\p{age=12.0}"#)))
    XCTAssertFalse("🥱".contains(regex(#"\p{age=11.0}"#)))

    XCTAssertTrue("⌁".contains(regex(#"\p{age=3.0}"#)))
    XCTAssertFalse("⌁".contains(regex(#"\p{age=2.0}"#)))
    XCTAssertTrue("⌁".contains(regex(#"[\p{age=3.0}--\p{age=2.0}]"#)))

    // General_Category
    XCTAssertTrue("a".contains(regex(#"\p{Ll}"#)))
    XCTAssertTrue("a".contains(regex(#"\p{gc=Ll}"#)))
    XCTAssertTrue("a".contains(regex(#"\p{gc=Ll}"#)))
    XCTAssertFalse("A".contains(regex(#"\p{gc=Ll}"#)))
    XCTAssertTrue("A".contains(regex(#"\p{gc=L}"#)))

    XCTAssertTrue("a".contains(regex(#"\p{Any}"#)))
    XCTAssertTrue("a".contains(regex(#"\p{Assigned}"#)))
    XCTAssertTrue("a".contains(regex(#"\p{ASCII}"#)))

    // Script (Script_Extensions)
    XCTAssertTrue("a".contains(regex(#"\p{script=latin}"#)))
    XCTAssertTrue("강".contains(regex(#"\p{script=hangul}"#)))
    
    // White_Space
    XCTAssertTrue(" ".contains(regex(#"\p{whitespace}"#)))
    XCTAssertTrue("\n".contains(regex(#"\p{White_Space}"#)))
    XCTAssertFalse("a".contains(regex(#"\p{whitespace}"#)))

    // Alphabetic
    XCTAssertTrue("aéîøüƒ".contains(regex(#"^\p{Alphabetic}+$"#)))

    // Hangul_Syllable_Type
    // Unsupported

    // Noncharacter_Code_Point
    XCTAssertTrue("\u{10FFFF}".contains(regex(#"\p{Noncharacter_Code_Point}"#)))
    
    // Default_Ignorable_Code_Point
    XCTAssertTrue("\u{00AD}".contains(regex(#"\p{Default_Ignorable_Code_Point}"#)))

    // Deprecated
    XCTAssertTrue("ʼn".contains(regex(#"\p{Deprecated}"#)))
    // Logical_Order_Exception
    XCTAssertTrue("ແ".contains(regex(#"\p{Logical_Order_Exception}"#)))
    // Variation_Selector
    XCTAssertTrue("\u{FE07}".contains(regex(#"\p{Variation_Selector}"#)))

    // MARK: Numeric
    // Numeric_Value
    XCTAssertTrue("3".contains(regex(#"\p{Numeric_Value=3}"#)))
    XCTAssertFalse("4".contains(regex(#"\p{Numeric_Value=3}"#)))
    XCTAssertTrue("④".contains(regex(#"\p{Numeric_Value=4}"#)))
    XCTAssertTrue("⅕".contains(regex(#"\p{Numeric_Value=0.2}"#)))

    // Numeric_Type
    XCTAssertTrue("3".contains(regex(#"\p{Numeric_Type=Decimal}"#)))
    XCTAssertFalse("4".contains(regex(#"\p{Numeric_Type=Digit}"#)))

    // Hex_Digit
    XCTAssertTrue("0123456789abcdef０１２３４５６７８９ＡＢＣＤＥＦ"
      .contains(regex(#"^\p{Hex_Digit}+$"#)))
    XCTAssertFalse("0123456789abcdefg".contains(regex(#"^\p{Hex_Digit}+$"#)))
    // ASCII_Hex_Digit
    XCTAssertTrue("0123456789abcdef".contains(regex(#"^\p{ASCII_Hex_Digit}+$"#)))
    XCTAssertFalse("0123456789abcdef０１２３４５６７８９ＡＢＣＤＥＦ"
      .contains(regex(#"^\p{ASCII_Hex_Digit}+$"#)))

    // MARK: Identifiers
    // ID_Start
    XCTAssertTrue("ABcd".contains(regex(#"^\p{ID_Start}+$"#)))
    XCTAssertFalse(" ':`-".contains(regex(#"\p{ID_Start}"#)))

    // ID_Continue
    XCTAssertTrue("ABcd_1234".contains(regex(#"^\p{ID_Continue}+$"#)))
    XCTAssertFalse(" ':`-".contains(regex(#"\p{ID_Continue}"#)))
    
    // XID_Start
    XCTAssertTrue("ABcd".contains(regex(#"^\p{XID_Start}+$"#)))
    XCTAssertFalse(" ':`-".contains(regex(#"\p{XID_Start}"#)))

    // XID_Continue
    XCTAssertTrue("ABcd_1234".contains(regex(#"^\p{XID_Continue}+$"#)))
    XCTAssertFalse(" ':`-".contains(regex(#"\p{XID_Continue}"#)))
    
    // Pattern_Syntax
    XCTAssertTrue(".+-:".contains(regex(#"^\p{Pattern_Syntax}+$"#)))
    XCTAssertFalse("abc 123".contains(regex(#"\p{Pattern_Syntax}"#)))
    
    // Pattern_White_Space
    XCTAssertTrue(" \t\n".contains(regex(#"^\p{Pattern_White_Space}+$"#)))
    XCTAssertFalse("abc123".contains(regex(#"\p{Pattern_White_Space}"#)))
    
    // Identifier_Status
    // Unsupported

    // Identifier_Type
    // Unsupported

    // MARK: CJK
    // Ideographic
    XCTAssertTrue("微笑".contains(regex(#"^\p{IsIdeographic}+$"#)))
    XCTAssertFalse("abc123".contains(regex(#"\p{Ideographic}"#)))
    
    // Unified_Ideograph
    XCTAssertTrue("微笑".contains(regex(#"^\p{Unified_Ideograph}+$"#)))
    XCTAssertFalse("abc123".contains(regex(#"\p{Unified_Ideograph}"#)))
    
    // Radical
    XCTAssertTrue("⺁⺂⺆".contains(regex(#"^\p{Radical}+$"#)))
    
    // IDS_Binary_Operator
    XCTAssertTrue("⿰⿸⿻".contains(regex(#"^\p{IDS_Binary_Operator}+$"#)))
    
    // IDS_Trinary_Operator
    XCTAssertTrue("⿲⿳".contains(regex(#"^\p{IDS_Trinary_Operator}+$"#)))

    // Equivalent_Unified_Ideograph
    // Unsupported

    // MARK: Case
    // Uppercase
    XCTAssertTrue("AÉÎØÜ".contains(regex(#"^\p{isUppercase}+$"#)))
    XCTAssertFalse("123abc".contains(regex(#"^\p{isUppercase}+$"#)))

    // Lowercase
    XCTAssertTrue("aéîøü".contains(regex(#"^\p{Lowercase}+$"#)))
    XCTAssertFalse("123ABC".contains(regex(#"\p{Lowercase}+$"#)))

    // Simple_Lowercase_Mapping
    XCTAssertTrue("aAa".contains(regex(#"^\p{Simple_Lowercase_Mapping=a}+$"#)))
    XCTAssertFalse("bBå".contains(regex(#"\p{Simple_Lowercase_Mapping=a}"#)))

    // Simple_Titlecase_Mapping
    XCTAssertTrue("aAa".contains(regex(#"^\p{Simple_Titlecase_Mapping=A}+$"#)))
    XCTAssertFalse("bBå".contains(regex(#"\p{Simple_Titlecase_Mapping=A}"#)))

    // Simple_Uppercase_Mapping
    XCTAssertTrue("aAa".contains(regex(#"^\p{Simple_Uppercase_Mapping=A}+$"#)))
    XCTAssertFalse("bBå".contains(regex(#"\p{Simple_Uppercase_Mapping=A}"#)))

    // Simple_Case_Folding
    // Unsupported

    // Soft_Dotted
    XCTAssertTrue("ijɨʝⅈⅉ".contains(regex(#"^\p{Soft_Dotted}+$"#)))
    XCTAssertFalse("abc 123".contains(regex(#"\p{Soft_Dotted}"#)))

    // Cased
    XCTAssertTrue("A".contains(regex(#"\p{Cased}"#)))
    XCTAssertTrue("A".contains(regex(#"\p{Is_Cased}"#)))
    XCTAssertFalse("0".contains(regex(#"\p{Cased}"#)))

    // Case_Ignorable
    XCTAssertTrue(":".contains(regex(#"\p{Case_Ignorable}"#)))
    XCTAssertFalse("a".contains(regex(#"\p{Case_Ignorable}"#)))

    // Changes_When_Lowercased
    XCTAssertTrue("A".contains(regex(#"\p{Changes_When_Lowercased}"#)))
    XCTAssertTrue("A".contains(regex(#"\p{Changes_When_Lowercased=true}"#)))
    XCTAssertFalse("a".contains(regex(#"\p{Changes_When_Lowercased}"#)))

    // Changes_When_Uppercased
    XCTAssertTrue("a".contains(regex(#"\p{Changes_When_Uppercased}"#)))
    XCTAssertTrue("a".contains(regex(#"\p{Changes_When_Uppercased=true}"#)))
    XCTAssertFalse("A".contains(regex(#"\p{Changes_When_Uppercased}"#)))
    
    // Changes_When_Titlecased
    XCTAssertTrue("a".contains(regex(#"\p{Changes_When_Titlecased=true}"#)))
    XCTAssertFalse("A".contains(regex(#"\p{Changes_When_Titlecased}"#)))

    // Changes_When_Casefolded
    XCTAssertTrue("A".contains(regex(#"\p{Changes_When_Casefolded=true}"#)))
    XCTAssertFalse("a".contains(regex(#"\p{Changes_When_Casefolded}"#)))
    XCTAssertFalse(":".contains(regex(#"\p{Changes_When_Casefolded}"#)))

    // Changes_When_Casemapped
    XCTAssertTrue("a".contains(regex(#"\p{Changes_When_Casemapped}"#)))
    XCTAssertFalse(":".contains(regex(#"\p{Changes_When_Casemapped}"#)))
    
    // MARK: Normalization
    // Canonical_Combining_Class
    XCTAssertTrue("\u{0321}\u{0322}\u{1DD0}".contains(regex(#"^\p{Canonical_Combining_Class=202}+$"#)))
    XCTAssertFalse("123".contains(regex(#"\p{Canonical_Combining_Class=202}"#)))
    
    // Decomposition_Type
    // Unsupported
    
    // NFC_Quick_Check
    // Unsupported
    
    // NFKC_Quick_Check
    // Unsupported
    
    // NFD_Quick_Check
    // Unsupported

    // NFKD_Quick_Check
    // Unsupported

    // NFKC_Casefold
    // Unsupported

    // Changes_When_NFKC_Casefolded
    XCTAssertTrue("ABCÊÖ".contains(regex(#"^\p{Changes_When_NFKC_Casefolded}+$"#)))
    XCTAssertFalse("abc 123".contains(regex(#"\p{Changes_When_NFKC_Casefolded}"#)))

    // MARK: Emoji
    // Emoji
    XCTAssertTrue("🥰🥳🤩".contains(regex(#"^\p{Emoji}+$"#)))
    XCTAssertFalse("abc ◎✩℥".contains(regex(#"\p{Emoji}"#)))

    // Emoji_Presentation
    XCTAssertTrue("⌚☕☔".contains(regex(#"^\p{Emoji_Presentation}+$"#)))
    XCTAssertFalse("abc ǽǮ".contains(regex(#"\p{Emoji_Presentation}"#)))

    // Emoji_Modifier
    XCTAssertTrue("\u{1F3FB}\u{1F3FC}\u{1F3FD}".contains(regex(#"^\p{Emoji_Modifier}+$"#)))
    XCTAssertFalse("🧒".contains(regex(#"\p{Emoji_Modifier}"#)))

    // Emoji_Modifier_Base
    XCTAssertTrue("🧒".contains(regex(#"^\p{Emoji_Modifier_Base}+$"#)))
    XCTAssertFalse("123 🧠".contains(regex(#"\p{Emoji_Modifier_Base}"#)))

    // Emoji_Component
    // Unsupported

    // Extended_Pictographic
    // Unsupported

    // Basic_Emoji*
    // Unsupported

    // Emoji_Keycap_Sequence*
    // Unsupported

    // RGI_Emoji_Modifier_Sequence*
    // Unsupported

    // RGI_Emoji_Flag_Sequence*
    // Unsupported

    // RGI_Emoji_Tag_Sequence*
    // Unsupported

    // RGI_Emoji_ZWJ_Sequence*
    // Unsupported

    // RGI_Emoji*
    // Unsupported

    // MARK: Shaping and Rendering
    // Join_Control
    XCTAssertTrue("\u{200C}\u{200D}".contains(regex(#"^\p{Join_Control}+$"#)))
    XCTAssertFalse("123".contains(regex(#"\p{Join_Control}"#)))

    // Joining_Group
    // Unsupported

    // Joining_Type
    // Unsupported

    // Vertical_Orientation
    // Unsupported

    // Line_Break
    // Unsupported

    // Grapheme_Cluster_Break
    // Unsupported

    // Sentence_Break
    // Unsupported

    // Word_Break
    // Unsupported

    // East_Asian_Width
    // Unsupported

    // Prepended_Concatenation_Mark
    // Unsupported

    // MARK: Bidirectional
    // Bidi_Class
    // Unsupported

    // Bidi_Control
    XCTAssertTrue("\u{200E}\u{200F}\u{2069}".contains(regex(#"^\p{Bidi_Control}+$"#)))
    XCTAssertFalse("abc 123".contains(regex(#"\p{Bidi_Control}"#)))

    // Bidi_Mirrored
    XCTAssertTrue("()<>{}❮❯«»".contains(regex(#"^\p{Bidi_Mirrored}+$"#)))
    XCTAssertFalse("abc 123".contains(regex(#"\p{Bidi_Mirrored}"#)))

    // Bidi_Mirroring_Glyph
    // Unsupported

    // Bidi_Paired_Bracket
    // Unsupported

    // Bidi_Paired_Bracket_Type
    // Unsupported

    // MARK: Miscellaneous
    // Math
    XCTAssertTrue("𝒶𝖇𝕔𝖽𝗲𝘧𝙜𝚑𝛊𝜅𝝀𝝡𝞰𝟙𝟐𝟯𝟺".contains(regex(#"^\p{Math}+$"#)))
    XCTAssertFalse("abc 123".contains(regex(#"\p{Math}"#)))

    // Quotation_Mark
    XCTAssertTrue(#"“«‘"’»”"#.contains(regex(#"^\p{Quotation_Mark}+$"#)))
    XCTAssertFalse("abc 123".contains(regex(#"\p{Quotation_Mark}"#)))

    // Dash
    XCTAssertTrue("—-–".contains(regex(#"^\p{Dash}+$"#)))
    XCTAssertFalse("abc 123".contains(regex(#"\p{Dash}"#)))

    // Sentence_Terminal
    XCTAssertTrue(".!?".contains(regex(#"^\p{Sentence_Terminal}+$"#)))
    XCTAssertFalse("abc 123".contains(regex(#"\p{Sentence_Terminal}"#)))

    // Terminal_Punctuation
    XCTAssertTrue(":?!.".contains(regex(#"^\p{Terminal_Punctuation}+$"#)))
    XCTAssertFalse("abc 123".contains(regex(#"\p{Terminal_Punctuation}"#)))

    // Diacritic
    XCTAssertTrue("¨`^¯ʸ".contains(regex(#"^\p{Diacritic}+$"#)))
    XCTAssertFalse("abc 123".contains(regex(#"\p{Diacritic}"#)))

    // Extender
    XCTAssertTrue("ᪧː々".contains(regex(#"^\p{Extender}+$"#)))
    XCTAssertFalse("abc 123".contains(regex(#"\p{Extender}"#)))

    // Grapheme_Base
    XCTAssertTrue("abc".contains(regex(#"^\p{Grapheme_Base}+$"#)))
    XCTAssertFalse("\u{301}\u{FE0F}".contains(regex(#"\p{Grapheme_Base}"#)))

    // Grapheme_Extend
    XCTAssertTrue("\u{301}\u{302}\u{303}".contains(regex(#"^\p{Grapheme_Extend}+$"#)))
    XCTAssertFalse("abc 123".contains(regex(#"\p{Grapheme_Extend}"#)))

    // Regional_Indicator
    XCTAssertTrue("🇰🇷🇬🇭🇵🇪".contains(regex(#"^\p{Regional_Indicator}+$"#)))
    XCTAssertFalse("abc 123".contains(regex(#"\p{Regional_Indicator}"#)))
  }

  func testFullProperties_Unsupported() {
    // Block
    XCTAssertThrowsError(try Regex(#"\p{block=Block_Elements}"#))

    // Hangul_Syllable_Type
    XCTAssertThrowsError(try Regex(#"\p{Hangul_Syllable_Type=L}/"#))

    // Identifier_Status
    XCTAssertThrowsError(try Regex(#"\p{Identifier_Status=Allowed}"#))
    
    // Identifier_Type
    XCTAssertThrowsError(try Regex(#"\p{Identifier_Type=Inclusion}/"#))

    // Equivalent_Unified_Ideograph
    XCTAssertThrowsError(try Regex(#"\p{Equivalent_Unified_Ideograph=⼚}"#))

    // Simple_Case_Folding
    XCTAssertThrowsError(try Regex(#"\p{Simple_Case_Folding=a}/"#))
    
    // Decomposition_Type
    XCTAssertThrowsError(try Regex(#"\p{Decomposition_Type}"#))
    
    // NFC_Quick_Check
    XCTAssertThrowsError(try Regex(#"\p{NFC_Quick_Check}"#))
    
    // NFKC_Quick_Check
    XCTAssertThrowsError(try Regex(#"\p{NFKC_Quick_Check}"#))
    
    // NFD_Quick_Check
    XCTAssertThrowsError(try Regex(#"\p{NFD_Quick_Check}"#))
    
    // NFKD_Quick_Check
    XCTAssertThrowsError(try Regex(#"\p{NFKD_Quick_Check}"#))
    
    // NFKC_Casefold
    XCTAssertThrowsError(try Regex(#"\p{NFKC_Casefold}"#))

    // Emoji_Component
    XCTAssertThrowsError(try Regex(#"\p{Emoji_Component}"#))

    // Extended_Pictographic
    XCTAssertThrowsError(try Regex(#"\p{Extended_Pictographic}"#))

    // Basic_Emoji*
    XCTAssertThrowsError(try Regex(#"\p{Basic_Emoji*}"#))

    // Emoji_Keycap_Sequence*
    XCTAssertThrowsError(try Regex(#"\p{Emoji_Keycap_Sequence*}"#))

    // RGI_Emoji_Modifier_Sequence*
    XCTAssertThrowsError(try Regex(#"\p{RGI_Emoji_Modifier_Sequence*}"#))

    // RGI_Emoji_Flag_Sequence*
    XCTAssertThrowsError(try Regex(#"\p{RGI_Emoji_Flag_Sequence*}"#))

    // RGI_Emoji_Tag_Sequence*
    XCTAssertThrowsError(try Regex(#"\p{RGI_Emoji_Tag_Sequence*}"#))

    // RGI_Emoji_ZWJ_Sequence*
    XCTAssertThrowsError(try Regex(#"\p{RGI_Emoji_ZWJ_Sequence*}"#))

    // RGI_Emoji*
    XCTAssertThrowsError(try Regex(#"\p{RGI_Emoji*}"#))

    // Joining_Group
    XCTAssertThrowsError(try Regex(#"\p{Joining_Group}"#))

    // Joining_Type
    XCTAssertThrowsError(try Regex(#"\p{Joining_Type}"#))

    // Vertical_Orientation
    XCTAssertThrowsError(try Regex(#"\p{Vertical_Orientation}"#))

    // Line_Break
    XCTAssertThrowsError(try Regex(#"\p{Line_Break}"#))

    // Grapheme_Cluster_Break
    XCTAssertThrowsError(try Regex(#"\p{Grapheme_Cluster_Break}"#))

    // Sentence_Break
    XCTAssertThrowsError(try Regex(#"\p{Sentence_Break}"#))

    // Word_Break
    XCTAssertThrowsError(try Regex(#"\p{Word_Break}"#))

    // East_Asian_Width
    XCTAssertThrowsError(try Regex(#"\p{East_Asian_Width}"#))

    // Prepended_Concatenation_Mark
    XCTAssertThrowsError(try Regex(#"\p{Prepended_Concatenation_Mark}"#))

    // Bidi_Class
    XCTAssertThrowsError(try Regex(#"\p{Bidi_Class}"#))

    // Bidi_Mirroring_Glyph
    XCTAssertThrowsError(try Regex(#"\p{Bidi_Mirroring_Glyph}"#))

    // Bidi_Paired_Bracket
    XCTAssertThrowsError(try Regex(#"\p{Bidi_Paired_Bracket}"#))

    // Bidi_Paired_Bracket_Type
    XCTAssertThrowsError(try Regex(#"\p{Bidi_Paired_Bracket_Type}"#))
  }
}