duke@1: /*
darcy@1054:  * Copyright (c) 2006, 2011, Oracle and/or its affiliates. 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:  *
ohair@554:  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
ohair@554:  * or visit www.oracle.com if you need additional information or have any
ohair@554:  * questions.
duke@1:  */
duke@1: 
duke@1: /*
duke@1:  * @test
darcy@1054:  * @bug     6418666 6423973 6453386 7025809
duke@1:  * @summary Test the NoTypes: VOID, PACKAGE, NONE
duke@1:  * @author  Scott Seligman
darcy@699:  * @library ../../../lib
darcy@699:  * @build JavacTestingAbstractProcessor
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: 
darcy@699: public class NoTypes extends JavacTestingAbstractProcessor {
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: 
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.
darcy@1054:         class Scanner extends ElementScanner<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:     /**
darcy@1054:      * Verify that a NoType instance is of a particular kind, and that
darcy@1054:      * the latest TypeKindVisitor properly dispatches on it.
duke@1:      */
duke@1:     private void verifyKind(TypeKind kind, TypeMirror type) {
darcy@1054:         class Vis extends TypeKindVisitor<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:     // Fodder for the tests
duke@1:     interface I {
duke@1:     }
duke@1: 
duke@1:     class C {
duke@1:         C() {}
duke@1:         void m() {}
duke@1:     }
duke@1: }