launcher/src/main/java/org/apidesign/bck2brwsr/launcher/Bck2BrwsrLauncher.java
author Jaroslav Tulach <jaroslav.tulach@apidesign.org>
Sun, 16 Dec 2012 20:11:18 +0100
branchlauncher
changeset 332 6949044415df
parent 331 7328b7ba2fa4
child 342 60f9aad12731
permissions -rw-r--r--
First steps towards execution harness
jaroslav@323
     1
/**
jaroslav@323
     2
 * Back 2 Browser Bytecode Translator
jaroslav@323
     3
 * Copyright (C) 2012 Jaroslav Tulach <jaroslav.tulach@apidesign.org>
jaroslav@323
     4
 *
jaroslav@323
     5
 * This program is free software: you can redistribute it and/or modify
jaroslav@323
     6
 * it under the terms of the GNU General Public License as published by
jaroslav@323
     7
 * the Free Software Foundation, version 2 of the License.
jaroslav@323
     8
 *
jaroslav@323
     9
 * This program is distributed in the hope that it will be useful,
jaroslav@323
    10
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
jaroslav@323
    11
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
jaroslav@323
    12
 * GNU General Public License for more details.
jaroslav@323
    13
 *
jaroslav@323
    14
 * You should have received a copy of the GNU General Public License
jaroslav@323
    15
 * along with this program. Look for COPYING file in the top folder.
jaroslav@323
    16
 * If not, see http://opensource.org/licenses/GPL-2.0.
jaroslav@323
    17
 */
jaroslav@323
    18
package org.apidesign.bck2brwsr.launcher;
jaroslav@323
    19
jaroslav@323
    20
import java.awt.Desktop;
jaroslav@331
    21
import java.io.IOException;
jaroslav@323
    22
import java.io.InputStream;
jaroslav@323
    23
import java.io.OutputStream;
jaroslav@323
    24
import java.io.Writer;
jaroslav@323
    25
import java.net.URI;
jaroslav@323
    26
import java.net.URL;
jaroslav@323
    27
import java.util.Enumeration;
jaroslav@331
    28
import static org.apidesign.bck2brwsr.launcher.Bck2BrwsrLauncher.copyStream;
jaroslav@323
    29
import org.apidesign.vm4brwsr.Bck2Brwsr;
jaroslav@323
    30
import org.glassfish.grizzly.PortRange;
jaroslav@323
    31
import org.glassfish.grizzly.http.server.HttpHandler;
jaroslav@323
    32
import org.glassfish.grizzly.http.server.HttpServer;
jaroslav@323
    33
import org.glassfish.grizzly.http.server.NetworkListener;
jaroslav@323
    34
import org.glassfish.grizzly.http.server.Request;
jaroslav@323
    35
import org.glassfish.grizzly.http.server.Response;
jaroslav@323
    36
import org.glassfish.grizzly.http.server.ServerConfiguration;
jaroslav@323
    37
jaroslav@323
    38
/**
jaroslav@323
    39
 * Lightweight server to launch Bck2Brwsr applications in real browser.
jaroslav@323
    40
 */
jaroslav@323
    41
public class Bck2BrwsrLauncher {
jaroslav@323
    42
    public static void main( String[] args ) throws Exception {
jaroslav@323
    43
        HttpServer server = HttpServer.createSimpleServer(".", new PortRange(8080, 65535));
jaroslav@323
    44
        final ClassLoader loader = Bck2BrwsrLauncher.class.getClassLoader();
jaroslav@323
    45
        
jaroslav@323
    46
        final ServerConfiguration conf = server.getServerConfiguration();
jaroslav@332
    47
        conf.addHttpHandler(new Page("console.xhtml", 
jaroslav@332
    48
            "org.apidesign.bck2brwsr.launcher.Console", "welcome", "false"
jaroslav@332
    49
        ), "/console");
jaroslav@330
    50
        conf.addHttpHandler(new VM(loader), "/bck2brwsr.js");
jaroslav@332
    51
        conf.addHttpHandler(new VMInit(), "/vm.js");
jaroslav@330
    52
        conf.addHttpHandler(new Classes(loader), "/classes/");
jaroslav@331
    53
        conf.addHttpHandler(new HttpHandler() {
jaroslav@331
    54
            @Override
jaroslav@331
    55
            public void service(Request request, Response response) throws Exception {
jaroslav@331
    56
                String clazz = request.getParameter("class");
jaroslav@331
    57
                String method = request.getParameter("method");
jaroslav@331
    58
                if (clazz == null || method == null) {
jaroslav@331
    59
                    response.setError();
jaroslav@331
    60
                    response.setDetailMessage("Need two parameters: class and method name!");
jaroslav@331
    61
                    return;
jaroslav@331
    62
                }
jaroslav@331
    63
                response.setContentType("text/html");
jaroslav@331
    64
                OutputStream os = response.getOutputStream();
jaroslav@331
    65
                InputStream is = Bck2BrwsrLauncher.class.getResourceAsStream("console.xhtml");
jaroslav@331
    66
                copyStream(is, os, clazz, method, "true");
jaroslav@331
    67
            }
jaroslav@332
    68
        }, "/");
jaroslav@332
    69
        conf.addHttpHandler(new HttpHandler() {
jaroslav@332
    70
            int cnt;
jaroslav@332
    71
            @Override
jaroslav@332
    72
            public void service(Request request, Response response) throws Exception {
jaroslav@332
    73
                response.getWriter().write("{"
jaroslav@332
    74
                    + "className: 'org.apidesign.bck2brwsr.launcher.Console',"
jaroslav@332
    75
                    + "methodName: 'welcome',"
jaroslav@332
    76
                    + "request: " + cnt
jaroslav@332
    77
                    + "}");
jaroslav@332
    78
            }
jaroslav@332
    79
        }, "execute/data");
jaroslav@332
    80
        conf.addHttpHandler(new Page("harness.xhtml"), "/execute");
jaroslav@323
    81
        
jaroslav@323
    82
        server.start();
jaroslav@323
    83
        NetworkListener listener = server.getListeners().iterator().next();
jaroslav@323
    84
        int port = listener.getPort();
jaroslav@323
    85
        
jaroslav@332
    86
        URI uri = new URI("http://localhost:" + port + "/execute");
jaroslav@323
    87
        try {
jaroslav@323
    88
            Desktop.getDesktop().browse(uri);
jaroslav@323
    89
        } catch (UnsupportedOperationException ex) {
jaroslav@323
    90
            String[] cmd = { 
jaroslav@323
    91
                "xdg-open", uri.toString()
jaroslav@323
    92
            };
jaroslav@323
    93
            Runtime.getRuntime().exec(cmd).waitFor();
jaroslav@323
    94
        }
jaroslav@323
    95
        
jaroslav@323
    96
        System.in.read();
jaroslav@323
    97
    }
jaroslav@331
    98
    
jaroslav@331
    99
    static void copyStream(InputStream is, OutputStream os, String... params) throws IOException {
jaroslav@331
   100
        for (;;) {
jaroslav@331
   101
            int ch = is.read();
jaroslav@331
   102
            if (ch == -1) {
jaroslav@331
   103
                break;
jaroslav@331
   104
            }
jaroslav@331
   105
            if (ch == '$') {
jaroslav@331
   106
                int cnt = is.read() - '0';
jaroslav@331
   107
                if (cnt < params.length) {
jaroslav@331
   108
                    os.write(params[cnt].getBytes());
jaroslav@331
   109
                }
jaroslav@331
   110
            } else {
jaroslav@331
   111
                os.write(ch);
jaroslav@331
   112
            }
jaroslav@331
   113
        }
jaroslav@331
   114
    }
jaroslav@330
   115
jaroslav@332
   116
    private static class Page extends HttpHandler {
jaroslav@332
   117
        private final String resource;
jaroslav@331
   118
        private final String[] args;
jaroslav@331
   119
        
jaroslav@332
   120
        public Page(String resource, String... args) {
jaroslav@332
   121
            this.resource = resource;
jaroslav@331
   122
            this.args = args;
jaroslav@330
   123
        }
jaroslav@330
   124
jaroslav@330
   125
        @Override
jaroslav@330
   126
        public void service(Request request, Response response) throws Exception {
jaroslav@330
   127
            response.setContentType("text/html");
jaroslav@330
   128
            OutputStream os = response.getOutputStream();
jaroslav@332
   129
            InputStream is = Bck2BrwsrLauncher.class.getResourceAsStream(resource);
jaroslav@331
   130
            copyStream(is, os, args);
jaroslav@330
   131
        }
jaroslav@330
   132
    }
jaroslav@330
   133
jaroslav@330
   134
    private static class VM extends HttpHandler {
jaroslav@330
   135
        private final ClassLoader loader;
jaroslav@330
   136
jaroslav@330
   137
        public VM(ClassLoader loader) {
jaroslav@330
   138
            this.loader = loader;
jaroslav@330
   139
        }
jaroslav@330
   140
jaroslav@330
   141
        @Override
jaroslav@330
   142
        public void service(Request request, Response response) throws Exception {
jaroslav@330
   143
            response.setCharacterEncoding("UTF-8");
jaroslav@330
   144
            response.setContentType("text/javascript");
jaroslav@330
   145
            Bck2Brwsr.generate(response.getWriter(), loader);
jaroslav@330
   146
        }
jaroslav@330
   147
    }
jaroslav@332
   148
    private static class VMInit extends HttpHandler {
jaroslav@332
   149
        public VMInit() {
jaroslav@332
   150
        }
jaroslav@332
   151
jaroslav@332
   152
        @Override
jaroslav@332
   153
        public void service(Request request, Response response) throws Exception {
jaroslav@332
   154
            response.setCharacterEncoding("UTF-8");
jaroslav@332
   155
            response.setContentType("text/javascript");
jaroslav@332
   156
            response.getWriter().append(
jaroslav@332
   157
                "function ldCls(res) {\n"
jaroslav@332
   158
                + "  var request = new XMLHttpRequest();\n"
jaroslav@332
   159
                + "  request.open('GET', 'classes/' + res, false);\n"
jaroslav@332
   160
                + "  request.send();\n"
jaroslav@332
   161
                + "  var arr = eval('(' + request.responseText + ')');\n"
jaroslav@332
   162
                + "  return arr;\n"
jaroslav@332
   163
                + "}\n"
jaroslav@332
   164
                + "var vm = new bck2brwsr(ldCls);\n");
jaroslav@332
   165
        }
jaroslav@332
   166
    }
jaroslav@330
   167
jaroslav@330
   168
    private static class Classes extends HttpHandler {
jaroslav@330
   169
        private final ClassLoader loader;
jaroslav@330
   170
jaroslav@330
   171
        public Classes(ClassLoader loader) {
jaroslav@330
   172
            this.loader = loader;
jaroslav@330
   173
        }
jaroslav@330
   174
jaroslav@330
   175
        @Override
jaroslav@330
   176
        public void service(Request request, Response response) throws Exception {
jaroslav@330
   177
            String res = request.getHttpHandlerPath();
jaroslav@330
   178
            if (res.startsWith("/")) {
jaroslav@330
   179
                res = res.substring(1);
jaroslav@330
   180
            }
jaroslav@330
   181
            Enumeration<URL> en = loader.getResources(res);
jaroslav@330
   182
            URL u = null;
jaroslav@330
   183
            while (en.hasMoreElements()) {
jaroslav@330
   184
                u = en.nextElement();
jaroslav@330
   185
            }
jaroslav@330
   186
            if (u == null) {
jaroslav@330
   187
                response.setError();
jaroslav@330
   188
                response.setDetailMessage("Can't find resource " + res);
jaroslav@330
   189
            }
jaroslav@330
   190
            response.setContentType("text/javascript");
jaroslav@330
   191
            InputStream is = u.openStream();
jaroslav@330
   192
            Writer w = response.getWriter();
jaroslav@330
   193
            w.append("[");
jaroslav@330
   194
            for (int i = 0;; i++) {
jaroslav@330
   195
                int b = is.read();
jaroslav@330
   196
                if (b == -1) {
jaroslav@330
   197
                    break;
jaroslav@330
   198
                }
jaroslav@330
   199
                if (i > 0) {
jaroslav@330
   200
                    w.append(", ");
jaroslav@330
   201
                }
jaroslav@330
   202
                if (i % 20 == 0) {
jaroslav@330
   203
                    w.write("\n");
jaroslav@330
   204
                }
jaroslav@330
   205
                if (b > 127) {
jaroslav@330
   206
                    b = b - 256;
jaroslav@330
   207
                }
jaroslav@330
   208
                w.append(Integer.toString(b));
jaroslav@330
   209
            }
jaroslav@330
   210
            w.append("\n]");
jaroslav@330
   211
        }
jaroslav@330
   212
    }
jaroslav@323
   213
}