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