duke@1: /*
duke@1:  * Copyright 2006 Sun Microsystems, Inc.  All Rights Reserved.
duke@1:  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@1:  *
duke@1:  * This code is free software; you can redistribute it and/or modify it
duke@1:  * under the terms of the GNU General Public License version 2 only, as
duke@1:  * published by the Free Software Foundation.
duke@1:  *
duke@1:  * This code is distributed in the hope that it will be useful, but WITHOUT
duke@1:  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@1:  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
duke@1:  * version 2 for more details (a copy is included in the LICENSE file that
duke@1:  * accompanied this code).
duke@1:  *
duke@1:  * You should have received a copy of the GNU General Public License version
duke@1:  * 2 along with this work; if not, write to the Free Software Foundation,
duke@1:  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@1:  *
duke@1:  * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
duke@1:  * CA 95054 USA or visit www.sun.com if you need additional information or
duke@1:  * have any questions.
duke@1:  */
duke@1: 
duke@1: /*
duke@1:  * @test
duke@1:  * @bug     6418666 6423973 6453386
duke@1:  * @summary Test the NoTypes: VOID, PACKAGE, NONE
duke@1:  * @author  Scott Seligman
duke@1:  * @compile -g NoTypes.java
duke@1:  * @compile -processor NoTypes -proc:only NoTypes.java
duke@1:  */
duke@1: 
duke@1: import java.util.Set;
duke@1: import javax.annotation.processing.*;
duke@1: import javax.lang.model.SourceVersion;
duke@1: import javax.lang.model.element.*;
duke@1: import javax.lang.model.type.*;
duke@1: import javax.lang.model.util.*;
duke@1: 
duke@1: import static javax.lang.model.type.TypeKind.*;
duke@1: 
duke@1: @SupportedAnnotationTypes("*")
duke@1: public class NoTypes extends AbstractProcessor {
duke@1: 
duke@1:     Elements elements;
duke@1:     Types types;
duke@1: 
duke@1:     public void init(ProcessingEnvironment penv) {
duke@1:         super.init(penv);
duke@1:         elements = penv.getElementUtils();
duke@1:         types =  penv.getTypeUtils();
duke@1:     }
duke@1: 
duke@1:     public boolean process(Set<? extends TypeElement> annoTypes,
duke@1:                            RoundEnvironment round) {
duke@1:         if (!round.processingOver())
duke@1:             doit(annoTypes, round);
duke@1:         return true;
duke@1:     }
duke@1: 
darcy@495:     @Override
darcy@495:     public SourceVersion getSupportedSourceVersion() {
darcy@495:         return SourceVersion.latest();
darcy@495:     }
darcy@495: 
duke@1:     private void doit(Set<? extends TypeElement> annoTypes,
duke@1:                       RoundEnvironment round) {
duke@1: 
duke@1:         // The superclass of Object is NONE.
duke@1:         TypeElement object = elements.getTypeElement("java.lang.Object");
duke@1:         verifyKind(NONE, object.getSuperclass());
duke@1: 
duke@1:         // The enclosing type of a top-level class is NONE
duke@1:         verifyKind(NONE, ((DeclaredType)object.asType()).getEnclosingType());
duke@1: 
duke@1:         // The superclass of an interface is NONE.
duke@1:         TypeElement i = elements.getTypeElement("NoTypes.I");
duke@1:         verifyKind(NONE, i.getSuperclass());
duke@1: 
duke@1:         // The type of a package is PACKAGE.
duke@1:         Element pkg = i.getEnclosingElement().getEnclosingElement();
duke@1:         verifyKind(PACKAGE, pkg.asType());
duke@1: 
duke@1:         // A package isn't enclosed.  Not yet, anyway.
duke@1:         if (pkg.getEnclosingElement() != null)
duke@1:             throw new AssertionError();
duke@1: 
duke@1:         verifyKind(VOID, types.getNoType(VOID));
duke@1:         verifyKind(NONE, types.getNoType(NONE));
duke@1: 
duke@1:         // The return type of a constructor or void method is VOID.
duke@1:         class Scanner extends ElementScanner6<Void, Void> {
duke@1:             @Override
duke@1:             public Void visitExecutable(ExecutableElement e, Void p) {
duke@1:                 verifyKind(VOID, e.getReturnType());
duke@1:                 ExecutableType t = (ExecutableType) e.asType();
duke@1:                 verifyKind(VOID, t.getReturnType());
duke@1:                 return null;
duke@1:             }
duke@1:         }
duke@1:         TypeElement c = elements.getTypeElement("NoTypes.C");
duke@1:         new Scanner().scan(c);
duke@1:     }
duke@1: 
duke@1:     /**
duke@1:      * Verify that a NoType instance is of a particular kind,
duke@1:      * and that TypeKindVisitor6 properly dispatches on it.
duke@1:      */
duke@1:     private void verifyKind(TypeKind kind, TypeMirror type) {
duke@1:         class Vis extends TypeKindVisitor6<TypeKind, Void> {
duke@1:             @Override
duke@1:             public TypeKind visitNoTypeAsVoid(NoType t, Void p) {
duke@1:                 return VOID;
duke@1:             }
duke@1:             @Override
duke@1:             public TypeKind visitNoTypeAsPackage(NoType t, Void p) {
duke@1:                 return PACKAGE;
duke@1:             }
duke@1:             @Override
duke@1:             public TypeKind visitNoTypeAsNone(NoType t, Void p) {
duke@1:                 return NONE;
duke@1:             }
duke@1:         }
duke@1:         if (kind != type.getKind() || kind != new Vis().visit(type))
duke@1:             throw new AssertionError();
duke@1:     }
duke@1: 
duke@1: 
duke@1:     // Fodder for the tests
duke@1: 
duke@1:     interface I {
duke@1:     }
duke@1: 
duke@1:     class C {
duke@1:         C() {}
duke@1:         void m() {}
duke@1:     }
duke@1: }