/**

  * Back 2 Browser Bytecode Translator

  * Copyright (C) 2012-2015 Jaroslav Tulach <jaroslav.tulach@apidesign.org>

  *

  * This program is free software: you can redistribute it and/or modify

  * it under the terms of the GNU General Public License as published by

  * the Free Software Foundation, version 2 of the License.

  *

  * This program 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 for more details.

  *

  * You should have received a copy of the GNU General Public License

  * along with this program. Look for COPYING file in the top folder.

  * If not, see http://opensource.org/licenses/GPL-2.0.

  */

 package org.apidesign.bck2brwsr.flow;

 import java.io.IOException;

 import javax.script.ScriptEngine;

 import javax.script.ScriptEngineManager;

 import javax.script.ScriptException;

 import org.apidesign.vm4brwsr.Bck2Brwsr.Flow;

 import static org.testng.Assert.*;

 import org.testng.annotations.AfterClass;

 import org.testng.annotations.AfterMethod;

 import org.testng.annotations.BeforeClass;

 import org.testng.annotations.BeforeMethod;

 import org.testng.annotations.Test;

 /**

  *

  * @author Jaroslav Tulach

  */

 public class LoopControlTest {

     private static TestVM vm;

     public LoopControlTest() {

     }

     @BeforeClass

     public static void setUpClass() throws Exception {

         class MyFlow implements Flow.Analyzer {

             boolean called;

             @Override

             public boolean analyze(Flow request) throws IOException {

                 if (

                     request.getMethodName().equals("simpleLoopTest") ||

                     request.getMethodName().equals("simpleLoopTestWithExit") ||

                     false

                 ) {

                     called = true;

                     return GraalFlowAnalyzer.getDefault().analyze(request);

                 } else {

                     return false;

                 }

             }

         }

         MyFlow flow = new MyFlow();

         vm = TestVM.compileClass(null, flow, LoopControl.class.getName().replace('.', '/'));

         assertTrue(flow.called, "We have been consuted about at least one method");

     }

     @AfterClass

     public static void tearDownClass() throws Exception {

         vm = null;

     }

     @BeforeMethod

     public void setUpMethod() throws Exception {

     }

     @AfterMethod

     public void tearDownMethod() throws Exception {

     }

     @Test

     public void testSimpleLoopTest() throws Exception {

         assertFlowControl("simpleLoopTest__II", LoopControl.simpleLoopTest(123));

     }

 //   David, this test is broken due to wrong offsets of instructions

 //    @Test

 //    public void testSimpleLoopWithExitTest() throws Exception {

 //        assertFlowControl("simpleLoopTestWithExit__II", LoopControl.simpleLoopTestWithExit(123));

 //    }

     private void assertFlowControl(final String mangledSig, int exp) throws Exception {

         String code = vm.codeSeq().toString();

         int begin = code.indexOf(mangledSig + " = function");

         assertNotEquals(begin, -1, "Control loop defined for " + mangledSig + " in:\n" + code);

         int end = code.indexOf("m.access = ", begin);

         assertNotEquals(end, -1, "Control loop end defined" + code);

         final String body = code.substring(begin, end);

         assertFalse(body.contains("gt"), "No gt control flow used: " + body);

         ScriptEngine eng = new ScriptEngineManager().getEngineByMimeType("text/javascript");

         try {

             eng.eval(body);

         } catch (ScriptException ex) {

             fail("Cannot parse:\n" + body, ex);

         }

         vm.assertExec("Is the code compilable?", LoopControl.class, mangledSig, exp, 123);

     }

 }