/*

 * 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 Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA

 * or visit www.oracle.com if you need additional information or have any

 * questions.

 */

/*

 * @test

 * @summary Checks the annotation types targeting array types

 */

import com.sun.tools.javac.api.JavacTool;

import java.io.File;

import java.io.PrintWriter;

import java.util.Arrays;

import java.util.List;

import java.util.Map;

import java.util.HashMap;

import java.lang.annotation.*;

import javax.tools.JavaFileManager;

import javax.tools.JavaFileObject;

import com.sun.source.tree.*;

import com.sun.source.util.JavacTask;

import com.sun.source.util.TreeScanner;

import javax.tools.StandardJavaFileManager;

public class AnnotatedArrayOrder {

    public static void main(String[] args) throws Exception {

        PrintWriter out = new PrintWriter(System.out, true);

        JavacTool tool = JavacTool.create();

    }

    private static class Scanner extends TreeScanner<Void,Void> {

        public Void visitCompilationUnit(CompilationUnitTree node, Void ignore) {

            super.visitCompilationUnit(node, ignore);

            if (!expectedLocations.isEmpty()) {

                throw new AssertionError("Didn't found all annotations: " + expectedLocations);

            }

            return null;

        }

        private void testAnnotations(List<? extends AnnotationTree> annos, int found) {

            String annotation = annos.get(0).toString();

            if (!expectedLocations.containsKey(annotation))

                throw new AssertionError("Found unexpected annotation: " + annotation + expectedLocations);

            int expected = expectedLocations.get(annotation);

            if (found != expected)

                throw new AssertionError("The expected array length for this error doesn't match");

            expectedLocations.remove(annotation);

        }

        public Void visitAnnotatedType(AnnotatedTypeTree node, Void ignore) {

            testAnnotations(node.getAnnotations(), arrayLength(node));

            return super.visitAnnotatedType(node, ignore);

        }

        private int arrayLength(Tree tree) {

            switch (tree.getKind()) {

            case ARRAY_TYPE:

                return 1 + arrayLength(((ArrayTypeTree)tree).getType());

            case ANNOTATED_TYPE:

                return arrayLength(((AnnotatedTypeTree)tree).getUnderlyingType());

            default:

                return 0;

            }

        }

    }

    // expectedLocations values:

    static Map<String, Integer> expectedLocations = new HashMap<String, Integer>();

    // visited code

    @A String @C [] @B [] field;

    static {

        // Shouldn't find @A(), as it is field annotation

        expectedLocations.put("@B()", 1);

        expectedLocations.put("@C()", 2);

    }

    List<@D String @F [] @E []> typearg;

    static {

        expectedLocations.put("@D()", 0);

        expectedLocations.put("@E()", 1);

        expectedLocations.put("@F()", 2);

    }

    void varargSimple(@G String @H ... vararg1) { }

    static {

        // Shouldn't find @G(), as it is a parameter annotation

        expectedLocations.put("@H()", 1);

    }

    void varargLong(@I String @L [] @K [] @J ... vararg2) { }

    static {

        // Shouldn't find @I(), as it is a parameter annotation

        expectedLocations.put("@J()", 1);

        expectedLocations.put("@K()", 2);

        expectedLocations.put("@L()", 3);

    }

    @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})

    @interface A {}

    @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})

    @interface B {}

    @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})

    @interface C {}

    @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})

    @interface D {}

    @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})

    @interface E {}

    @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})

    @interface F {}

    @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})

    @interface G {}

    @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})

    @interface H {}

    @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})

    @interface I {}

    @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})

    @interface J {}

    @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})

    @interface K {}

    @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})

    @interface L {}

}