test/tools/javac/Digits.java

Wed, 07 Nov 2012 17:20:12 -0800

author
jjg
date
Wed, 07 Nov 2012 17:20:12 -0800
changeset 1402
a1dc543483fc
parent 611
4172cfff05f0
child 2525
2eb010b6cb22
permissions
-rw-r--r--

8003134: CheckResourceKeys issues
Reviewed-by: jjh, bpatel

duke@1 1 /*
duke@1 2 * @test /nodynamiccopyright/
duke@1 3 * @bug 6183529
duke@1 4 * @summary javac gives warnings instead of errors on non-ASCII digits
jjg@611 5 * @compile/fail/ref=Digits.out -XDrawDiagnostics Digits.java
duke@1 6 */
duke@1 7
duke@1 8 class Digits
duke@1 9 {
duke@1 10 public static final double good = 1.23;
duke@1 11 public static final double bad = 1.2\u0663;
duke@1 12 }

mercurial