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

test/tools/javac/multicatch/Neg06.java@d7d932236fee (annotated)

test/tools/javac/multicatch/Neg06.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 7002070
aoqi@0	4	*
aoqi@0	5	* @summary If catch clause has an incompatible type, error pointer points to first exception type in list
aoqi@0	6	* @author mcimadamore
aoqi@0	7	* @compile/fail/ref=Neg06.out -XDrawDiagnostics Neg06.java
aoqi@0	8	*
aoqi@0	9	*/
aoqi@0	10
aoqi@0	11	class Neg06 {
aoqi@0	12	void test() {
aoqi@0	13	try { }
aoqi@0	14	catch (String | Integer s) {}
aoqi@0	15	}
aoqi@0	16	}