author | akulyakh |
Thu, 21 May 2015 11:41:04 -0700 | |
changeset 30730 | d3ce7619db2c |
parent 15714 | d9a83ab62853 |
permissions | -rw-r--r-- |
15714
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
1 |
/* |
30730
d3ce7619db2c
8076543: Add @modules as needed to the langtools tests
akulyakh
parents:
15714
diff
changeset
|
2 |
* Copyright (c) 2013, 2015, Oracle and/or its affiliates. All rights reserved. |
15714
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
3 |
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
4 |
* |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
5 |
* This code is free software; you can redistribute it and/or modify it |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
6 |
* under the terms of the GNU General Public License version 2 only, as |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
7 |
* published by the Free Software Foundation. |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
8 |
* |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
9 |
* This code is distributed in the hope that it will be useful, but WITHOUT |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
10 |
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
11 |
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
12 |
* version 2 for more details (a copy is included in the LICENSE file that |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
13 |
* accompanied this code). |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
14 |
* |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
15 |
* You should have received a copy of the GNU General Public License version |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
16 |
* 2 along with this work; if not, write to the Free Software Foundation, |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
17 |
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
18 |
* |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
19 |
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
20 |
* or visit www.oracle.com if you need additional information or have any |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
21 |
* questions. |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
22 |
*/ |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
23 |
|
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
24 |
/* |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
25 |
* @test |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
26 |
* @bug 8007574 |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
27 |
* @summary Test Elements.isFunctionalInterface |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
28 |
* @author Joseph D. Darcy |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
29 |
* @library /tools/javac/lib |
30730
d3ce7619db2c
8076543: Add @modules as needed to the langtools tests
akulyakh
parents:
15714
diff
changeset
|
30 |
* @modules java.compiler |
d3ce7619db2c
8076543: Add @modules as needed to the langtools tests
akulyakh
parents:
15714
diff
changeset
|
31 |
* jdk.compiler |
15714
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
32 |
* @build JavacTestingAbstractProcessor TestIsFunctionalInterface |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
33 |
* @compile -processor TestIsFunctionalInterface TestIsFunctionalInterface.java |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
34 |
*/ |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
35 |
|
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
36 |
import java.util.Set; |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
37 |
import javax.annotation.processing.*; |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
38 |
import javax.lang.model.SourceVersion; |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
39 |
import static javax.lang.model.SourceVersion.*; |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
40 |
import javax.lang.model.element.*; |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
41 |
import javax.lang.model.util.*; |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
42 |
import static javax.lang.model.util.ElementFilter.*; |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
43 |
import static javax.tools.Diagnostic.Kind.*; |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
44 |
import static javax.tools.StandardLocation.*; |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
45 |
import java.io.*; |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
46 |
|
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
47 |
/** |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
48 |
* Test basic workings of Elements.isFunctionalInterface |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
49 |
*/ |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
50 |
public class TestIsFunctionalInterface extends JavacTestingAbstractProcessor { |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
51 |
private int count = 0; |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
52 |
public boolean process(Set<? extends TypeElement> annotations, |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
53 |
RoundEnvironment roundEnv) { |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
54 |
if (!roundEnv.processingOver()) { |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
55 |
for(TypeElement type : typesIn(roundEnv.getElementsAnnotatedWith(ExpectedIsFunInt.class))) { |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
56 |
count++; |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
57 |
System.out.println(type); |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
58 |
if (elements.isFunctionalInterface(type) != |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
59 |
type.getAnnotation(ExpectedIsFunInt.class).value()) { |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
60 |
messager.printMessage(ERROR, |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
61 |
"Mismatch between expected and computed isFunctionalInterface", |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
62 |
type); |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
63 |
} |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
64 |
} |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
65 |
} else { |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
66 |
if (count <= 0) |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
67 |
messager.printMessage(ERROR, "No types with ExpectedIsFunInt processed."); |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
68 |
} |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
69 |
return true; |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
70 |
} |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
71 |
} |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
72 |
|
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
73 |
@interface ExpectedIsFunInt { |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
74 |
boolean value(); |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
75 |
} |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
76 |
|
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
77 |
// Examples below from the lambda specification documents. |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
78 |
|
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
79 |
@ExpectedIsFunInt(false) // Equals is already an implicit member |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
80 |
interface Foo1 { boolean equals(Object obj); } |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
81 |
|
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
82 |
@ExpectedIsFunInt(true) // Bar has one abstract non-Object method |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
83 |
interface Bar1 extends Foo1 { int compare(String o1, String o2); } |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
84 |
|
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
85 |
|
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
86 |
@ExpectedIsFunInt(true) // Comparator has one abstract non-Object method |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
87 |
interface LocalComparator<T> { |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
88 |
boolean equals(Object obj); |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
89 |
int compare(T o1, T o2); |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
90 |
} |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
91 |
|
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
92 |
@ExpectedIsFunInt(false) // Method Object.clone is not public |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
93 |
interface Foo2 { |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
94 |
int m(); |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
95 |
Object clone(); |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
96 |
} |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
97 |
|
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
98 |
interface X1 { int m(Iterable<String> arg); } |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
99 |
interface Y1 { int m(Iterable<String> arg); } |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
100 |
@ExpectedIsFunInt(true) // Two methods, but they have the same signature |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
101 |
interface Z1 extends X1, Y1 {} |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
102 |
|
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
103 |
interface X2 { Iterable m(Iterable<String> arg); } |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
104 |
interface Y2 { Iterable<String> m(Iterable arg); } |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
105 |
@ExpectedIsFunInt(true) // Y.m is a subsignature & return-type-substitutable |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
106 |
interface Z2 extends X2, Y2 {} |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
107 |
|
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
108 |
interface Action<T> { |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
109 |
T doit(); |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
110 |
} |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
111 |
@ExpectedIsFunInt(true) |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
112 |
interface LocalExecutor { <T> T execute(Action<T> a); } |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
113 |
|
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
114 |
interface X5 { <T> T execute(Action<T> a); } |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
115 |
interface Y5 { <S> S execute(Action<S> a); } |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
116 |
@ExpectedIsFunInt(true) // Functional: signatures are "the same" |
d9a83ab62853
8007574: Provide isFunctionalInterface in javax.lang.model
darcy
parents:
diff
changeset
|
117 |
interface Exec5 extends X5, Y5 {} |