// 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.10: The production CharacterEscape :: v evaluates by
 * returning the character \u000B
 * @description Checks that \v evaluates to \u000B.
 * @3rdparty sputnik-v1:S15.10.2.10_A1.3_T1.js
 * @author rodionov
 */
import "../../../../Utils/expect.dart";
 

main() {
  RegExp re = new RegExp("\\v");
  Expect.isNotNull(re.firstMatch("\u000B"));
  re = new RegExp("\\v\\v");
  Expect.isNotNull(re.firstMatch("\u000B\u000Basf"));
}