| // 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 Dart source text is represented as a sequence of Unicode code |
| * points. |
| * LETTER: |
| * 'a' .. 'z' | |
| * 'A' .. 'Z' |
| * ; |
| * DIGIT: |
| * '0' .. '9' |
| * ; |
| * WHITESPACE: |
| * ('\t' | ' ' | NEWLINE)+ |
| * ; |
| * @description Checks that a hex-encoded unicode value (\u000a) appearing in |
| * the source text is not translated to a corresponding symbol (like in Java) |
| * and therefore produces a compile-time error. |
| * @compile-error |
| * @author iefremov |
| */ |
| |
| main() { |
| \u000a |
| } |
