test/tools/javac/failover/FailOver11.java

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

author
mcimadamore
date
Sun, 04 Nov 2012 10:59:42 +0000
changeset 1393
d7d932236fee
parent 0
959103a6100f
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

aoqi@0 1 /*
aoqi@0 2 * @test /nodynamiccopyright/
aoqi@0 3 * @bug 6970584
aoqi@0 4 * @summary Flow.java should be more error-friendly
aoqi@0 5 * @author mcimadamore
aoqi@0 6 *
aoqi@0 7 * @compile/fail/ref=FailOver11.out -XDrawDiagnostics -XDshouldStopPolicy=FLOW -XDdev FailOver11.java
aoqi@0 8 */
aoqi@0 9
aoqi@0 10 class Test extends Test {
aoqi@0 11
aoqi@0 12 boolean cond;
aoqi@0 13
aoqi@0 14 void m(Object o) {}
aoqi@0 15
aoqi@0 16 { m(cond ? null : null); }
aoqi@0 17 }

mercurial