Sun, 04 Nov 2012 10:59:42 +0000
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=FailOver07.out -XDrawDiagnostics -XDshouldStopPolicy=FLOW -XDdev FailOver07.java |
aoqi@0 | 8 | */ |
aoqi@0 | 9 | |
aoqi@0 | 10 | class Test extends Test { |
aoqi@0 | 11 | Integer x = 1; |
aoqi@0 | 12 | { do {} while (x); } |
aoqi@0 | 13 | } |