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