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

test/tools/javac/lambda/MethodReference51.java@5ddecb91d843 (annotated)

test/tools/javac/lambda/MethodReference51.java

Tue, 12 Mar 2013 16:02:43 +0000

author

mcimadamore

date

Tue, 12 Mar 2013 16:02:43 +0000

changeset 1628

5ddecb91d843

parent 1415

01c9d4161882

child 2193

d4cbb671de1c

permissions

-rw-r--r--

8009545: Graph inference: dependencies between inference variables should be set during incorporation
Summary: Move all transitivity checks into the incorporation round
Reviewed-by: jjg

mcimadamore@1415	1	/*
mcimadamore@1415	2	* @test /nodynamiccopyright/
mcimadamore@1415	3	* @bug 8003280
mcimadamore@1415	4	* @summary Add lambda tests
mcimadamore@1415	5	* certain cases of erroneous member reference lookup are not handled by Attr.visitReference
mcimadamore@1415	6	* @compile/fail/ref=MethodReference51.out -XDrawDiagnostics MethodReference51.java
mcimadamore@1415	7	*/
mcimadamore@1415	8	class MethodReference51 {
mcimadamore@1415	9
mcimadamore@1415	10	private static class Foo {
mcimadamore@1415	11	static int j(int i) { return i; }
mcimadamore@1415	12	}
mcimadamore@1415	13
mcimadamore@1415	14	static Foo foo = new Foo();
mcimadamore@1415	15
mcimadamore@1415	16	static void m(String s) { }
mcimadamore@1415	17	static void m(Integer i) { }
mcimadamore@1415	18
mcimadamore@1415	19	static int f(String s) { return 1; }
mcimadamore@1415	20
mcimadamore@1415	21	static int g(Integer i, Number n) { return 1; }
mcimadamore@1415	22	static int g(Number n, Integer i) { return 1; }
mcimadamore@1415	23
mcimadamore@1415	24	int h(int i) { return i; }
mcimadamore@1415	25	}
mcimadamore@1415	26
mcimadamore@1415	27	class TestMethodReference51 {
mcimadamore@1415	28
mcimadamore@1415	29	interface IntSam {
mcimadamore@1415	30	int m(int i);
mcimadamore@1415	31	}
mcimadamore@1415	32
mcimadamore@1415	33	interface IntegerIntegerSam {
mcimadamore@1415	34	int m(Integer i1, Integer i2);
mcimadamore@1415	35	}
mcimadamore@1415	36
mcimadamore@1415	37
mcimadamore@1415	38	static void test() {
mcimadamore@1415	39	IntSam s1 = MethodReference51::unknown; //method not found
mcimadamore@1415	40	IntSam s2 = MethodReference51::f; //inapplicable method
mcimadamore@1415	41	IntSam s3 = MethodReference51::g; //inapplicable methods
mcimadamore@1415	42	IntegerIntegerSam s4 = MethodReference51::g; //ambiguous
mcimadamore@1415	43	IntSam s5 = MethodReference51::h; //static error
mcimadamore@1415	44	IntSam s6 = MethodReference51.foo::j; //inaccessible method
mcimadamore@1415	45	}
mcimadamore@1415	46	}