/*

 * Copyright (c) 2013, 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.

 */

/*

 * @test

 * @bug 7166455

 * @summary javac doesn't set ACC_STRICT bit on <clinit> for strictfp class

 * @modules jdk.jdeps/com.sun.tools.classfile

 * @run main CheckACC_STRICTFlagOnclinitTest

 */

import java.util.ArrayList;

import java.util.List;

import java.io.File;

import java.io.IOException;

import com.sun.tools.classfile.ClassFile;

import com.sun.tools.classfile.ConstantPoolException;

import com.sun.tools.classfile.Descriptor;

import com.sun.tools.classfile.Descriptor.InvalidDescriptor;

import com.sun.tools.classfile.Method;

import static com.sun.tools.classfile.AccessFlags.ACC_STRICT;

public strictfp class CheckACC_STRICTFlagOnclinitTest {

    private static final String AssertionErrorMessage =

        "All methods should have the ACC_STRICT access flag " +

        "please check output";

    private static final String offendingMethodErrorMessage =

        "Method %s of class %s doesn't have the ACC_STRICT access flag";

    static {

        class Foo {

            class Bar {

                void m11() {}

            }

            void m1() {}

        }

    }

    void m2() {

        class Any {

            void m21() {}

        }

    }

    private List<String> errors = new ArrayList<>();

    public static void main(String[] args)

            throws IOException, ConstantPoolException, InvalidDescriptor {

        new CheckACC_STRICTFlagOnclinitTest().run();

    }

    private void run()

            throws IOException, ConstantPoolException, InvalidDescriptor {

        String testClasses = System.getProperty("test.classes");

        check(testClasses,

              "CheckACC_STRICTFlagOnclinitTest.class",

              "CheckACC_STRICTFlagOnclinitTest$1Foo.class",

              "CheckACC_STRICTFlagOnclinitTest$1Foo$Bar.class",

              "CheckACC_STRICTFlagOnclinitTest$1Any.class");

        if (errors.size() > 0) {

            for (String error: errors) {

                System.err.println(error);

            }

            throw new AssertionError(AssertionErrorMessage);

        }

    }

    void check(String dir, String... fileNames)

        throws

            IOException,

            ConstantPoolException,

            Descriptor.InvalidDescriptor {

        for (String fileName : fileNames) {

            ClassFile classFileToCheck = ClassFile.read(new File(dir, fileName));

            for (Method method : classFileToCheck.methods) {

                if ((method.access_flags.flags & ACC_STRICT) == 0) {

                    errors.add(String.format(offendingMethodErrorMessage,

                            method.getName(classFileToCheck.constant_pool),

                            classFileToCheck.getName()));

                }

            }

        }

    }

}