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

Mon, 15 Feb 2010 20:06:11 -0800

author
darcy
date
Mon, 15 Feb 2010 20:06:11 -0800
changeset 495
fe17a9dbef03
parent 1
9a66ca7c79fa
child 554
9d9f26857129
permissions
-rw-r--r--

6926699: Annotation processing regression tests should typically return SourceVersion.latest
Reviewed-by: jjg

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 @SupportedAnnotationTypes("*")
duke@1 43 public class NoTypes extends AbstractProcessor {
duke@1 44
duke@1 45 Elements elements;
duke@1 46 Types types;
duke@1 47
duke@1 48 public void init(ProcessingEnvironment penv) {
duke@1 49 super.init(penv);
duke@1 50 elements = penv.getElementUtils();
duke@1 51 types = penv.getTypeUtils();
duke@1 52 }
duke@1 53
duke@1 54 public boolean process(Set<? extends TypeElement> annoTypes,
duke@1 55 RoundEnvironment round) {
duke@1 56 if (!round.processingOver())
duke@1 57 doit(annoTypes, round);
duke@1 58 return true;
duke@1 59 }
duke@1 60
darcy@495 61 @Override
darcy@495 62 public SourceVersion getSupportedSourceVersion() {
darcy@495 63 return SourceVersion.latest();
darcy@495 64 }
darcy@495 65
duke@1 66 private void doit(Set<? extends TypeElement> annoTypes,
duke@1 67 RoundEnvironment round) {
duke@1 68
duke@1 69 // The superclass of Object is NONE.
duke@1 70 TypeElement object = elements.getTypeElement("java.lang.Object");
duke@1 71 verifyKind(NONE, object.getSuperclass());
duke@1 72
duke@1 73 // The enclosing type of a top-level class is NONE
duke@1 74 verifyKind(NONE, ((DeclaredType)object.asType()).getEnclosingType());
duke@1 75
duke@1 76 // The superclass of an interface is NONE.
duke@1 77 TypeElement i = elements.getTypeElement("NoTypes.I");
duke@1 78 verifyKind(NONE, i.getSuperclass());
duke@1 79
duke@1 80 // The type of a package is PACKAGE.
duke@1 81 Element pkg = i.getEnclosingElement().getEnclosingElement();
duke@1 82 verifyKind(PACKAGE, pkg.asType());
duke@1 83
duke@1 84 // A package isn't enclosed. Not yet, anyway.
duke@1 85 if (pkg.getEnclosingElement() != null)
duke@1 86 throw new AssertionError();
duke@1 87
duke@1 88 verifyKind(VOID, types.getNoType(VOID));
duke@1 89 verifyKind(NONE, types.getNoType(NONE));
duke@1 90
duke@1 91 // The return type of a constructor or void method is VOID.
duke@1 92 class Scanner extends ElementScanner6<Void, Void> {
duke@1 93 @Override
duke@1 94 public Void visitExecutable(ExecutableElement e, Void p) {
duke@1 95 verifyKind(VOID, e.getReturnType());
duke@1 96 ExecutableType t = (ExecutableType) e.asType();
duke@1 97 verifyKind(VOID, t.getReturnType());
duke@1 98 return null;
duke@1 99 }
duke@1 100 }
duke@1 101 TypeElement c = elements.getTypeElement("NoTypes.C");
duke@1 102 new Scanner().scan(c);
duke@1 103 }
duke@1 104
duke@1 105 /**
duke@1 106 * Verify that a NoType instance is of a particular kind,
duke@1 107 * and that TypeKindVisitor6 properly dispatches on it.
duke@1 108 */
duke@1 109 private void verifyKind(TypeKind kind, TypeMirror type) {
duke@1 110 class Vis extends TypeKindVisitor6<TypeKind, Void> {
duke@1 111 @Override
duke@1 112 public TypeKind visitNoTypeAsVoid(NoType t, Void p) {
duke@1 113 return VOID;
duke@1 114 }
duke@1 115 @Override
duke@1 116 public TypeKind visitNoTypeAsPackage(NoType t, Void p) {
duke@1 117 return PACKAGE;
duke@1 118 }
duke@1 119 @Override
duke@1 120 public TypeKind visitNoTypeAsNone(NoType t, Void p) {
duke@1 121 return NONE;
duke@1 122 }
duke@1 123 }
duke@1 124 if (kind != type.getKind() || kind != new Vis().visit(type))
duke@1 125 throw new AssertionError();
duke@1 126 }
duke@1 127
duke@1 128
duke@1 129 // Fodder for the tests
duke@1 130
duke@1 131 interface I {
duke@1 132 }
duke@1 133
duke@1 134 class C {
duke@1 135 C() {}
duke@1 136 void m() {}
duke@1 137 }
duke@1 138 }

mercurial