LibTest/core/RegExp/Pattern_semantics/firstMatch_CharacterClass_A01_t01.dart

// Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

/// @assertion 15.10.2.13: The production CharacterClass :: [ [lookahead not in
/// {^}] ClassRanges ] evaluates by evaluating ClassRanges to obtain a CharSet
/// and returning that CharSet and the Boolean false.<br/>
/// The production ClassRanges :: [empty] evaluates by returning the empty
/// CharSet.<br/>
/// The production ClassRanges :: NonemptyClassRanges evaluates by evaluating
/// NonemptyClassRanges to obtain a CharSet and returning that CharSet. <br/>
/// NonemptyClassRanges ::<br/>
/// ClassAtom <br/>
/// ClassAtom NonemptyClassRangesNoDash<br/>
/// ClassAtom - ClassAtom ClassRanges<br/>
/// <br/>
/// NonemptyClassRangesNoDash :: <br/>
/// ClassAtom <br/>
/// ClassAtomNoDash NonemptyClassRangesNoDash<br/>
/// ClassAtomNoDash - ClassAtom ClassRanges <br/>
/// <br/>
/// ClassAtom :: <br/> - <br/>
/// ClassAtomNoDash<br/><br/> ClassAtomNoDash :: <br/>
/// SourceCharacter <b>but not one of \ or ] or -</b><br/>
/// \ ClassEscape <br/>
/// <br/>
/// ClassEscape :: <br/>
/// DecimalEscape <br/>
/// b <br/>
/// CharacterEscape<br/>
/// CharacterClassEscape <br/>
/// @description Checks that a valid CharacterClass ([..]) pattern works as
/// described.
/// @3rdparty sputnik-v1:S15.10.2.13_A1_T1.js-S15.10.2.13_A1_T17.js
/// @author rodionov
/// @Issue 1297

import "../../../../Utils/expect.dart";
 

main() {
  check("q[ax-zb](?=\\s+)", "qYqy ");
  check("q[ax-zb](?=\\s+)", "tqaqy ");
  check("q[ax-zb](?=\\s+)", "tqa\t  qy ");
  check("ab[ercst]de", "abcde");
  check("[d-h]+", "abcdefghijkl");
  check("[1234567].{2}", "abc6defghijkl");
  check("[a-c\\d]+", "\n\nabc324234\n");
  check("ab[.]?c", "abc");
  check("a[b]c", "abc");
  check("[a-z][^1-9][a-z]", "a1b  b2c  c3d  def  f4g");
  check(r"[\*&$]{3}", r"123*&$abc");
  check(r"[\d][\n][^\d]", "line1\nline2");
  check(r"[\+--]", ",");
  check("[--0]", "/");
  check("[---]", "-");
  check("[a-cA-C]", "bB");
  check(r"[\u0061-\u007A]", "f");
  checkNeg("[]", "a[b\n[]\tc]d");
  checkNeg("[]a", "\0a\0a");
  checkNeg("a[]", "\0a\0a");
  checkNeg("ab[erst]de", "abcde");
//  check(r"[\d][\12-\14]{1,}[^\d]", "line1\n\n\n\n\nline2");
//  check(r"[\d][\0012-\0014]{1,}[^\d]", "line1\n\n\n\n\nline2"); // issue 1297
}

void check(String pattern, String str) {
  RegExp re = new RegExp(pattern);
  Expect.isNotNull(re.firstMatch(str), "\"$pattern\" !~ \"$str\"");
}

void checkNeg(String pattern, String str) {
  RegExp re = new RegExp(pattern);
  Expect.isNull(re.firstMatch(str), "\"$pattern\" ~ \"$str\"");
}