1 /*
  2  * Copyright (c) 2011, 2019, Oracle and/or its affiliates. All rights reserved.
  3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
  4  *
  5  * This code is free software; you can redistribute it and/or modify it
  6  * under the terms of the GNU General Public License version 2 only, as
  7  * published by the Free Software Foundation.
  8  *
  9  * This code is distributed in the hope that it will be useful, but WITHOUT
 10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 12  * version 2 for more details (a copy is included in the LICENSE file that
 13  * accompanied this code).
 14  *
 15  * You should have received a copy of the GNU General Public License version
 16  * 2 along with this work; if not, write to the Free Software Foundation,
 17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
 18  *
 19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
 20  * or visit www.oracle.com if you need additional information or have any
 21  * questions.
 22  */
 23 
 24 /*
 25  * @test
 26  * @bug 7021183 7025809
 27  * @summary 269: assertion failure getting enclosing element of an undefined name
 28  * @modules jdk.compiler/com.sun.tools.javac.code:+open
 29  *          jdk.compiler/com.sun.tools.javac.file
 30  *          jdk.compiler/com.sun.tools.javac.main
 31  *          jdk.compiler/com.sun.tools.javac.model
 32  *          jdk.compiler/com.sun.tools.javac.util
 33  */
 34 
 35 import java.lang.reflect.Field;
 36 
 37 import javax.lang.model.element.Element;
 38 import javax.lang.model.element.ExecutableElement;
 39 import javax.lang.model.element.ModuleElement;
 40 import javax.lang.model.element.PackageElement;
 41 import javax.lang.model.element.TypeElement;
 42 import javax.lang.model.element.TypeParameterElement;
 43 import javax.lang.model.element.UnknownElementException;
 44 import javax.lang.model.element.VariableElement;
 45 import javax.lang.model.type.TypeMirror;
 46 import javax.lang.model.type.UnknownTypeException;
 47 import javax.lang.model.util.*;
 48 
 49 import com.sun.tools.javac.code.Symbol.ClassSymbol;
 50 import com.sun.tools.javac.code.Symbol.Completer;
 51 import com.sun.tools.javac.code.Symbol.ModuleSymbol;
 52 import com.sun.tools.javac.code.Symtab;
 53 import com.sun.tools.javac.file.JavacFileManager;
 54 import com.sun.tools.javac.main.JavaCompiler;
 55 import com.sun.tools.javac.model.JavacTypes;
 56 import com.sun.tools.javac.util.Context;
 57 
 58 /**
 59  * Scan javac Symtab looking for TypeMirrors and Elements, and ensure that
 60  * no exceptions are thrown when used with javax.lang.model visitors.
 61  *
 62  */
 63 public class TestSymtabItems {
 64     public static void main(String... args) throws Exception {
 65         new TestSymtabItems().run();
 66     }
 67 
 68     void run() throws Exception {
 69         Context c = new Context();
 70         JavacFileManager.preRegister(c);
 71         Symtab syms = Symtab.instance(c);
 72         JavacTypes types = JavacTypes.instance(c);
 73         JavaCompiler.instance(c);  // will init ClassReader.sourceCompleter
 74 
 75 //        print("noSymbol", syms.noSymbol);
 76 //        print("errSymbol", syms.errSymbol);
 77 //        print("unknownSymbol", syms.unknownSymbol);
 78 //        print("botType", syms.botType);
 79 //        print("errType", syms.errType);
 80 //        print("unknownType", syms.unknownType);
 81 
 82         for (Field f: Symtab.class.getDeclaredFields()) {
 83 //            System.err.println(f.getType() + " " + f.getName());
 84 
 85             // Temporarily ignore methodHandle and transientMethodHandle
 86             // during API evolution
 87             if (f.getName().toLowerCase().contains("methodhandle"))
 88                 continue;
 89 
 90             //both noModule and unnamedModule claim the unnamed package, ignore noModule for now:
 91             if (f.getName().equals("noModule"))
 92                 continue;
 93 
 94             f.setAccessible(true);
 95             Class<?> ft = f.getType();
 96             if (TypeMirror.class.isAssignableFrom(ft))
 97                 print(f.getName(), (TypeMirror) f.get(syms), types);
 98             else if(Element.class.isAssignableFrom(ft))
 99                 print(f.getName(), (Element) f.get(syms));
100         }
101 
102         if (errors > 0)
103             throw new Exception(errors + " errors occurred");
104     }
105 
106     void print(String label, Element e) {
107         ElemPrinter ep = new ElemPrinter();
108         System.err.println("Test " + label);
109         ep.visit(e);
110         System.err.println();
111     }
112 
113     void print(String label, TypeMirror t, Types types) {
114         TypePrinter tp = new TypePrinter();
115         System.err.println("Test " + label);
116         tp.visit(t, types);
117         System.err.println();
118     }
119 
120     void error(String msg) {
121         System.err.println("Error: " + msg);
122         errors++;
123     }
124 
125     int errors;
126 
127     class ElemPrinter extends ElementScanner14<Void, Void> {
128         @Override
129         public Void visitModule(ModuleElement e, Void p) {
130             show("module", e);
131             indent(+1);
132             if (e.getQualifiedName().contentEquals("jdk.incubator.mvt")) {
133                 //completion of a module with 'requires' directive will fail at this stage.
134                 ((ModuleSymbol) e).completer = Completer.NULL_COMPLETER;
135             } else {
136                 super.visitModule(e, p);
137             }
138             indent(-1);
139             return null;
140         }
141 
142         @Override
143         public Void visitPackage(PackageElement e, Void p) {
144             show("package", e);
145             indent(+1);
146             super.visitPackage(e, p);
147             indent(-1);
148             return null;
149         }
150 
151         @Override
152         public Void visitType(TypeElement e, Void p) {
153             show("type", e);
154             indent(+1);
155             super.visitType(e, p);
156             indent(-1);
157             return null;
158         }
159 
160         @Override
161         public Void visitVariable(VariableElement e, Void p) {
162             show("variable", e);
163             indent(+1);
164             super.visitVariable(e, p);
165             indent(-1);
166             return null;
167         }
168 
169         @Override
170         public Void visitExecutable(ExecutableElement e, Void p) {
171             show("executable", e);
172             indent(+1);
173             super.visitExecutable(e, p);
174             indent(-1);
175             return null;
176         }
177 
178         @Override
179         public Void visitTypeParameter(TypeParameterElement e, Void p) {
180             show("type parameter", e);
181             indent(+1);
182             super.visitTypeParameter(e, p);
183             indent(-1);
184             return null;
185         }
186 
187         @Override
188         public Void visitUnknown(Element e, Void p) {
189             show("unknown", e);
190             indent(+1);
191             try {
192                 super.visitUnknown(e, p);
193             } catch (UnknownElementException ex) {
194                 System.err.println("caught " + ex);
195             }
196             indent(-1);
197             return null;
198         }
199 
200         void indent(int i) {
201             indent += i;
202         }
203 
204         String sp(int w) {
205             StringBuilder sb = new StringBuilder();
206             for (int i = 0; i < w; i++)
207                 sb.append("    ");
208             return sb.toString();
209         }
210 
211         void show(String label, Element e) {
212             System.err.println(sp(indent) + label
213                     + ": mods:" + e.getModifiers()
214                     + " " + e.getSimpleName()
215                     + ", kind: " + e.getKind()
216                     + ", type: " + e.asType()
217                     + ", encl: " + e.getEnclosingElement());
218 
219             // The following checks help establish why NPE might occur when trying to scan children
220             if (e instanceof ClassSymbol) {
221                 ClassSymbol csym = (ClassSymbol) e;
222                 if (csym.members_field == null)
223                     error("members_field is null");
224                 if (csym.type == null)
225                     System.err.println("type is null");
226             }
227         }
228 
229         int indent;
230     };
231 
232     class TypePrinter extends SimpleTypeVisitor14<Void, Types> {
233         @Override
234         public Void defaultAction(TypeMirror m, Types types) {
235             System.err.println(m.getKind() + " " + m + " " + types.asElement(m));
236             return null;
237         }
238 
239         @Override
240         public Void visitUnknown(TypeMirror t, Types types) {
241             try {
242                 return super.visitUnknown(t, types);
243             } catch (UnknownTypeException ex) {
244                 System.err.println("caught " + ex);
245                 return null;
246             }
247         }
248     };
249 }