launcher/src/main/resources/org/apidesign/bck2brwsr/launcher/harness.xhtml
author Jaroslav Tulach <jaroslav.tulach@apidesign.org>
Tue, 05 Feb 2013 13:19:06 +0100
branchemul
changeset 671 99fa4fe6b980
parent 583 09f051f10096
child 744 341d8ed644df
permissions -rw-r--r--
Don't really initialize the classes. Just pretend they will be initialized so bck2brwsr includes them in transitive closure
     1 <?xml version="1.0" encoding="UTF-8"?>
     2 <!--
     3 
     4     Back 2 Browser Bytecode Translator
     5     Copyright (C) 2012 Jaroslav Tulach <jaroslav.tulach@apidesign.org>
     6 
     7     This program is free software: you can redistribute it and/or modify
     8     it under the terms of the GNU General Public License as published by
     9     the Free Software Foundation, version 2 of the License.
    10 
    11     This program is distributed in the hope that it will be useful,
    12     but WITHOUT ANY WARRANTY; without even the implied warranty of
    13     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    14     GNU General Public License for more details.
    15 
    16     You should have received a copy of the GNU General Public License
    17     along with this program. Look for COPYING file in the top folder.
    18     If not, see http://opensource.org/licenses/GPL-2.0.
    19 
    20 -->
    21 <!DOCTYPE html>
    22 <html xmlns="http://www.w3.org/1999/xhtml">
    23     <head>
    24         <title>Bck2Brwsr Harness</title>
    25     </head>
    26     <body>
    27         <script src="/vm.js"></script>
    28         
    29         <h1>Bck2Brwsr Execution Harness</h1>
    30         
    31         <textarea id="bck2brwsr.result" rows="25" style="width: 100%;" disabled="">
    32         </textarea>
    33 
    34         <div id="bck2brwsr.fragment"/>
    35         
    36         <script type="text/javascript">
    37             vm.loadClass('org.apidesign.bck2brwsr.launcher.impl.Console').harness__VLjava_lang_String_2('$U/../data');
    38         </script>
    39     </body>
    40 </html>