/*
 *  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

class ReproducibleBytecodeBugs extends StaticTypeCheckingTestCase implements StaticCompilationTestSupport {
    // GROOVY-8142
    void testShouldNotProduceDeterministicBytecode() {
        100.times {
            assertScript '''
            interface Project {
                File file()
            }
            interface FileOperations {
                File file()
            }
            interface ProjectInternal extends Project, FileOperations {
            }

            class Check {
                void test(ProjectInternal p) {
                    def f = p.file()
                }
            }

            def c = new Check()
        '''

            assert astTrees['Check'][1].contains('INVOKEINTERFACE FileOperations.file ()Ljava/io/File;') : "Incorrect bytecode found in iteration $it"
        }
    }

    // GROOVY-8148
    void testShouldAlwaysAddClosureSharedVariablesInSameOrder() {
        100.times {
            assertScript '''
            class Check {
                void test() {
                    def xx = true
                    def moot = "bar"
                    def kr = [:]
                    def zorg = []
                    def cl = {
                        def (x,y,z,t) = [xx, moot, kr , zorg]
                    }
                }
            }

            def c = new Check()
        '''

            def bytecode = astTrees['Check$_test_closure1'][1]
            assertOrdered it, bytecode,
                    'PUTFIELD Check$_test_closure1.xx',
                    'PUTFIELD Check$_test_closure1.moot',
                    'PUTFIELD Check$_test_closure1.kr',
                    'PUTFIELD Check$_test_closure1.zorg'

        }
    }


    private static void assertOrdered(int iteration, String bytecode, String... elements) {
        int start = 0
        elements.eachWithIndex { it, i ->
            start = bytecode.indexOf(it, start)
            if (start == -1) {
                throw new AssertionError("Iteration $iteration - Element [$it] not found in order (expected to find it at index $i)")
            }
        }
    }
}
