/*
 *  Licensed to the Apache Software Foundation (ASF) under one
 *  or more contributor license agreements.  See the NOTICE file
 *  distributed with this work for additional information
 *  regarding copyright ownership.  The ASF licenses this file
 *  to you under the Apache License, Version 2.0 (the
 *  "License"); you may not use this file except in compliance
 *  with the License.  You may obtain a copy of the License at
 *
 *    http://www.apache.org/licenses/LICENSE-2.0
 *
 *  Unless required by applicable law or agreed to in writing,
 *  software distributed under the License is distributed on an
 *  "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
 *  KIND, either express or implied.  See the License for the
 *  specific language governing permissions and limitations
 *  under the License.
 */
package org.codehaus.groovy.classgen.asm.sc.bugs

import groovy.transform.stc.StaticTypeCheckingTestCase
import org.codehaus.groovy.classgen.asm.sc.StaticCompilationTestSupport
import org.junit.jupiter.api.Test
import org.junit.jupiter.api.condition.DisabledIfSystemProperty
import org.junit.jupiter.params.ParameterizedTest
import org.junit.jupiter.params.provider.ValueSource
import org.codehaus.groovy.control.CompilerConfiguration;

@DisabledIfSystemProperty(named = CompilerConfiguration.CLOSURE_PACKING, matches = 'true',
    disabledReason = 'inspects private-access bridge bytecode on generated closure classes (astTrees), which do not exist when GEP-27 closure packing is enabled')
final class Groovy7276 extends StaticTypeCheckingTestCase implements StaticCompilationTestSupport {

    @ParameterizedTest
    @ValueSource(strings=['i','i++'])
    void testNoPrivateAccessMethod1(String it) {
        assertScript """
            class Foo {
                private int i = 1
                int m() { new String().with { $it } }
            }
            assert new Foo().m() == 1
        """
        String  closure = astTrees['Foo$_m_closure1'][1]
        assert  closure.contains('GETFIELD Foo.i')
        assert !closure.contains('pfaccess$')
    }

    // GROOVY-7304
    @ParameterizedTest
    @ValueSource(strings=['i','i++'])
    void testNoPrivateAccessMethod2(String it) {
        assertScript """
            class Foo {
                private int i = 1
                int m() { new String().with { $it } }
            }
            class Bar extends Foo {
            }
            assert new Bar().m() == 1
        """
        String  closure = astTrees['Foo$_m_closure1'][1]
        assert  closure.contains('GETFIELD Foo.i')
        assert !closure.contains('pfaccess$')
    }

    @ParameterizedTest
    @ValueSource(strings=['++i','i+=1','i=i+1'])
    void testNoPrivateAccessMethod3(String it) {
        assertScript """
            class Foo {
                private int i = 1
                int m() { new String().with { $it } }
            }
            assert new Foo().m() == 2
        """
        String  closure = astTrees['Foo$_m_closure1'][1]
        assert  closure.contains('GETFIELD Foo.i')
        assert !closure.contains('pfaccess$')
    }

    // GROOVY-7304
    @ParameterizedTest
    @ValueSource(strings=['++i','i+=1','i=i+1'])
    void testNoPrivateAccessMethod4(String it) {
        assertScript """
            class Foo {
                private int i = 1
                int m() { new String().with { $it } }
            }
            class Bar extends Foo {
            }
            assert new Bar().m() == 2
        """
        String  closure = astTrees['Foo$_m_closure1'][1]
        assert  closure.contains('GETFIELD Foo.i')
        assert !closure.contains('pfaccess$')
    }

    // GROOVY-10687
    @Test
    void testNoPrivateAccessMethod5() {
        assertScript '''
            class Foo {
                private int i = 1
                private int pvI() { return i }
                int m() { new String().with { pvI() } }
            }
            assert new Foo().m() == 1
        '''
        String  closure = astTrees['Foo$_m_closure1'][1]
        assert  closure.contains('INVOKEVIRTUAL Foo.pvI ()I')
        assert !closure.contains('access$')
    }

    // GROOVY-10687
    @Test
    void testNoPrivateAccessMethod6() {
        assertScript '''
            class Foo {
                private int i = 1
                private int pvI() { return i }
                int m() { new String().with { pvI() } }
            }
            class Bar extends Foo {
            }
            assert new Bar().m() == 1
        '''
        String  closure = astTrees['Foo$_m_closure1'][1]
        assert  closure.contains('INVOKEVIRTUAL Foo.pvI ()I')
        assert !closure.contains('access$')
    }

    // GROOVY-10687
    @Test
    void testPrivateAccessInInnerClass() {
        assertScript '''
            class Outer {
                private static class Inner {
                    private Set<String> variablesToCheck = []
                    private void checkAssertions(String name) {
                        Runnable r = { ->
                            def candidates = variablesToCheck.findAll { it == name }
                        }
                        r.run()
                    }
                }
                static void test() {
                    new Inner().checkAssertions('name')
                }
            }
            Outer.test()
        '''
        assert astTrees['Outer'][1].contains('INVOKEVIRTUAL Outer$Inner.checkAssertions (Ljava/lang/String;)V')
        assert astTrees['Outer$Inner$_checkAssertions_closure1'][1].contains('GETFIELD Outer$Inner.variablesToCheck')
    }
}
