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