LibTest/core/RegExp/Pattern_semantics/firstMatch_CharacterClass_A02_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 :: [ ^ ClassRanges ]
 * evaluates by evaluating ClassRanges to obtain a CharSet and returning that
 * CharSet and the Boolean true. <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_A2_T1.js-S15.10.2.13_A2_T8.js
 * @author rodionov
 */
import "../../../../Utils/expect.dart";

main() {
  check("[^]a", "a\naba");
  check("a[^]", "   a\t\n");
  check(r"a[^b-z]\s+", "ab an az aY n");
  check("a[^1-9]c", "abc");
  checkNeg("a[^b]c", "abc");
  check("[^a-z]{4}", r"abc#$%def%&*@ghi");
  check("[^]", r"abc#$%def%&*@ghi");
  check(r"[^\b]+", "easy\bto\u0008ride");
}

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\"");
}