• file
• revisions
• annotate
• diff
• comparison
• raw

test/tools/javac/defaultMethods/Neg10.java@d7d932236fee (annotated)

test/tools/javac/defaultMethods/Neg10.java

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

author

mcimadamore

date

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

changeset 1393

d7d932236fee

child 1415

01c9d4161882

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

mcimadamore@1393	1	/*
mcimadamore@1393	2	* @test /nodynamiccopyright/
mcimadamore@1393	3	* @summary check that default overrides are properly type-checked
mcimadamore@1393	4	* @compile/fail/ref=Neg10.out -Werror -Xlint:unchecked -XDallowDefaultMethods -XDrawDiagnostics Neg10.java
mcimadamore@1393	5	*/
mcimadamore@1393	6	class Neg10 {
mcimadamore@1393	7	interface I<X extends Exception> {
mcimadamore@1393	8	default void m() throws X { }
mcimadamore@1393	9	}
mcimadamore@1393	10
mcimadamore@1393	11	static class C1 {
mcimadamore@1393	12	public void m() throws Exception { } //unchecked (throws) override
mcimadamore@1393	13	}
mcimadamore@1393	14
mcimadamore@1393	15	static class C2<Z extends Exception> extends C1 implements I<Z> { }
mcimadamore@1393	16
mcimadamore@1393	17	static class C3<Z extends Exception> implements I<Z> {
mcimadamore@1393	18	public void m() throws Exception { } //unchecked (throws) override
mcimadamore@1393	19	}
mcimadamore@1393	20	}