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