1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
|
/*
* Copyright (c) 2021, Oracle and/or its affiliates. All rights reserved.
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
*
* This code is free software; you can redistribute it and/or modify it
* under the terms of the GNU General Public License version 2 only, as
* published by the Free Software Foundation.
*
* This code is distributed in the hope that it will be useful, but WITHOUT
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
* version 2 for more details (a copy is included in the LICENSE file that
* accompanied this code).
*
* You should have received a copy of the GNU General Public License version
* 2 along with this work; if not, write to the Free Software Foundation,
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
*
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
* or visit www.oracle.com if you need additional information or have any
* questions.
*/
/*
* @test
* @bug 8273584
* @summary Verify TypeElement.getSuperclass works for records when j.l.Record is unavailable
* @modules jdk.compiler
*/
import com.sun.source.tree.CompilationUnitTree;
import java.io.IOException;
import java.net.URI;
import java.util.List;
import java.util.Set;
import java.util.stream.StreamSupport;
import javax.lang.model.element.TypeElement;
import javax.tools.JavaCompiler;
import javax.tools.SimpleJavaFileObject;
import javax.tools.ToolProvider;
import com.sun.source.util.JavacTask;
import com.sun.source.util.TreePath;
import com.sun.source.util.Trees;
import javax.lang.model.type.TypeKind;
import javax.lang.model.type.TypeMirror;
import javax.tools.ForwardingJavaFileManager;
import javax.tools.JavaFileManager;
import javax.tools.JavaFileObject;
import static javax.tools.JavaFileObject.Kind.CLASS;
import static javax.tools.JavaFileObject.Kind.SOURCE;
public class RecordsErrorRecovery {
public static void main(String... args) throws IOException {
new RecordsErrorRecovery().getSuperclass();
}
public void getSuperclass() throws IOException {
JavaCompiler c = ToolProvider.getSystemJavaCompiler();
try (JavaFileManager fm = c.getStandardFileManager(null, null, null);
JavaFileManager filtering = new FilteringJavaFileManager(fm)) {
for (String code : new String[] {"record R(String s) {}", "enum E {A}"}) {
JavacTask t = (JavacTask) c.getTask(null, filtering, null, null, null,
List.of(new MyFileObject(code)));
CompilationUnitTree cut = t.parse().iterator().next();
t.analyze();
Trees trees = Trees.instance(t);
TreePath tp = new TreePath(new TreePath(cut), cut.getTypeDecls().get(0));
TypeElement record = (TypeElement) trees.getElement(tp);
TypeMirror superclass = record.getSuperclass();
if (superclass.getKind() != TypeKind.ERROR) {
throw new AssertionError("Unexpected superclass!");
}
}
}
}
class MyFileObject extends SimpleJavaFileObject {
private final String code;
MyFileObject(String code) {
super(URI.create("myfo:///Test.java"), SOURCE);
this.code = code;
}
@Override
public String getCharContent(boolean ignoreEncodingErrors) {
return code;
}
}
private static final class FilteringJavaFileManager extends ForwardingJavaFileManager<JavaFileManager> {
public FilteringJavaFileManager(JavaFileManager fileManager) {
super(fileManager);
}
@Override
public Iterable<JavaFileObject> list(JavaFileManager.Location location,
String packageName,
Set<JavaFileObject.Kind> kinds,
boolean recurse) throws IOException {
Iterable<JavaFileObject> files = super.list(location, packageName, kinds, recurse);
if ("java.lang".equals(packageName)) {
files = StreamSupport.stream(files.spliterator(), false)
.filter(fo -> !fo.isNameCompatible("Record", CLASS))
.filter(fo -> !fo.isNameCompatible("Enum", CLASS))
.toList();
}
return files;
}
}
}
|
