launcher/src/main/java/org/apidesign/bck2brwsr/launcher/Bck2BrwsrLauncher.java
author Jaroslav Tulach <jaroslav.tulach@apidesign.org>
Mon, 18 Feb 2013 19:41:30 +0100
branchmodel
changeset 762 a758763f8415
parent 747 ae352b763959
permissions -rw-r--r--
Print out $ signs that don't match any attribute
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@667
    42
import org.apidesign.bck2brwsr.launcher.InvocationContext.Resource;
jaroslav@323
    43
import org.apidesign.vm4brwsr.Bck2Brwsr;
jaroslav@323
    44
import org.glassfish.grizzly.PortRange;
jaroslav@323
    45
import org.glassfish.grizzly.http.server.HttpHandler;
jaroslav@323
    46
import org.glassfish.grizzly.http.server.HttpServer;
jaroslav@323
    47
import org.glassfish.grizzly.http.server.NetworkListener;
jaroslav@323
    48
import org.glassfish.grizzly.http.server.Request;
jaroslav@323
    49
import org.glassfish.grizzly.http.server.Response;
jaroslav@323
    50
import org.glassfish.grizzly.http.server.ServerConfiguration;
jaroslav@745
    51
import org.glassfish.grizzly.http.util.HttpStatus;
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@382
    58
final class Bck2BrwsrLauncher extends Launcher implements Closeable {
jaroslav@362
    59
    private static final Logger LOG = Logger.getLogger(Bck2BrwsrLauncher.class.getName());
jaroslav@622
    60
    private static final InvocationContext END = new InvocationContext(null, null, null);
jaroslav@622
    61
    private final Set<ClassLoader> loaders = new LinkedHashSet<>();
jaroslav@622
    62
    private final BlockingQueue<InvocationContext> methods = new LinkedBlockingQueue<>();
jaroslav@349
    63
    private long timeOut;
jaroslav@357
    64
    private final Res resources = new Res();
jaroslav@382
    65
    private final String cmd;
jaroslav@371
    66
    private Object[] brwsr;
jaroslav@371
    67
    private HttpServer server;
jaroslav@371
    68
    private CountDownLatch wait;
jaroslav@613
    69
    
jaroslav@382
    70
    public Bck2BrwsrLauncher(String cmd) {
jaroslav@382
    71
        this.cmd = cmd;
jaroslav@382
    72
    }
jaroslav@348
    73
    
jaroslav@382
    74
    @Override
jaroslav@622
    75
    InvocationContext runMethod(InvocationContext c) throws IOException {
jaroslav@622
    76
        loaders.add(c.clazz.getClassLoader());
jaroslav@348
    77
        methods.add(c);
jaroslav@371
    78
        try {
jaroslav@371
    79
            c.await(timeOut);
jaroslav@371
    80
        } catch (InterruptedException ex) {
jaroslav@371
    81
            throw new IOException(ex);
jaroslav@371
    82
        }
jaroslav@348
    83
        return c;
jaroslav@348
    84
    }
jaroslav@348
    85
    
jaroslav@349
    86
    public void setTimeout(long ms) {
jaroslav@349
    87
        timeOut = ms;
jaroslav@349
    88
    }
jaroslav@348
    89
    
jaroslav@357
    90
    public void addClassLoader(ClassLoader url) {
jaroslav@357
    91
        this.loaders.add(url);
jaroslav@357
    92
    }
jaroslav@348
    93
jaroslav@382
    94
    public void showURL(String startpage) throws IOException {
jaroslav@371
    95
        if (!startpage.startsWith("/")) {
jaroslav@371
    96
            startpage = "/" + startpage;
jaroslav@371
    97
        }
jaroslav@613
    98
        HttpServer s = initServer(".", true);
jaroslav@742
    99
        int last = startpage.lastIndexOf('/');
jaroslav@742
   100
        String simpleName = startpage.substring(last);
jaroslav@742
   101
        s.getServerConfiguration().addHttpHandler(new Page(resources, startpage), simpleName);
jaroslav@371
   102
        s.getServerConfiguration().addHttpHandler(new Page(resources, null), "/");
jaroslav@382
   103
        try {
jaroslav@742
   104
            launchServerAndBrwsr(s, simpleName);
jaroslav@382
   105
        } catch (URISyntaxException | InterruptedException ex) {
jaroslav@382
   106
            throw new IOException(ex);
jaroslav@382
   107
        }
jaroslav@371
   108
    }
jaroslav@348
   109
jaroslav@613
   110
    void showDirectory(File dir, String startpage) throws IOException {
jaroslav@613
   111
        if (!startpage.startsWith("/")) {
jaroslav@613
   112
            startpage = "/" + startpage;
jaroslav@613
   113
        }
jaroslav@613
   114
        HttpServer s = initServer(dir.getPath(), false);
jaroslav@613
   115
        try {
jaroslav@613
   116
            launchServerAndBrwsr(s, startpage);
jaroslav@613
   117
        } catch (URISyntaxException | InterruptedException ex) {
jaroslav@613
   118
            throw new IOException(ex);
jaroslav@613
   119
        }
jaroslav@613
   120
    }
jaroslav@613
   121
jaroslav@382
   122
    @Override
jaroslav@371
   123
    public void initialize() throws IOException {
jaroslav@356
   124
        try {
jaroslav@371
   125
            executeInBrowser();
jaroslav@356
   126
        } catch (InterruptedException ex) {
jaroslav@356
   127
            final InterruptedIOException iio = new InterruptedIOException(ex.getMessage());
jaroslav@356
   128
            iio.initCause(ex);
jaroslav@356
   129
            throw iio;
jaroslav@356
   130
        } catch (Exception ex) {
jaroslav@356
   131
            if (ex instanceof IOException) {
jaroslav@356
   132
                throw (IOException)ex;
jaroslav@356
   133
            }
jaroslav@356
   134
            if (ex instanceof RuntimeException) {
jaroslav@356
   135
                throw (RuntimeException)ex;
jaroslav@356
   136
            }
jaroslav@356
   137
            throw new IOException(ex);
jaroslav@356
   138
        }
jaroslav@356
   139
    }
jaroslav@356
   140
    
jaroslav@613
   141
    private HttpServer initServer(String path, boolean addClasses) throws IOException {
jaroslav@613
   142
        HttpServer s = HttpServer.createSimpleServer(path, new PortRange(8080, 65535));
jaroslav@357
   143
jaroslav@371
   144
        final ServerConfiguration conf = s.getServerConfiguration();
jaroslav@613
   145
        if (addClasses) {
jaroslav@741
   146
            conf.addHttpHandler(new VM(resources), "/bck2brwsr.js");
jaroslav@613
   147
            conf.addHttpHandler(new Classes(resources), "/classes/");
jaroslav@613
   148
        }
jaroslav@371
   149
        return s;
jaroslav@357
   150
    }
jaroslav@357
   151
    
jaroslav@357
   152
    private void executeInBrowser() throws InterruptedException, URISyntaxException, IOException {
jaroslav@371
   153
        wait = new CountDownLatch(1);
jaroslav@613
   154
        server = initServer(".", true);
jaroslav@623
   155
        final ServerConfiguration conf = server.getServerConfiguration();
jaroslav@623
   156
        
jaroslav@623
   157
        class DynamicResourceHandler extends HttpHandler {
jaroslav@623
   158
            private final InvocationContext ic;
jaroslav@623
   159
            public DynamicResourceHandler(InvocationContext ic) {
jaroslav@667
   160
                if (ic == null || ic.resources.isEmpty()) {
jaroslav@623
   161
                    throw new NullPointerException();
jaroslav@623
   162
                }
jaroslav@623
   163
                this.ic = ic;
jaroslav@667
   164
                for (Resource r : ic.resources) {
jaroslav@667
   165
                    conf.addHttpHandler(this, r.httpPath);
jaroslav@667
   166
                }
jaroslav@623
   167
            }
jaroslav@623
   168
jaroslav@623
   169
            public void close() {
jaroslav@623
   170
                conf.removeHttpHandler(this);
jaroslav@623
   171
            }
jaroslav@623
   172
            
jaroslav@623
   173
            @Override
jaroslav@623
   174
            public void service(Request request, Response response) throws Exception {
jaroslav@667
   175
                for (Resource r : ic.resources) {
jaroslav@667
   176
                    if (r.httpPath.equals(request.getRequestURI())) {
jaroslav@667
   177
                        LOG.log(Level.INFO, "Serving HttpResource for {0}", request.getRequestURI());
jaroslav@667
   178
                        response.setContentType(r.httpType);
jaroslav@667
   179
                        copyStream(r.httpContent, response.getOutputStream(), null);
jaroslav@667
   180
                    }
jaroslav@623
   181
                }
jaroslav@623
   182
            }
jaroslav@623
   183
        }
jaroslav@623
   184
        
jaroslav@357
   185
        conf.addHttpHandler(new Page(resources, 
jaroslav@357
   186
            "org/apidesign/bck2brwsr/launcher/harness.xhtml"
jaroslav@357
   187
        ), "/execute");
jaroslav@623
   188
        
jaroslav@332
   189
        conf.addHttpHandler(new HttpHandler() {
jaroslav@332
   190
            int cnt;
jaroslav@622
   191
            List<InvocationContext> cases = new ArrayList<>();
jaroslav@623
   192
            DynamicResourceHandler prev;
jaroslav@332
   193
            @Override
jaroslav@332
   194
            public void service(Request request, Response response) throws Exception {
jaroslav@342
   195
                String id = request.getParameter("request");
jaroslav@342
   196
                String value = request.getParameter("result");
jaroslav@364
   197
                
jaroslav@709
   198
                
jaroslav@709
   199
                InvocationContext mi = null;
jaroslav@709
   200
                int caseNmbr = -1;
jaroslav@709
   201
                
jaroslav@342
   202
                if (id != null && value != null) {
jaroslav@364
   203
                    LOG.log(Level.INFO, "Received result for case {0} = {1}", new Object[]{id, value});
jaroslav@381
   204
                    value = decodeURL(value);
jaroslav@709
   205
                    int indx = Integer.parseInt(id);
jaroslav@709
   206
                    cases.get(indx).result(value, null);
jaroslav@709
   207
                    if (++indx < cases.size()) {
jaroslav@709
   208
                        mi = cases.get(indx);
jaroslav@709
   209
                        LOG.log(Level.INFO, "Re-executing case {0}", indx);
jaroslav@709
   210
                        caseNmbr = indx;
jaroslav@709
   211
                    }
jaroslav@709
   212
                } else {
jaroslav@709
   213
                    if (!cases.isEmpty()) {
jaroslav@709
   214
                        LOG.info("Re-executing test cases");
jaroslav@709
   215
                        mi = cases.get(0);
jaroslav@709
   216
                        caseNmbr = 0;
jaroslav@709
   217
                    }
jaroslav@342
   218
                }
jaroslav@342
   219
                
jaroslav@623
   220
                if (prev != null) {
jaroslav@623
   221
                    prev.close();
jaroslav@623
   222
                    prev = null;
jaroslav@623
   223
                }
jaroslav@623
   224
                
jaroslav@709
   225
                if (mi == null) {
jaroslav@709
   226
                    mi = methods.take();
jaroslav@709
   227
                    caseNmbr = cnt++;
jaroslav@709
   228
                }
jaroslav@372
   229
                if (mi == END) {
jaroslav@342
   230
                    response.getWriter().write("");
jaroslav@342
   231
                    wait.countDown();
jaroslav@342
   232
                    cnt = 0;
jaroslav@372
   233
                    LOG.log(Level.INFO, "End of data reached. Exiting.");
jaroslav@342
   234
                    return;
jaroslav@342
   235
                }
jaroslav@342
   236
                
jaroslav@667
   237
                if (!mi.resources.isEmpty()) {
jaroslav@623
   238
                    prev = new DynamicResourceHandler(mi);
jaroslav@623
   239
                }
jaroslav@623
   240
                
jaroslav@371
   241
                cases.add(mi);
jaroslav@622
   242
                final String cn = mi.clazz.getName();
jaroslav@371
   243
                final String mn = mi.methodName;
jaroslav@709
   244
                LOG.log(Level.INFO, "Request for {0} case. Sending {1}.{2}", new Object[]{caseNmbr, cn, mn});
jaroslav@332
   245
                response.getWriter().write("{"
jaroslav@364
   246
                    + "className: '" + cn + "', "
jaroslav@364
   247
                    + "methodName: '" + mn + "', "
jaroslav@709
   248
                    + "request: " + caseNmbr
jaroslav@526
   249
                );
jaroslav@526
   250
                if (mi.html != null) {
jaroslav@526
   251
                    response.getWriter().write(", html: '");
jaroslav@526
   252
                    response.getWriter().write(encodeJSON(mi.html));
jaroslav@526
   253
                    response.getWriter().write("'");
jaroslav@526
   254
                }
jaroslav@526
   255
                response.getWriter().write("}");
jaroslav@332
   256
            }
jaroslav@342
   257
        }, "/data");
jaroslav@357
   258
jaroslav@371
   259
        this.brwsr = launchServerAndBrwsr(server, "/execute");
jaroslav@371
   260
    }
jaroslav@371
   261
    
jaroslav@526
   262
    private static String encodeJSON(String in) {
jaroslav@526
   263
        StringBuilder sb = new StringBuilder();
jaroslav@526
   264
        for (int i = 0; i < in.length(); i++) {
jaroslav@526
   265
            char ch = in.charAt(i);
jaroslav@526
   266
            if (ch < 32 || ch == '\'' || ch == '"') {
jaroslav@526
   267
                sb.append("\\u");
jaroslav@526
   268
                String hs = "0000" + Integer.toHexString(ch);
jaroslav@526
   269
                hs = hs.substring(hs.length() - 4);
jaroslav@526
   270
                sb.append(hs);
jaroslav@526
   271
            } else {
jaroslav@526
   272
                sb.append(ch);
jaroslav@526
   273
            }
jaroslav@526
   274
        }
jaroslav@526
   275
        return sb.toString();
jaroslav@526
   276
    }
jaroslav@526
   277
    
jaroslav@382
   278
    @Override
jaroslav@382
   279
    public void shutdown() throws IOException {
jaroslav@372
   280
        methods.offer(END);
jaroslav@363
   281
        for (;;) {
jaroslav@371
   282
            int prev = methods.size();
jaroslav@382
   283
            try {
jaroslav@389
   284
                if (wait != null && wait.await(timeOut, TimeUnit.MILLISECONDS)) {
jaroslav@382
   285
                    break;
jaroslav@382
   286
                }
jaroslav@382
   287
            } catch (InterruptedException ex) {
jaroslav@382
   288
                throw new IOException(ex);
jaroslav@363
   289
            }
jaroslav@371
   290
            if (prev == methods.size()) {
jaroslav@363
   291
                LOG.log(
jaroslav@363
   292
                    Level.WARNING, 
jaroslav@363
   293
                    "Timeout and no test has been executed meanwhile (at {0}). Giving up.", 
jaroslav@371
   294
                    methods.size()
jaroslav@363
   295
                );
jaroslav@363
   296
                break;
jaroslav@363
   297
            }
jaroslav@363
   298
            LOG.log(Level.INFO, 
jaroslav@363
   299
                "Timeout, but tests got from {0} to {1}. Trying again.", 
jaroslav@371
   300
                new Object[]{prev, methods.size()}
jaroslav@363
   301
            );
jaroslav@363
   302
        }
jaroslav@365
   303
        stopServerAndBrwsr(server, brwsr);
jaroslav@323
   304
    }
jaroslav@331
   305
    
jaroslav@342
   306
    static void copyStream(InputStream is, OutputStream os, String baseURL, String... params) throws IOException {
jaroslav@331
   307
        for (;;) {
jaroslav@331
   308
            int ch = is.read();
jaroslav@331
   309
            if (ch == -1) {
jaroslav@331
   310
                break;
jaroslav@331
   311
            }
jaroslav@523
   312
            if (ch == '$' && params.length > 0) {
jaroslav@331
   313
                int cnt = is.read() - '0';
jaroslav@342
   314
                if (cnt == 'U' - '0') {
jaroslav@714
   315
                    os.write(baseURL.getBytes("UTF-8"));
jaroslav@762
   316
                } else {
jaroslav@762
   317
                    if (cnt >= 0 && cnt < params.length) {
jaroslav@762
   318
                        os.write(params[cnt].getBytes("UTF-8"));
jaroslav@762
   319
                    } else {
jaroslav@762
   320
                        os.write('$');
jaroslav@762
   321
                        os.write(cnt + '0');
jaroslav@762
   322
                    }
jaroslav@331
   323
                }
jaroslav@331
   324
            } else {
jaroslav@331
   325
                os.write(ch);
jaroslav@331
   326
            }
jaroslav@331
   327
        }
jaroslav@331
   328
    }
jaroslav@356
   329
jaroslav@365
   330
    private Object[] launchServerAndBrwsr(HttpServer server, final String page) throws IOException, URISyntaxException, InterruptedException {
jaroslav@357
   331
        server.start();
jaroslav@357
   332
        NetworkListener listener = server.getListeners().iterator().next();
jaroslav@357
   333
        int port = listener.getPort();
jaroslav@357
   334
        
jaroslav@357
   335
        URI uri = new URI("http://localhost:" + port + page);
jaroslav@362
   336
        LOG.log(Level.INFO, "Showing {0}", uri);
jaroslav@433
   337
        if (cmd == null) {
jaroslav@433
   338
            try {
jaroslav@536
   339
                LOG.log(Level.INFO, "Trying Desktop.browse on {0} {2} by {1}", new Object[] {
jaroslav@536
   340
                    System.getProperty("java.vm.name"),
jaroslav@536
   341
                    System.getProperty("java.vm.vendor"),
jaroslav@536
   342
                    System.getProperty("java.vm.version"),
jaroslav@536
   343
                });
jaroslav@433
   344
                java.awt.Desktop.getDesktop().browse(uri);
jaroslav@433
   345
                LOG.log(Level.INFO, "Desktop.browse successfully finished");
jaroslav@433
   346
                return null;
jaroslav@433
   347
            } catch (UnsupportedOperationException ex) {
jaroslav@518
   348
                LOG.log(Level.INFO, "Desktop.browse not supported: {0}", ex.getMessage());
jaroslav@518
   349
                LOG.log(Level.FINE, null, ex);
jaroslav@433
   350
            }
jaroslav@369
   351
        }
jaroslav@369
   352
        {
jaroslav@382
   353
            String cmdName = cmd == null ? "xdg-open" : cmd;
jaroslav@382
   354
            String[] cmdArr = { 
jaroslav@382
   355
                cmdName, uri.toString()
jaroslav@357
   356
            };
jaroslav@382
   357
            LOG.log(Level.INFO, "Launching {0}", Arrays.toString(cmdArr));
jaroslav@382
   358
            final Process process = Runtime.getRuntime().exec(cmdArr);
jaroslav@369
   359
            return new Object[] { process, null };
jaroslav@357
   360
        }
jaroslav@361
   361
    }
jaroslav@361
   362
    
jaroslav@381
   363
    private static String decodeURL(String s) {
jaroslav@381
   364
        for (;;) {
jaroslav@381
   365
            int pos = s.indexOf('%');
jaroslav@381
   366
            if (pos == -1) {
jaroslav@381
   367
                return s;
jaroslav@381
   368
            }
jaroslav@381
   369
            int i = Integer.parseInt(s.substring(pos + 1, pos + 2), 16);
jaroslav@381
   370
            s = s.substring(0, pos) + (char)i + s.substring(pos + 2);
jaroslav@381
   371
        }
jaroslav@381
   372
    }
jaroslav@381
   373
    
jaroslav@382
   374
    private void stopServerAndBrwsr(HttpServer server, Object[] brwsr) throws IOException {
jaroslav@389
   375
        if (brwsr == null) {
jaroslav@389
   376
            return;
jaroslav@389
   377
        }
jaroslav@365
   378
        Process process = (Process)brwsr[0];
jaroslav@365
   379
        
jaroslav@365
   380
        server.stop();
jaroslav@365
   381
        InputStream stdout = process.getInputStream();
jaroslav@365
   382
        InputStream stderr = process.getErrorStream();
jaroslav@365
   383
        drain("StdOut", stdout);
jaroslav@365
   384
        drain("StdErr", stderr);
jaroslav@365
   385
        process.destroy();
jaroslav@382
   386
        int res;
jaroslav@382
   387
        try {
jaroslav@382
   388
            res = process.waitFor();
jaroslav@382
   389
        } catch (InterruptedException ex) {
jaroslav@382
   390
            throw new IOException(ex);
jaroslav@382
   391
        }
jaroslav@365
   392
        LOG.log(Level.INFO, "Exit code: {0}", res);
jaroslav@365
   393
jaroslav@365
   394
        deleteTree((File)brwsr[1]);
jaroslav@365
   395
    }
jaroslav@365
   396
    
jaroslav@361
   397
    private static void drain(String name, InputStream is) throws IOException {
jaroslav@361
   398
        int av = is.available();
jaroslav@361
   399
        if (av > 0) {
jaroslav@362
   400
            StringBuilder sb = new StringBuilder();
jaroslav@362
   401
            sb.append("v== ").append(name).append(" ==v\n");
jaroslav@361
   402
            while (av-- > 0) {
jaroslav@362
   403
                sb.append((char)is.read());
jaroslav@361
   404
            }
jaroslav@362
   405
            sb.append("\n^== ").append(name).append(" ==^");
jaroslav@362
   406
            LOG.log(Level.INFO, sb.toString());
jaroslav@361
   407
        }
jaroslav@357
   408
    }
jaroslav@357
   409
jaroslav@365
   410
    private void deleteTree(File file) {
jaroslav@369
   411
        if (file == null) {
jaroslav@369
   412
            return;
jaroslav@369
   413
        }
jaroslav@365
   414
        File[] arr = file.listFiles();
jaroslav@365
   415
        if (arr != null) {
jaroslav@365
   416
            for (File s : arr) {
jaroslav@365
   417
                deleteTree(s);
jaroslav@365
   418
            }
jaroslav@365
   419
        }
jaroslav@365
   420
        file.delete();
jaroslav@365
   421
    }
jaroslav@365
   422
jaroslav@382
   423
    @Override
jaroslav@382
   424
    public void close() throws IOException {
jaroslav@382
   425
        shutdown();
jaroslav@382
   426
    }
jaroslav@382
   427
jaroslav@348
   428
    private class Res implements Bck2Brwsr.Resources {
jaroslav@348
   429
        @Override
jaroslav@348
   430
        public InputStream get(String resource) throws IOException {
jaroslav@348
   431
            for (ClassLoader l : loaders) {
jaroslav@348
   432
                URL u = null;
jaroslav@348
   433
                Enumeration<URL> en = l.getResources(resource);
jaroslav@348
   434
                while (en.hasMoreElements()) {
jaroslav@348
   435
                    u = en.nextElement();
jaroslav@348
   436
                }
jaroslav@348
   437
                if (u != null) {
jaroslav@348
   438
                    return u.openStream();
jaroslav@348
   439
                }
jaroslav@348
   440
            }
jaroslav@348
   441
            throw new IOException("Can't find " + resource);
jaroslav@348
   442
        }
jaroslav@348
   443
    }
jaroslav@330
   444
jaroslav@332
   445
    private static class Page extends HttpHandler {
jaroslav@332
   446
        private final String resource;
jaroslav@331
   447
        private final String[] args;
jaroslav@357
   448
        private final Res res;
jaroslav@331
   449
        
jaroslav@357
   450
        public Page(Res res, String resource, String... args) {
jaroslav@357
   451
            this.res = res;
jaroslav@332
   452
            this.resource = resource;
jaroslav@526
   453
            this.args = args.length == 0 ? new String[] { "$0" } : args;
jaroslav@330
   454
        }
jaroslav@330
   455
jaroslav@330
   456
        @Override
jaroslav@330
   457
        public void service(Request request, Response response) throws Exception {
jaroslav@357
   458
            String r = resource;
jaroslav@357
   459
            if (r == null) {
jaroslav@357
   460
                r = request.getHttpHandlerPath();
jaroslav@741
   461
            }
jaroslav@741
   462
            if (r.startsWith("/")) {
jaroslav@741
   463
                r = r.substring(1);
jaroslav@357
   464
            }
jaroslav@523
   465
            String[] replace = {};
jaroslav@433
   466
            if (r.endsWith(".html")) {
jaroslav@357
   467
                response.setContentType("text/html");
jaroslav@433
   468
                LOG.info("Content type text/html");
jaroslav@523
   469
                replace = args;
jaroslav@433
   470
            }
jaroslav@433
   471
            if (r.endsWith(".xhtml")) {
jaroslav@433
   472
                response.setContentType("application/xhtml+xml");
jaroslav@433
   473
                LOG.info("Content type application/xhtml+xml");
jaroslav@523
   474
                replace = args;
jaroslav@357
   475
            }
jaroslav@330
   476
            OutputStream os = response.getOutputStream();
jaroslav@357
   477
            try (InputStream is = res.get(r)) {
jaroslav@523
   478
                copyStream(is, os, request.getRequestURL().toString(), replace);
jaroslav@357
   479
            } catch (IOException ex) {
jaroslav@357
   480
                response.setDetailMessage(ex.getLocalizedMessage());
jaroslav@357
   481
                response.setError();
jaroslav@357
   482
                response.setStatus(404);
jaroslav@357
   483
            }
jaroslav@330
   484
        }
jaroslav@330
   485
    }
jaroslav@330
   486
jaroslav@330
   487
    private static class VM extends HttpHandler {
jaroslav@580
   488
        private final String bck2brwsr;
jaroslav@330
   489
jaroslav@580
   490
        public VM(Res loader) throws IOException {
jaroslav@580
   491
            StringBuilder sb = new StringBuilder();
jaroslav@580
   492
            Bck2Brwsr.generate(sb, loader);
jaroslav@583
   493
            sb.append(
jaroslav@741
   494
                  "(function WrapperVM(global) {"
jaroslav@741
   495
                + "  function ldCls(res) {\n"
jaroslav@741
   496
                + "    var request = new XMLHttpRequest();\n"
jaroslav@741
   497
                + "    request.open('GET', '/classes/' + res, false);\n"
jaroslav@741
   498
                + "    request.send();\n"
jaroslav@745
   499
                + "    if (request.status !== 200) return null;\n"
jaroslav@741
   500
                + "    var arr = eval('(' + request.responseText + ')');\n"
jaroslav@741
   501
                + "    return arr;\n"
jaroslav@741
   502
                + "  }\n"
jaroslav@741
   503
                + "  var prevvm = global.bck2brwsr;\n"
jaroslav@741
   504
                + "  global.bck2brwsr = function() {\n"
jaroslav@745
   505
                + "    var args = Array.prototype.slice.apply(arguments);\n"
jaroslav@745
   506
                + "    args.unshift(ldCls);\n"
jaroslav@745
   507
                + "    return prevvm.apply(null, args);\n"
jaroslav@741
   508
                + "  };\n"
jaroslav@741
   509
                + "})(this);\n"
jaroslav@583
   510
            );
jaroslav@580
   511
            this.bck2brwsr = sb.toString();
jaroslav@330
   512
        }
jaroslav@330
   513
jaroslav@330
   514
        @Override
jaroslav@330
   515
        public void service(Request request, Response response) throws Exception {
jaroslav@330
   516
            response.setCharacterEncoding("UTF-8");
jaroslav@330
   517
            response.setContentType("text/javascript");
jaroslav@580
   518
            response.getWriter().write(bck2brwsr);
jaroslav@330
   519
        }
jaroslav@330
   520
    }
jaroslav@330
   521
jaroslav@330
   522
    private static class Classes extends HttpHandler {
jaroslav@348
   523
        private final Res loader;
jaroslav@330
   524
jaroslav@348
   525
        public Classes(Res loader) {
jaroslav@330
   526
            this.loader = loader;
jaroslav@330
   527
        }
jaroslav@330
   528
jaroslav@330
   529
        @Override
jaroslav@330
   530
        public void service(Request request, Response response) throws Exception {
jaroslav@330
   531
            String res = request.getHttpHandlerPath();
jaroslav@330
   532
            if (res.startsWith("/")) {
jaroslav@330
   533
                res = res.substring(1);
jaroslav@330
   534
            }
jaroslav@348
   535
            try (InputStream is = loader.get(res)) {
jaroslav@348
   536
                response.setContentType("text/javascript");
jaroslav@348
   537
                Writer w = response.getWriter();
jaroslav@348
   538
                w.append("[");
jaroslav@348
   539
                for (int i = 0;; i++) {
jaroslav@348
   540
                    int b = is.read();
jaroslav@348
   541
                    if (b == -1) {
jaroslav@348
   542
                        break;
jaroslav@348
   543
                    }
jaroslav@348
   544
                    if (i > 0) {
jaroslav@348
   545
                        w.append(", ");
jaroslav@348
   546
                    }
jaroslav@348
   547
                    if (i % 20 == 0) {
jaroslav@348
   548
                        w.write("\n");
jaroslav@348
   549
                    }
jaroslav@348
   550
                    if (b > 127) {
jaroslav@348
   551
                        b = b - 256;
jaroslav@348
   552
                    }
jaroslav@348
   553
                    w.append(Integer.toString(b));
jaroslav@348
   554
                }
jaroslav@348
   555
                w.append("\n]");
jaroslav@348
   556
            } catch (IOException ex) {
jaroslav@745
   557
                response.setStatus(HttpStatus.NOT_FOUND_404);
jaroslav@348
   558
                response.setError();
jaroslav@348
   559
                response.setDetailMessage(ex.getMessage());
jaroslav@330
   560
            }
jaroslav@330
   561
        }
jaroslav@330
   562
    }
jaroslav@323
   563
}