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

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

test/tools/javac/defaultMethods/Neg12.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 abstract methods are discarded in overload resolution diags
mcimadamore@1393	4	* @compile/fail/ref=Neg12.out -XDallowDefaultMethods -XDrawDiagnostics Neg12.java
mcimadamore@1393	5	*/
mcimadamore@1393	6	class Neg12 {
mcimadamore@1393	7
mcimadamore@1393	8	interface I1 {
mcimadamore@1393	9	default void m(String s) {};
mcimadamore@1393	10	}
mcimadamore@1393	11
mcimadamore@1393	12	interface I2 {
mcimadamore@1393	13	void m(String s);
mcimadamore@1393	14	}
mcimadamore@1393	15
mcimadamore@1393	16	static class B {
mcimadamore@1393	17	void m(Integer i) { }
mcimadamore@1393	18	}
mcimadamore@1393	19
mcimadamore@1393	20	static class C extends B implements I1 { }
mcimadamore@1393	21	static class D extends B implements I2 { }
mcimadamore@1393	22
mcimadamore@1393	23	void test(C c, D d) {
mcimadamore@1393	24	c.m();
mcimadamore@1393	25	d.m();
mcimadamore@1393	26	}
mcimadamore@1393	27	}