test/tools/javac/rawDiags/Warning.java

Sun, 04 Nov 2012 10:59:42 +0000

author
mcimadamore
date
Sun, 04 Nov 2012 10:59:42 +0000
changeset 1393
d7d932236fee
parent 611
4172cfff05f0
child 2525
2eb010b6cb22
permissions
-rw-r--r--

7192246: Add type-checking support for default methods
Summary: Add type-checking support for default methods as per Featherweight-Defender document
Reviewed-by: jjg, dlsmith

     1 /*
     2  * @test  /nodynamiccopyright/
     3  * @bug 6177732
     4  * @summary add hidden option to have compiler generate diagnostics in more machine-readable form
     5  * @compile/ref=Warning.out -XDrawDiagnostics -Xlint:unchecked Warning.java
     6  */
     8 import java.util.HashSet;
     9 import java.util.Set;
    11 class Warning
    12 {
    13     static void useUnchecked() {
    14         Set s = new HashSet<String>();
    15         s.add("abc");
    16     }
    17 }

mercurial