test/tools/javac/processing/model/type/NoTypes.java

Sat, 01 Dec 2007 00:00:00 +0000

author
duke
date
Sat, 01 Dec 2007 00:00:00 +0000
changeset 1
9a66ca7c79fa
child 495
fe17a9dbef03
permissions
-rw-r--r--

Initial load

duke@1 1 /*
duke@1 2 * Copyright 2006 Sun Microsystems, Inc. All Rights Reserved.
duke@1 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@1 4 *
duke@1 5 * This code is free software; you can redistribute it and/or modify it
duke@1 6 * under the terms of the GNU General Public License version 2 only, as
duke@1 7 * published by the Free Software Foundation.
duke@1 8 *
duke@1 9 * This code is distributed in the hope that it will be useful, but WITHOUT
duke@1 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@1 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@1 12 * version 2 for more details (a copy is included in the LICENSE file that
duke@1 13 * accompanied this code).
duke@1 14 *
duke@1 15 * You should have received a copy of the GNU General Public License version
duke@1 16 * 2 along with this work; if not, write to the Free Software Foundation,
duke@1 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@1 18 *
duke@1 19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
duke@1 20 * CA 95054 USA or visit www.sun.com if you need additional information or
duke@1 21 * have any questions.
duke@1 22 */
duke@1 23
duke@1 24 /*
duke@1 25 * @test
duke@1 26 * @bug 6418666 6423973 6453386
duke@1 27 * @summary Test the NoTypes: VOID, PACKAGE, NONE
duke@1 28 * @author Scott Seligman
duke@1 29 * @compile -g NoTypes.java
duke@1 30 * @compile -processor NoTypes -proc:only NoTypes.java
duke@1 31 */
duke@1 32
duke@1 33 import java.util.Set;
duke@1 34 import javax.annotation.processing.*;
duke@1 35 import javax.lang.model.SourceVersion;
duke@1 36 import javax.lang.model.element.*;
duke@1 37 import javax.lang.model.type.*;
duke@1 38 import javax.lang.model.util.*;
duke@1 39
duke@1 40 import static javax.lang.model.type.TypeKind.*;
duke@1 41
duke@1 42
duke@1 43 @SupportedSourceVersion(SourceVersion.RELEASE_6)
duke@1 44 @SupportedAnnotationTypes("*")
duke@1 45 public class NoTypes extends AbstractProcessor {
duke@1 46
duke@1 47 Elements elements;
duke@1 48 Types types;
duke@1 49
duke@1 50 public void init(ProcessingEnvironment penv) {
duke@1 51 super.init(penv);
duke@1 52 elements = penv.getElementUtils();
duke@1 53 types = penv.getTypeUtils();
duke@1 54 }
duke@1 55
duke@1 56 public boolean process(Set<? extends TypeElement> annoTypes,
duke@1 57 RoundEnvironment round) {
duke@1 58 if (!round.processingOver())
duke@1 59 doit(annoTypes, round);
duke@1 60 return true;
duke@1 61 }
duke@1 62
duke@1 63 private void doit(Set<? extends TypeElement> annoTypes,
duke@1 64 RoundEnvironment round) {
duke@1 65
duke@1 66 // The superclass of Object is NONE.
duke@1 67 TypeElement object = elements.getTypeElement("java.lang.Object");
duke@1 68 verifyKind(NONE, object.getSuperclass());
duke@1 69
duke@1 70 // The enclosing type of a top-level class is NONE
duke@1 71 verifyKind(NONE, ((DeclaredType)object.asType()).getEnclosingType());
duke@1 72
duke@1 73 // The superclass of an interface is NONE.
duke@1 74 TypeElement i = elements.getTypeElement("NoTypes.I");
duke@1 75 verifyKind(NONE, i.getSuperclass());
duke@1 76
duke@1 77 // The type of a package is PACKAGE.
duke@1 78 Element pkg = i.getEnclosingElement().getEnclosingElement();
duke@1 79 verifyKind(PACKAGE, pkg.asType());
duke@1 80
duke@1 81 // A package isn't enclosed. Not yet, anyway.
duke@1 82 if (pkg.getEnclosingElement() != null)
duke@1 83 throw new AssertionError();
duke@1 84
duke@1 85 verifyKind(VOID, types.getNoType(VOID));
duke@1 86 verifyKind(NONE, types.getNoType(NONE));
duke@1 87
duke@1 88 // The return type of a constructor or void method is VOID.
duke@1 89 class Scanner extends ElementScanner6<Void, Void> {
duke@1 90 @Override
duke@1 91 public Void visitExecutable(ExecutableElement e, Void p) {
duke@1 92 verifyKind(VOID, e.getReturnType());
duke@1 93 ExecutableType t = (ExecutableType) e.asType();
duke@1 94 verifyKind(VOID, t.getReturnType());
duke@1 95 return null;
duke@1 96 }
duke@1 97 }
duke@1 98 TypeElement c = elements.getTypeElement("NoTypes.C");
duke@1 99 new Scanner().scan(c);
duke@1 100 }
duke@1 101
duke@1 102 /**
duke@1 103 * Verify that a NoType instance is of a particular kind,
duke@1 104 * and that TypeKindVisitor6 properly dispatches on it.
duke@1 105 */
duke@1 106 private void verifyKind(TypeKind kind, TypeMirror type) {
duke@1 107 class Vis extends TypeKindVisitor6<TypeKind, Void> {
duke@1 108 @Override
duke@1 109 public TypeKind visitNoTypeAsVoid(NoType t, Void p) {
duke@1 110 return VOID;
duke@1 111 }
duke@1 112 @Override
duke@1 113 public TypeKind visitNoTypeAsPackage(NoType t, Void p) {
duke@1 114 return PACKAGE;
duke@1 115 }
duke@1 116 @Override
duke@1 117 public TypeKind visitNoTypeAsNone(NoType t, Void p) {
duke@1 118 return NONE;
duke@1 119 }
duke@1 120 }
duke@1 121 if (kind != type.getKind() || kind != new Vis().visit(type))
duke@1 122 throw new AssertionError();
duke@1 123 }
duke@1 124
duke@1 125
duke@1 126 // Fodder for the tests
duke@1 127
duke@1 128 interface I {
duke@1 129 }
duke@1 130
duke@1 131 class C {
duke@1 132 C() {}
duke@1 133 void m() {}
duke@1 134 }
duke@1 135 }

mercurial