launcher/src/main/java/org/apidesign/bck2brwsr/launcher/Bck2BrwsrLauncher.java
author Jaroslav Tulach <jaroslav.tulach@apidesign.org>
Fri, 21 Dec 2012 12:49:27 +0100
branchlauncher
changeset 362 a41b238056f4
parent 361 98eb1066dab1
child 363 8b59e6f8c837
permissions -rw-r--r--
Using logger rather than System.err
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@356
    23
import java.io.InterruptedIOException;
jaroslav@323
    24
import java.io.OutputStream;
jaroslav@323
    25
import java.io.Writer;
jaroslav@323
    26
import java.net.URI;
jaroslav@348
    27
import java.net.URISyntaxException;
jaroslav@323
    28
import java.net.URL;
jaroslav@348
    29
import java.util.ArrayList;
jaroslav@361
    30
import java.util.Arrays;
jaroslav@323
    31
import java.util.Enumeration;
jaroslav@348
    32
import java.util.LinkedHashSet;
jaroslav@348
    33
import java.util.List;
jaroslav@348
    34
import java.util.Set;
jaroslav@342
    35
import java.util.concurrent.CountDownLatch;
jaroslav@349
    36
import java.util.concurrent.TimeUnit;
jaroslav@362
    37
import java.util.logging.Level;
jaroslav@362
    38
import java.util.logging.Logger;
jaroslav@356
    39
import javax.script.Invocable;
jaroslav@356
    40
import javax.script.ScriptEngine;
jaroslav@356
    41
import javax.script.ScriptEngineManager;
jaroslav@356
    42
import javax.script.ScriptException;
jaroslav@331
    43
import static org.apidesign.bck2brwsr.launcher.Bck2BrwsrLauncher.copyStream;
jaroslav@323
    44
import org.apidesign.vm4brwsr.Bck2Brwsr;
jaroslav@323
    45
import org.glassfish.grizzly.PortRange;
jaroslav@323
    46
import org.glassfish.grizzly.http.server.HttpHandler;
jaroslav@323
    47
import org.glassfish.grizzly.http.server.HttpServer;
jaroslav@323
    48
import org.glassfish.grizzly.http.server.NetworkListener;
jaroslav@323
    49
import org.glassfish.grizzly.http.server.Request;
jaroslav@323
    50
import org.glassfish.grizzly.http.server.Response;
jaroslav@323
    51
import org.glassfish.grizzly.http.server.ServerConfiguration;
jaroslav@323
    52
jaroslav@323
    53
/**
jaroslav@357
    54
 * Lightweight server to launch Bck2Brwsr applications and tests.
jaroslav@357
    55
 * Supports execution in native browser as well as Java's internal 
jaroslav@357
    56
 * execution engine.
jaroslav@323
    57
 */
jaroslav@323
    58
public class Bck2BrwsrLauncher {
jaroslav@362
    59
    private static final Logger LOG = Logger.getLogger(Bck2BrwsrLauncher.class.getName());
jaroslav@348
    60
    private Set<ClassLoader> loaders = new LinkedHashSet<>();
jaroslav@348
    61
    private List<MethodInvocation> methods = new ArrayList<>();
jaroslav@349
    62
    private long timeOut;
jaroslav@356
    63
    private String sen;
jaroslav@357
    64
    private String showURL;
jaroslav@357
    65
    private final Res resources = new Res();
jaroslav@348
    66
    
jaroslav@348
    67
    
jaroslav@348
    68
    public MethodInvocation addMethod(Class<?> clazz, String method) {
jaroslav@348
    69
        loaders.add(clazz.getClassLoader());
jaroslav@348
    70
        MethodInvocation c = new MethodInvocation(clazz.getName(), method);
jaroslav@348
    71
        methods.add(c);
jaroslav@348
    72
        return c;
jaroslav@348
    73
    }
jaroslav@348
    74
    
jaroslav@349
    75
    public void setTimeout(long ms) {
jaroslav@349
    76
        timeOut = ms;
jaroslav@349
    77
    }
jaroslav@348
    78
    
jaroslav@356
    79
    public void setScriptEngineName(String sen) {
jaroslav@356
    80
        this.sen = sen;
jaroslav@356
    81
    }
jaroslav@357
    82
jaroslav@357
    83
    public void setStartPage(String startpage) {
jaroslav@357
    84
        if (!startpage.startsWith("/")) {
jaroslav@357
    85
            startpage = "/" + startpage;
jaroslav@357
    86
        }
jaroslav@357
    87
        this.showURL = startpage;
jaroslav@357
    88
    }
jaroslav@357
    89
jaroslav@357
    90
    public void addClassLoader(ClassLoader url) {
jaroslav@357
    91
        this.loaders.add(url);
jaroslav@357
    92
    }
jaroslav@356
    93
    
jaroslav@323
    94
    public static void main( String[] args ) throws Exception {
jaroslav@348
    95
        Bck2BrwsrLauncher l = new Bck2BrwsrLauncher();
jaroslav@357
    96
        l.setStartPage("org/apidesign/bck2brwsr/launcher/console.xhtml");
jaroslav@357
    97
        l.addClassLoader(Bck2BrwsrLauncher.class.getClassLoader());
jaroslav@348
    98
        l.execute();
jaroslav@357
    99
        System.in.read();
jaroslav@348
   100
    }
jaroslav@348
   101
jaroslav@348
   102
jaroslav@356
   103
    public void execute() throws IOException {
jaroslav@356
   104
        try {
jaroslav@356
   105
            if (sen != null) {
jaroslav@356
   106
                executeRhino();
jaroslav@357
   107
            } else if (showURL != null) {
jaroslav@357
   108
                HttpServer server = initServer();
jaroslav@357
   109
                server.getServerConfiguration().addHttpHandler(new Page(resources, null), "/");
jaroslav@357
   110
                launchServerAndBrwsr(server, showURL);
jaroslav@356
   111
            } else {
jaroslav@356
   112
                executeInBrowser();
jaroslav@356
   113
            }
jaroslav@356
   114
        } catch (InterruptedException ex) {
jaroslav@356
   115
            final InterruptedIOException iio = new InterruptedIOException(ex.getMessage());
jaroslav@356
   116
            iio.initCause(ex);
jaroslav@356
   117
            throw iio;
jaroslav@356
   118
        } catch (Exception ex) {
jaroslav@356
   119
            if (ex instanceof IOException) {
jaroslav@356
   120
                throw (IOException)ex;
jaroslav@356
   121
            }
jaroslav@356
   122
            if (ex instanceof RuntimeException) {
jaroslav@356
   123
                throw (RuntimeException)ex;
jaroslav@356
   124
            }
jaroslav@356
   125
            throw new IOException(ex);
jaroslav@356
   126
        }
jaroslav@356
   127
    }
jaroslav@356
   128
    
jaroslav@356
   129
    private void executeRhino() throws IOException, ScriptException, NoSuchMethodException {
jaroslav@356
   130
        StringBuilder sb = new StringBuilder();
jaroslav@356
   131
        Bck2Brwsr.generate(sb, new Res());
jaroslav@356
   132
jaroslav@356
   133
        ScriptEngineManager sem = new ScriptEngineManager();
jaroslav@356
   134
        ScriptEngine mach = sem.getEngineByExtension(sen);
jaroslav@356
   135
jaroslav@356
   136
        sb.append(
jaroslav@360
   137
              "\nvar vm = new bck2brwsr(org.apidesign.bck2brwsr.launcher.Console.read);"
jaroslav@356
   138
            + "\nfunction initVM() { return vm; };"
jaroslav@356
   139
            + "\n");
jaroslav@356
   140
jaroslav@356
   141
        Object res = mach.eval(sb.toString());
jaroslav@356
   142
        if (!(mach instanceof Invocable)) {
jaroslav@356
   143
            throw new IOException("It is invocable object: " + res);
jaroslav@356
   144
        }
jaroslav@356
   145
        Invocable code = (Invocable) mach;
jaroslav@356
   146
        
jaroslav@356
   147
        Object vm = code.invokeFunction("initVM");
jaroslav@356
   148
        Object console = code.invokeMethod(vm, "loadClass", Console.class.getName());
jaroslav@356
   149
jaroslav@356
   150
        final MethodInvocation[] cases = this.methods.toArray(new MethodInvocation[0]);
jaroslav@356
   151
        for (MethodInvocation mi : cases) {
jaroslav@356
   152
            mi.result = code.invokeMethod(console, 
jaroslav@356
   153
                "invoke__Ljava_lang_String_2Ljava_lang_String_2Ljava_lang_String_2", 
jaroslav@356
   154
                mi.className, mi.methodName
jaroslav@356
   155
            ).toString();
jaroslav@356
   156
        }
jaroslav@356
   157
    }
jaroslav@356
   158
    
jaroslav@357
   159
    private HttpServer initServer() {
jaroslav@323
   160
        HttpServer server = HttpServer.createSimpleServer(".", new PortRange(8080, 65535));
jaroslav@357
   161
jaroslav@323
   162
        final ServerConfiguration conf = server.getServerConfiguration();
jaroslav@357
   163
        conf.addHttpHandler(new Page(resources, 
jaroslav@357
   164
            "org/apidesign/bck2brwsr/launcher/console.xhtml",
jaroslav@332
   165
            "org.apidesign.bck2brwsr.launcher.Console", "welcome", "false"
jaroslav@332
   166
        ), "/console");
jaroslav@348
   167
        conf.addHttpHandler(new VM(resources), "/bck2brwsr.js");
jaroslav@332
   168
        conf.addHttpHandler(new VMInit(), "/vm.js");
jaroslav@348
   169
        conf.addHttpHandler(new Classes(resources), "/classes/");
jaroslav@357
   170
        return server;
jaroslav@357
   171
    }
jaroslav@357
   172
    
jaroslav@357
   173
    private void executeInBrowser() throws InterruptedException, URISyntaxException, IOException {
jaroslav@357
   174
        final CountDownLatch wait = new CountDownLatch(1);
jaroslav@357
   175
        final MethodInvocation[] cases = this.methods.toArray(new MethodInvocation[0]);
jaroslav@357
   176
        
jaroslav@357
   177
        HttpServer server = initServer();
jaroslav@357
   178
        ServerConfiguration conf = server.getServerConfiguration();
jaroslav@357
   179
        conf.addHttpHandler(new Page(resources, 
jaroslav@357
   180
            "org/apidesign/bck2brwsr/launcher/harness.xhtml"
jaroslav@357
   181
        ), "/execute");
jaroslav@332
   182
        conf.addHttpHandler(new HttpHandler() {
jaroslav@332
   183
            int cnt;
jaroslav@332
   184
            @Override
jaroslav@332
   185
            public void service(Request request, Response response) throws Exception {
jaroslav@342
   186
                String id = request.getParameter("request");
jaroslav@342
   187
                String value = request.getParameter("result");
jaroslav@342
   188
                if (id != null && value != null) {
jaroslav@342
   189
                    value = value.replace("%20", " ");
jaroslav@342
   190
                    cases[Integer.parseInt(id)].result = value;
jaroslav@342
   191
                }
jaroslav@342
   192
                
jaroslav@342
   193
                if (cnt >= cases.length) {
jaroslav@342
   194
                    response.getWriter().write("");
jaroslav@342
   195
                    wait.countDown();
jaroslav@342
   196
                    cnt = 0;
jaroslav@342
   197
                    return;
jaroslav@342
   198
                }
jaroslav@342
   199
                
jaroslav@332
   200
                response.getWriter().write("{"
jaroslav@342
   201
                    + "className: '" + cases[cnt].className + "', "
jaroslav@342
   202
                    + "methodName: '" + cases[cnt].methodName + "', "
jaroslav@332
   203
                    + "request: " + cnt
jaroslav@332
   204
                    + "}");
jaroslav@342
   205
                cnt++;
jaroslav@332
   206
            }
jaroslav@342
   207
        }, "/data");
jaroslav@357
   208
jaroslav@357
   209
        launchServerAndBrwsr(server, "/execute");
jaroslav@323
   210
        
jaroslav@349
   211
        wait.await(timeOut, TimeUnit.MILLISECONDS);
jaroslav@349
   212
        server.stop();
jaroslav@323
   213
    }
jaroslav@331
   214
    
jaroslav@342
   215
    static void copyStream(InputStream is, OutputStream os, String baseURL, String... params) throws IOException {
jaroslav@331
   216
        for (;;) {
jaroslav@331
   217
            int ch = is.read();
jaroslav@331
   218
            if (ch == -1) {
jaroslav@331
   219
                break;
jaroslav@331
   220
            }
jaroslav@331
   221
            if (ch == '$') {
jaroslav@331
   222
                int cnt = is.read() - '0';
jaroslav@342
   223
                if (cnt == 'U' - '0') {
jaroslav@342
   224
                    os.write(baseURL.getBytes());
jaroslav@342
   225
                }
jaroslav@331
   226
                if (cnt < params.length) {
jaroslav@331
   227
                    os.write(params[cnt].getBytes());
jaroslav@331
   228
                }
jaroslav@331
   229
            } else {
jaroslav@331
   230
                os.write(ch);
jaroslav@331
   231
            }
jaroslav@331
   232
        }
jaroslav@331
   233
    }
jaroslav@356
   234
jaroslav@357
   235
    private void launchServerAndBrwsr(HttpServer server, final String page) throws IOException, URISyntaxException, InterruptedException {
jaroslav@357
   236
        server.start();
jaroslav@357
   237
        NetworkListener listener = server.getListeners().iterator().next();
jaroslav@357
   238
        int port = listener.getPort();
jaroslav@357
   239
        
jaroslav@357
   240
        URI uri = new URI("http://localhost:" + port + page);
jaroslav@362
   241
        LOG.log(Level.INFO, "Showing {0}", uri);
jaroslav@357
   242
        try {
jaroslav@357
   243
            Desktop.getDesktop().browse(uri);
jaroslav@357
   244
        } catch (UnsupportedOperationException ex) {
jaroslav@357
   245
            String[] cmd = { 
jaroslav@357
   246
                "xdg-open", uri.toString()
jaroslav@357
   247
            };
jaroslav@362
   248
            LOG.log(Level.INFO, "Launching {0}", Arrays.toString(cmd));
jaroslav@361
   249
            final Process process = Runtime.getRuntime().exec(cmd);
jaroslav@361
   250
            InputStream stdout = process.getInputStream();
jaroslav@361
   251
            InputStream stderr = process.getErrorStream();
jaroslav@361
   252
            int res = process.waitFor();
jaroslav@362
   253
            LOG.log(Level.INFO, "Exit code: {0}", res);
jaroslav@361
   254
            drain("StdOut", stdout);
jaroslav@361
   255
            drain("StdErr", stderr);
jaroslav@357
   256
        }
jaroslav@361
   257
    }
jaroslav@361
   258
    
jaroslav@361
   259
    private static void drain(String name, InputStream is) throws IOException {
jaroslav@361
   260
        int av = is.available();
jaroslav@361
   261
        if (av > 0) {
jaroslav@362
   262
            StringBuilder sb = new StringBuilder();
jaroslav@362
   263
            sb.append("v== ").append(name).append(" ==v\n");
jaroslav@361
   264
            while (av-- > 0) {
jaroslav@362
   265
                sb.append((char)is.read());
jaroslav@361
   266
            }
jaroslav@362
   267
            sb.append("\n^== ").append(name).append(" ==^");
jaroslav@362
   268
            LOG.log(Level.INFO, sb.toString());
jaroslav@361
   269
        }
jaroslav@357
   270
    }
jaroslav@357
   271
jaroslav@348
   272
    private class Res implements Bck2Brwsr.Resources {
jaroslav@348
   273
        @Override
jaroslav@348
   274
        public InputStream get(String resource) throws IOException {
jaroslav@348
   275
            for (ClassLoader l : loaders) {
jaroslav@348
   276
                URL u = null;
jaroslav@348
   277
                Enumeration<URL> en = l.getResources(resource);
jaroslav@348
   278
                while (en.hasMoreElements()) {
jaroslav@348
   279
                    u = en.nextElement();
jaroslav@348
   280
                }
jaroslav@348
   281
                if (u != null) {
jaroslav@348
   282
                    return u.openStream();
jaroslav@348
   283
                }
jaroslav@348
   284
            }
jaroslav@348
   285
            throw new IOException("Can't find " + resource);
jaroslav@348
   286
        }
jaroslav@348
   287
    }
jaroslav@330
   288
jaroslav@332
   289
    private static class Page extends HttpHandler {
jaroslav@332
   290
        private final String resource;
jaroslav@331
   291
        private final String[] args;
jaroslav@357
   292
        private final Res res;
jaroslav@331
   293
        
jaroslav@357
   294
        public Page(Res res, String resource, String... args) {
jaroslav@357
   295
            this.res = res;
jaroslav@332
   296
            this.resource = resource;
jaroslav@331
   297
            this.args = args;
jaroslav@330
   298
        }
jaroslav@330
   299
jaroslav@330
   300
        @Override
jaroslav@330
   301
        public void service(Request request, Response response) throws Exception {
jaroslav@357
   302
            String r = resource;
jaroslav@357
   303
            if (r == null) {
jaroslav@357
   304
                r = request.getHttpHandlerPath();
jaroslav@357
   305
                if (r.startsWith("/")) {
jaroslav@357
   306
                    r = r.substring(1);
jaroslav@357
   307
                }
jaroslav@357
   308
            }
jaroslav@357
   309
            if (r.endsWith(".html") || r.endsWith(".xhtml")) {
jaroslav@357
   310
                response.setContentType("text/html");
jaroslav@357
   311
            }
jaroslav@330
   312
            OutputStream os = response.getOutputStream();
jaroslav@357
   313
            try (InputStream is = res.get(r)) {
jaroslav@357
   314
                copyStream(is, os, request.getRequestURL().toString(), args);
jaroslav@357
   315
            } catch (IOException ex) {
jaroslav@357
   316
                response.setDetailMessage(ex.getLocalizedMessage());
jaroslav@357
   317
                response.setError();
jaroslav@357
   318
                response.setStatus(404);
jaroslav@357
   319
            }
jaroslav@330
   320
        }
jaroslav@330
   321
    }
jaroslav@330
   322
jaroslav@330
   323
    private static class VM extends HttpHandler {
jaroslav@348
   324
        private final Res loader;
jaroslav@330
   325
jaroslav@348
   326
        public VM(Res loader) {
jaroslav@330
   327
            this.loader = loader;
jaroslav@330
   328
        }
jaroslav@330
   329
jaroslav@330
   330
        @Override
jaroslav@330
   331
        public void service(Request request, Response response) throws Exception {
jaroslav@330
   332
            response.setCharacterEncoding("UTF-8");
jaroslav@330
   333
            response.setContentType("text/javascript");
jaroslav@330
   334
            Bck2Brwsr.generate(response.getWriter(), loader);
jaroslav@330
   335
        }
jaroslav@330
   336
    }
jaroslav@332
   337
    private static class VMInit extends HttpHandler {
jaroslav@332
   338
        public VMInit() {
jaroslav@332
   339
        }
jaroslav@332
   340
jaroslav@332
   341
        @Override
jaroslav@332
   342
        public void service(Request request, Response response) throws Exception {
jaroslav@332
   343
            response.setCharacterEncoding("UTF-8");
jaroslav@332
   344
            response.setContentType("text/javascript");
jaroslav@332
   345
            response.getWriter().append(
jaroslav@332
   346
                "function ldCls(res) {\n"
jaroslav@332
   347
                + "  var request = new XMLHttpRequest();\n"
jaroslav@357
   348
                + "  request.open('GET', '/classes/' + res, false);\n"
jaroslav@332
   349
                + "  request.send();\n"
jaroslav@332
   350
                + "  var arr = eval('(' + request.responseText + ')');\n"
jaroslav@332
   351
                + "  return arr;\n"
jaroslav@332
   352
                + "}\n"
jaroslav@332
   353
                + "var vm = new bck2brwsr(ldCls);\n");
jaroslav@332
   354
        }
jaroslav@332
   355
    }
jaroslav@330
   356
jaroslav@330
   357
    private static class Classes extends HttpHandler {
jaroslav@348
   358
        private final Res loader;
jaroslav@330
   359
jaroslav@348
   360
        public Classes(Res loader) {
jaroslav@330
   361
            this.loader = loader;
jaroslav@330
   362
        }
jaroslav@330
   363
jaroslav@330
   364
        @Override
jaroslav@330
   365
        public void service(Request request, Response response) throws Exception {
jaroslav@330
   366
            String res = request.getHttpHandlerPath();
jaroslav@330
   367
            if (res.startsWith("/")) {
jaroslav@330
   368
                res = res.substring(1);
jaroslav@330
   369
            }
jaroslav@348
   370
            try (InputStream is = loader.get(res)) {
jaroslav@348
   371
                response.setContentType("text/javascript");
jaroslav@348
   372
                Writer w = response.getWriter();
jaroslav@348
   373
                w.append("[");
jaroslav@348
   374
                for (int i = 0;; i++) {
jaroslav@348
   375
                    int b = is.read();
jaroslav@348
   376
                    if (b == -1) {
jaroslav@348
   377
                        break;
jaroslav@348
   378
                    }
jaroslav@348
   379
                    if (i > 0) {
jaroslav@348
   380
                        w.append(", ");
jaroslav@348
   381
                    }
jaroslav@348
   382
                    if (i % 20 == 0) {
jaroslav@348
   383
                        w.write("\n");
jaroslav@348
   384
                    }
jaroslav@348
   385
                    if (b > 127) {
jaroslav@348
   386
                        b = b - 256;
jaroslav@348
   387
                    }
jaroslav@348
   388
                    w.append(Integer.toString(b));
jaroslav@348
   389
                }
jaroslav@348
   390
                w.append("\n]");
jaroslav@348
   391
            } catch (IOException ex) {
jaroslav@348
   392
                response.setError();
jaroslav@348
   393
                response.setDetailMessage(ex.getMessage());
jaroslav@330
   394
            }
jaroslav@330
   395
        }
jaroslav@330
   396
    }
jaroslav@342
   397
    
jaroslav@348
   398
    public static final class MethodInvocation {
jaroslav@342
   399
        final String className;
jaroslav@342
   400
        final String methodName;
jaroslav@342
   401
        String result;
jaroslav@342
   402
jaroslav@348
   403
        MethodInvocation(String className, String methodName) {
jaroslav@342
   404
            this.className = className;
jaroslav@342
   405
            this.methodName = methodName;
jaroslav@342
   406
        }
jaroslav@348
   407
jaroslav@348
   408
        @Override
jaroslav@348
   409
        public String toString() {
jaroslav@348
   410
            return result;
jaroslav@348
   411
        }
jaroslav@342
   412
    }
jaroslav@323
   413
}