/*

 * Copyright (c) 2009, 2015, Oracle and/or its affiliates. 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 Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA

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

 * questions.

 */

import java.io.*;

import com.sun.tools.classfile.*;

/*

 * @test

 * @bug 6843077

 * @summary test that typecasts annotation are emitted if only the cast

 *          expression is optimized away

 */

public class TypeCasts {

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

        new TypeCasts().run();

    }

    public void run() throws Exception {

        File javaFile = writeTestFile();

        File classFile = compileTestFile(javaFile);

        ClassFile cf = ClassFile.read(classFile);

        for (Method m: cf.methods) {

            test(cf, m);

        }

        countAnnotations();

        if (errors > 0)

            throw new Exception(errors + " errors found");

        System.out.println("PASSED");

    }

    void test(ClassFile cf, Method m) {

        test(cf, m, Attribute.RuntimeVisibleTypeAnnotations, true);

        test(cf, m, Attribute.RuntimeInvisibleTypeAnnotations, false);

    }

    // test the result of Attributes.getIndex according to expectations

    // encoded in the method's name

    void test(ClassFile cf, Method m, String name, boolean visible) {

        Attribute attr = null;

        Code_attribute cAttr = null;

        int index = m.attributes.getIndex(cf.constant_pool, Attribute.Code);

        if(index!= -1) {

            attr = m.attributes.get(index);

            assert attr instanceof Code_attribute;

            cAttr = (Code_attribute)attr;

            index = cAttr.attributes.getIndex(cf.constant_pool, name);

            if(index!= -1) {

                attr = cAttr.attributes.get(index);

                assert attr instanceof RuntimeTypeAnnotations_attribute;

                RuntimeTypeAnnotations_attribute tAttr = (RuntimeTypeAnnotations_attribute)attr;

                all += tAttr.annotations.length;

                if (visible)

                    visibles += tAttr.annotations.length;

                else

                    invisibles += tAttr.annotations.length;

               }

        }

    }

    File writeTestFile() throws IOException {

        File f = new File("Test.java");

        PrintWriter out = new PrintWriter(new BufferedWriter(new FileWriter(f)));

        out.println("import java.lang.annotation.*;");

        out.println("class Test { ");

        out.println("  @Target(ElementType.TYPE_USE) @interface A { }");

        out.println("  void emit() {");

        out.println("    Object o = null;");

        out.println("    String s = null;");

        out.println("    String a0 = (@A String)o;");

        out.println("    Object a1 = (@A Object)o;");

        out.println("    String b0 = (@A String)s;");

        out.println("    Object b1 = (@A Object)s;");

        out.println("  }");

        out.println("  void alldeadcode() {");

        out.println("    Object o = null;");

        out.println("    if (false) {");

        out.println("      String a0 = (@A String)o;");

        out.println("    }");

        out.println("  }");

        out.println("}");

        out.close();

        return f;

    }

    File compileTestFile(File f) {

        int rc = com.sun.tools.javac.Main.compile(new String[] {"-g", f.getPath() });

        if (rc != 0)

            throw new Error("compilation failed. rc=" + rc);

        String path = f.getPath();

        return new File(path.substring(0, path.length() - 5) + ".class");

    }

    void countAnnotations() {

        int expected_visibles = 0, expected_invisibles = 4;

        int expected_all = expected_visibles + expected_invisibles;

        if (expected_all != all) {

            errors++;

            System.err.println("expected " + expected_all

                    + " annotations but found " + all);

        }

        if (expected_visibles != visibles) {

            errors++;

            System.err.println("expected " + expected_visibles

                    + " visibles annotations but found " + visibles);

        }

        if (expected_invisibles != invisibles) {

            errors++;

            System.err.println("expected " + expected_invisibles

                    + " invisibles annotations but found " + invisibles);

        }

    }

    int errors;

    int all;

    int visibles;

    int invisibles;

}