author | darcy |
Fri, 02 Feb 2018 10:29:25 -0800 | |
changeset 48723 | 6cb86bf0b51e |
parent 47216 | 71c04702a3d5 |
permissions | -rw-r--r-- |
6593
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
1 |
/* |
30730
d3ce7619db2c
8076543: Add @modules as needed to the langtools tests
akulyakh
parents:
27388
diff
changeset
|
2 |
* Copyright (c) 2010, 2015, Oracle and/or its affiliates. All rights reserved. |
6593
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
3 |
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
4 |
* |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
5 |
* This code is free software; you can redistribute it and/or modify it |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
6 |
* under the terms of the GNU General Public License version 2 only, as |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
7 |
* published by the Free Software Foundation. |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
8 |
* |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
9 |
* This code is distributed in the hope that it will be useful, but WITHOUT |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
10 |
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
11 |
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
12 |
* version 2 for more details (a copy is included in the LICENSE file that |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
13 |
* accompanied this code). |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
14 |
* |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
15 |
* You should have received a copy of the GNU General Public License version |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
16 |
* 2 along with this work; if not, write to the Free Software Foundation, |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
17 |
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
18 |
* |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
19 |
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
20 |
* or visit www.oracle.com if you need additional information or have any |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
21 |
* questions. |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
22 |
*/ |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
23 |
|
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
24 |
/* |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
25 |
* @test |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
26 |
* @bug 6981185 |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
27 |
* @summary com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType |
30730
d3ce7619db2c
8076543: Add @modules as needed to the langtools tests
akulyakh
parents:
27388
diff
changeset
|
28 |
* @modules jdk.compiler |
6593
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
29 |
* @run main TestContainTypes |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
30 |
*/ |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
31 |
|
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
32 |
import java.net.URI; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
33 |
import java.util.Arrays; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
34 |
import java.util.HashSet; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
35 |
import java.util.Set; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
36 |
import javax.annotation.processing.AbstractProcessor; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
37 |
import javax.annotation.processing.RoundEnvironment; |
27388
d694da45bd7a
8062676: Tests which leak lots of file managers should be fixed (group 2)
jjg
parents:
6593
diff
changeset
|
38 |
import javax.annotation.processing.SupportedSourceVersion; |
d694da45bd7a
8062676: Tests which leak lots of file managers should be fixed (group 2)
jjg
parents:
6593
diff
changeset
|
39 |
import javax.lang.model.SourceVersion; |
6593
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
40 |
import javax.lang.model.element.Element; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
41 |
import javax.lang.model.element.TypeElement; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
42 |
import javax.lang.model.element.ExecutableElement; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
43 |
import javax.lang.model.type.TypeMirror; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
44 |
import javax.lang.model.type.DeclaredType; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
45 |
import javax.tools.JavaCompiler; |
27388
d694da45bd7a
8062676: Tests which leak lots of file managers should be fixed (group 2)
jjg
parents:
6593
diff
changeset
|
46 |
import javax.tools.JavaFileManager; |
6593
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
47 |
import javax.tools.JavaFileObject; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
48 |
import javax.tools.SimpleJavaFileObject; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
49 |
import javax.tools.ToolProvider; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
50 |
|
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
51 |
import com.sun.source.util.JavacTask; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
52 |
|
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
53 |
public class TestContainTypes { |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
54 |
|
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
55 |
enum ClassType { |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
56 |
OBJECT("Object"), |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
57 |
NUMBER("Number"), |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
58 |
INTEGER("Integer"), |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
59 |
STRING("String"); |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
60 |
|
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
61 |
String classStub; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
62 |
|
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
63 |
ClassType(String classStub) { |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
64 |
this.classStub = classStub; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
65 |
} |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
66 |
|
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
67 |
boolean subtypeOf(ClassType that) { |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
68 |
switch (that) { |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
69 |
case OBJECT: return true; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
70 |
case NUMBER: return this == NUMBER || this == INTEGER; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
71 |
case INTEGER: return this == INTEGER; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
72 |
case STRING: return this == STRING; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
73 |
default: throw new AssertionError("Bad type kind in subtyping test"); |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
74 |
} |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
75 |
} |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
76 |
} |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
77 |
|
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
78 |
enum ParameterType { |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
79 |
INVARIANT("List<#1>"), |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
80 |
COVARIANT("List<? extends #1>"), |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
81 |
CONTRAVARIANT("List<? super #1>"), |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
82 |
BIVARIANT("List<?>"); |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
83 |
|
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
84 |
String paramTypeStub; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
85 |
|
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
86 |
ParameterType(String paramTypeStub) { |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
87 |
this.paramTypeStub = paramTypeStub; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
88 |
} |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
89 |
|
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
90 |
String instantiate(ClassType ct) { |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
91 |
return paramTypeStub.replace("#1", ct.classStub); |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
92 |
} |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
93 |
|
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
94 |
static boolean contains(ParameterType pt1, ClassType ct1, |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
95 |
ParameterType pt2, ClassType ct2) { |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
96 |
switch (pt1) { |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
97 |
case INVARIANT: return (pt2 == INVARIANT && ct1 == ct2) || |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
98 |
(pt2 == CONTRAVARIANT && ct1 == ct2 && ct1 == ClassType.OBJECT); |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
99 |
case COVARIANT: return ((pt2 == INVARIANT || pt2 == COVARIANT) && |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
100 |
ct2.subtypeOf(ct1)) || |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
101 |
(ct1 == ClassType.OBJECT); |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
102 |
case CONTRAVARIANT: return (pt2 == INVARIANT || pt2 == CONTRAVARIANT) && |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
103 |
ct1.subtypeOf(ct2); |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
104 |
case BIVARIANT: return true; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
105 |
default: throw new AssertionError("Bad type kind in containment test"); |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
106 |
} |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
107 |
} |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
108 |
} |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
109 |
|
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
110 |
static class JavaSource extends SimpleJavaFileObject { |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
111 |
|
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
112 |
final static String sourceStub = |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
113 |
"import java.util.List;\n" + |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
114 |
"@interface ToCheck {}\n" + |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
115 |
"class Test {\n" + |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
116 |
" @ToCheck void test(#A a, #B b) {}\n" + |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
117 |
"}\n"; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
118 |
|
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
119 |
String source; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
120 |
|
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
121 |
public JavaSource(String typeA, String typeB) { |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
122 |
super(URI.create("myfo:/Test.java"), JavaFileObject.Kind.SOURCE); |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
123 |
source = sourceStub.replace("#A", typeA).replace("#B", typeB); |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
124 |
} |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
125 |
|
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
126 |
@Override |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
127 |
public CharSequence getCharContent(boolean ignoreEncodingErrors) { |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
128 |
return source; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
129 |
} |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
130 |
} |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
131 |
|
27388
d694da45bd7a
8062676: Tests which leak lots of file managers should be fixed (group 2)
jjg
parents:
6593
diff
changeset
|
132 |
static final JavaCompiler tool = ToolProvider.getSystemJavaCompiler(); |
d694da45bd7a
8062676: Tests which leak lots of file managers should be fixed (group 2)
jjg
parents:
6593
diff
changeset
|
133 |
static final JavaFileManager fm = tool.getStandardFileManager(null, null, null); |
d694da45bd7a
8062676: Tests which leak lots of file managers should be fixed (group 2)
jjg
parents:
6593
diff
changeset
|
134 |
|
6593
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
135 |
public static void main(String... args) throws Exception { |
27388
d694da45bd7a
8062676: Tests which leak lots of file managers should be fixed (group 2)
jjg
parents:
6593
diff
changeset
|
136 |
try { |
d694da45bd7a
8062676: Tests which leak lots of file managers should be fixed (group 2)
jjg
parents:
6593
diff
changeset
|
137 |
for (ClassType ctA : ClassType.values()) { |
d694da45bd7a
8062676: Tests which leak lots of file managers should be fixed (group 2)
jjg
parents:
6593
diff
changeset
|
138 |
for (ParameterType ptA : ParameterType.values()) { |
d694da45bd7a
8062676: Tests which leak lots of file managers should be fixed (group 2)
jjg
parents:
6593
diff
changeset
|
139 |
for (ClassType ctB : ClassType.values()) { |
d694da45bd7a
8062676: Tests which leak lots of file managers should be fixed (group 2)
jjg
parents:
6593
diff
changeset
|
140 |
for (ParameterType ptB : ParameterType.values()) { |
d694da45bd7a
8062676: Tests which leak lots of file managers should be fixed (group 2)
jjg
parents:
6593
diff
changeset
|
141 |
compileAndCheck(ptA, ctA, ptB, ctB); |
d694da45bd7a
8062676: Tests which leak lots of file managers should be fixed (group 2)
jjg
parents:
6593
diff
changeset
|
142 |
} |
6593
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
143 |
} |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
144 |
} |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
145 |
} |
27388
d694da45bd7a
8062676: Tests which leak lots of file managers should be fixed (group 2)
jjg
parents:
6593
diff
changeset
|
146 |
} finally { |
d694da45bd7a
8062676: Tests which leak lots of file managers should be fixed (group 2)
jjg
parents:
6593
diff
changeset
|
147 |
fm.close(); |
6593
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
148 |
} |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
149 |
} |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
150 |
|
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
151 |
static void compileAndCheck(ParameterType ptA, ClassType ctA, ParameterType ptB, ClassType ctB) throws Exception { |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
152 |
JavaSource source = new JavaSource(ptA.instantiate(ctA), ptB.instantiate(ctB)); |
27388
d694da45bd7a
8062676: Tests which leak lots of file managers should be fixed (group 2)
jjg
parents:
6593
diff
changeset
|
153 |
JavacTask ct = (JavacTask)tool.getTask(null, fm, null, |
6593
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
154 |
null, null, Arrays.asList(source)); |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
155 |
ct.setProcessors(Arrays.asList(new ContainTypesTester(ParameterType.contains(ptA, ctA, ptB, ctB), source))); |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
156 |
System.err.println("A = " + ptA +" / " + ptA.instantiate(ctA)); |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
157 |
System.err.println("B = " + ptB +" / " + ptB.instantiate(ctB)); |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
158 |
System.err.println("Source = " + source.source); |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
159 |
ct.analyze(); |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
160 |
} |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
161 |
|
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
162 |
@SupportedSourceVersion(SourceVersion.RELEASE_7) |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
163 |
static class ContainTypesTester extends AbstractProcessor { |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
164 |
|
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
165 |
boolean expected; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
166 |
JavaSource source; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
167 |
|
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
168 |
ContainTypesTester(boolean expected, JavaSource source) { |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
169 |
this.expected = expected; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
170 |
this.source = source; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
171 |
} |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
172 |
|
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
173 |
@Override |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
174 |
public Set<String> getSupportedAnnotationTypes() { |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
175 |
Set<String> supportedAnnos = new HashSet(); |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
176 |
supportedAnnos.add("*"); |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
177 |
return supportedAnnos; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
178 |
} |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
179 |
|
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
180 |
private void error(String msg) { |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
181 |
System.err.println(source.source); |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
182 |
throw new AssertionError(msg); |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
183 |
} |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
184 |
|
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
185 |
@Override |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
186 |
public boolean process(Set<? extends TypeElement> annotations, RoundEnvironment roundEnv) { |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
187 |
if (roundEnv.getRootElements().size() == 0) { |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
188 |
return true; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
189 |
} |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
190 |
if (annotations.isEmpty() || annotations.size() > 1) { |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
191 |
error("no anno found/wrong number of annotations found: " + annotations.size()); |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
192 |
} |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
193 |
TypeElement anno = (TypeElement)annotations.toArray()[0]; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
194 |
Set<? extends Element> annoElems = roundEnv.getElementsAnnotatedWith(anno); |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
195 |
if (annoElems.isEmpty() || annoElems.size() > 1) { |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
196 |
error("no annotated element found/wrong number of annotated elements found: " + annoElems.size()); |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
197 |
} |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
198 |
Element annoElement = (Element)annoElems.toArray()[0]; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
199 |
if (!(annoElement instanceof ExecutableElement)) { |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
200 |
error("annotated element must be a method"); |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
201 |
} |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
202 |
ExecutableElement method = (ExecutableElement)annoElement; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
203 |
if (method.getParameters().size() != 2) { |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
204 |
error("annotated method must have 2 arguments"); |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
205 |
} |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
206 |
DeclaredType d1 = (DeclaredType)method.getParameters().get(0).asType(); |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
207 |
DeclaredType d2 = (DeclaredType)method.getParameters().get(1).asType(); |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
208 |
if (d1.getTypeArguments().size() != 1 || |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
209 |
d1.getTypeArguments().size() != 1) { |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
210 |
error("parameter type must be generic in one type-variable"); |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
211 |
} |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
212 |
TypeMirror t1 = d1.getTypeArguments().get(0); |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
213 |
TypeMirror t2 = d2.getTypeArguments().get(0); |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
214 |
|
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
215 |
if (processingEnv.getTypeUtils().contains(t1, t2) != expected) { |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
216 |
error("bad type containment result\n" + |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
217 |
"t1 : " + t1 +"\n" + |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
218 |
"t2 : " + t2 +"\n" + |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
219 |
"expected answer : " + expected +"\n"); |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
220 |
} |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
221 |
return true; |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
222 |
} |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
223 |
} |
4d13b5b812ef
6981185: com.sun.tools.model.JavacTypes.contains() calls Type.contains instead of Types.containsType
mcimadamore
parents:
diff
changeset
|
224 |
} |