dew/src/main/java/org/apidesign/bck2brwsr/dew/DewLauncher.java
author Jaroslav Tulach <jaroslav.tulach@apidesign.org>
Wed, 23 Jan 2013 14:10:15 +0100
branchdew
changeset 546 79e5a4aae48d
parent 544 dew/src/main/java/org/apidesign/bck2brwsr/launcher/Bck2BrwsrLauncher.java@08ffdc3938e7
child 580 2f42cd9b5531
permissions -rw-r--r--
Keeping just the part of the server that is needed for the dew system
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@546
    18
package org.apidesign.bck2brwsr.dew;
jaroslav@323
    19
jaroslav@331
    20
import java.io.IOException;
jaroslav@323
    21
import java.io.InputStream;
jaroslav@323
    22
import java.io.Writer;
jaroslav@323
    23
import java.net.URI;
jaroslav@348
    24
import java.net.URISyntaxException;
jaroslav@323
    25
import java.net.URL;
jaroslav@361
    26
import java.util.Arrays;
jaroslav@323
    27
import java.util.Enumeration;
jaroslav@348
    28
import java.util.LinkedHashSet;
jaroslav@348
    29
import java.util.Set;
jaroslav@362
    30
import java.util.logging.Level;
jaroslav@362
    31
import java.util.logging.Logger;
jaroslav@323
    32
import org.apidesign.vm4brwsr.Bck2Brwsr;
jaroslav@323
    33
import org.glassfish.grizzly.PortRange;
jaroslav@323
    34
import org.glassfish.grizzly.http.server.HttpHandler;
jaroslav@323
    35
import org.glassfish.grizzly.http.server.HttpServer;
jaroslav@323
    36
import org.glassfish.grizzly.http.server.NetworkListener;
jaroslav@323
    37
import org.glassfish.grizzly.http.server.Request;
jaroslav@323
    38
import org.glassfish.grizzly.http.server.Response;
jaroslav@323
    39
import org.glassfish.grizzly.http.server.ServerConfiguration;
jaroslav@323
    40
jaroslav@323
    41
/**
jaroslav@546
    42
 * Lightweight server to launch dew - the Development Environment for Web.
jaroslav@323
    43
 */
jaroslav@546
    44
final class DewLauncher {
jaroslav@546
    45
    private static final Logger LOG = Logger.getLogger(DewLauncher.class.getName());
jaroslav@348
    46
    private Set<ClassLoader> loaders = new LinkedHashSet<>();
jaroslav@471
    47
    private Set<Bck2Brwsr.Resources> xRes = new LinkedHashSet<>();
jaroslav@357
    48
    private final Res resources = new Res();
jaroslav@382
    49
    private final String cmd;
jaroslav@382
    50
jaroslav@546
    51
    public DewLauncher(String cmd) {
jaroslav@382
    52
        this.cmd = cmd;
jaroslav@382
    53
    }
jaroslav@348
    54
    
jaroslav@357
    55
    public void addClassLoader(ClassLoader url) {
jaroslav@357
    56
        this.loaders.add(url);
jaroslav@357
    57
    }
jaroslav@348
    58
jaroslav@546
    59
    final HttpServer initServer(Bck2Brwsr.Resources... extraResources) {
jaroslav@546
    60
        xRes.addAll(Arrays.asList(extraResources));
jaroslav@546
    61
        
jaroslav@371
    62
        HttpServer s = HttpServer.createSimpleServer(".", new PortRange(8080, 65535));
jaroslav@357
    63
jaroslav@371
    64
        final ServerConfiguration conf = s.getServerConfiguration();
jaroslav@348
    65
        conf.addHttpHandler(new VM(resources), "/bck2brwsr.js");
jaroslav@332
    66
        conf.addHttpHandler(new VMInit(), "/vm.js");
jaroslav@348
    67
        conf.addHttpHandler(new Classes(resources), "/classes/");
jaroslav@371
    68
        return s;
jaroslav@357
    69
    }
jaroslav@357
    70
    
jaroslav@546
    71
    final Object[] launchServerAndBrwsr(HttpServer server, final String page) throws IOException, URISyntaxException, InterruptedException {
jaroslav@357
    72
        server.start();
jaroslav@357
    73
        NetworkListener listener = server.getListeners().iterator().next();
jaroslav@357
    74
        int port = listener.getPort();
jaroslav@357
    75
        
jaroslav@357
    76
        URI uri = new URI("http://localhost:" + port + page);
jaroslav@362
    77
        LOG.log(Level.INFO, "Showing {0}", uri);
jaroslav@433
    78
        if (cmd == null) {
jaroslav@433
    79
            try {
jaroslav@536
    80
                LOG.log(Level.INFO, "Trying Desktop.browse on {0} {2} by {1}", new Object[] {
jaroslav@536
    81
                    System.getProperty("java.vm.name"),
jaroslav@536
    82
                    System.getProperty("java.vm.vendor"),
jaroslav@536
    83
                    System.getProperty("java.vm.version"),
jaroslav@536
    84
                });
jaroslav@433
    85
                java.awt.Desktop.getDesktop().browse(uri);
jaroslav@433
    86
                LOG.log(Level.INFO, "Desktop.browse successfully finished");
jaroslav@433
    87
                return null;
jaroslav@433
    88
            } catch (UnsupportedOperationException ex) {
jaroslav@518
    89
                LOG.log(Level.INFO, "Desktop.browse not supported: {0}", ex.getMessage());
jaroslav@518
    90
                LOG.log(Level.FINE, null, ex);
jaroslav@433
    91
            }
jaroslav@369
    92
        }
jaroslav@369
    93
        {
jaroslav@382
    94
            String cmdName = cmd == null ? "xdg-open" : cmd;
jaroslav@382
    95
            String[] cmdArr = { 
jaroslav@382
    96
                cmdName, uri.toString()
jaroslav@357
    97
            };
jaroslav@382
    98
            LOG.log(Level.INFO, "Launching {0}", Arrays.toString(cmdArr));
jaroslav@382
    99
            final Process process = Runtime.getRuntime().exec(cmdArr);
jaroslav@369
   100
            return new Object[] { process, null };
jaroslav@357
   101
        }
jaroslav@361
   102
    }
jaroslav@382
   103
jaroslav@348
   104
    private class Res implements Bck2Brwsr.Resources {
jaroslav@348
   105
        @Override
jaroslav@348
   106
        public InputStream get(String resource) throws IOException {
jaroslav@348
   107
            for (ClassLoader l : loaders) {
jaroslav@348
   108
                URL u = null;
jaroslav@348
   109
                Enumeration<URL> en = l.getResources(resource);
jaroslav@348
   110
                while (en.hasMoreElements()) {
jaroslav@348
   111
                    u = en.nextElement();
jaroslav@348
   112
                }
jaroslav@348
   113
                if (u != null) {
jaroslav@348
   114
                    return u.openStream();
jaroslav@348
   115
                }
jaroslav@348
   116
            }
jaroslav@471
   117
            for (Bck2Brwsr.Resources r : xRes) {
jaroslav@471
   118
                InputStream is = r.get(resource);
jaroslav@471
   119
                if (is != null) {
jaroslav@471
   120
                    return is;
jaroslav@471
   121
                }
jaroslav@471
   122
            }
jaroslav@348
   123
            throw new IOException("Can't find " + resource);
jaroslav@348
   124
        }
jaroslav@348
   125
    }
jaroslav@330
   126
jaroslav@330
   127
    private static class VM extends HttpHandler {
jaroslav@348
   128
        private final Res loader;
jaroslav@330
   129
jaroslav@348
   130
        public VM(Res loader) {
jaroslav@330
   131
            this.loader = loader;
jaroslav@330
   132
        }
jaroslav@330
   133
jaroslav@330
   134
        @Override
jaroslav@330
   135
        public void service(Request request, Response response) throws Exception {
jaroslav@330
   136
            response.setCharacterEncoding("UTF-8");
jaroslav@330
   137
            response.setContentType("text/javascript");
jaroslav@330
   138
            Bck2Brwsr.generate(response.getWriter(), loader);
jaroslav@330
   139
        }
jaroslav@330
   140
    }
jaroslav@332
   141
    private static class VMInit extends HttpHandler {
jaroslav@332
   142
        public VMInit() {
jaroslav@332
   143
        }
jaroslav@332
   144
jaroslav@332
   145
        @Override
jaroslav@332
   146
        public void service(Request request, Response response) throws Exception {
jaroslav@332
   147
            response.setCharacterEncoding("UTF-8");
jaroslav@332
   148
            response.setContentType("text/javascript");
jaroslav@332
   149
            response.getWriter().append(
jaroslav@332
   150
                "function ldCls(res) {\n"
jaroslav@332
   151
                + "  var request = new XMLHttpRequest();\n"
jaroslav@357
   152
                + "  request.open('GET', '/classes/' + res, false);\n"
jaroslav@332
   153
                + "  request.send();\n"
jaroslav@332
   154
                + "  var arr = eval('(' + request.responseText + ')');\n"
jaroslav@332
   155
                + "  return arr;\n"
jaroslav@332
   156
                + "}\n"
jaroslav@332
   157
                + "var vm = new bck2brwsr(ldCls);\n");
jaroslav@332
   158
        }
jaroslav@332
   159
    }
jaroslav@330
   160
jaroslav@330
   161
    private static class Classes extends HttpHandler {
jaroslav@348
   162
        private final Res loader;
jaroslav@330
   163
jaroslav@348
   164
        public Classes(Res loader) {
jaroslav@330
   165
            this.loader = loader;
jaroslav@330
   166
        }
jaroslav@330
   167
jaroslav@330
   168
        @Override
jaroslav@330
   169
        public void service(Request request, Response response) throws Exception {
jaroslav@330
   170
            String res = request.getHttpHandlerPath();
jaroslav@330
   171
            if (res.startsWith("/")) {
jaroslav@330
   172
                res = res.substring(1);
jaroslav@330
   173
            }
jaroslav@348
   174
            try (InputStream is = loader.get(res)) {
jaroslav@348
   175
                response.setContentType("text/javascript");
jaroslav@348
   176
                Writer w = response.getWriter();
jaroslav@348
   177
                w.append("[");
jaroslav@348
   178
                for (int i = 0;; i++) {
jaroslav@348
   179
                    int b = is.read();
jaroslav@348
   180
                    if (b == -1) {
jaroslav@348
   181
                        break;
jaroslav@348
   182
                    }
jaroslav@348
   183
                    if (i > 0) {
jaroslav@348
   184
                        w.append(", ");
jaroslav@348
   185
                    }
jaroslav@348
   186
                    if (i % 20 == 0) {
jaroslav@348
   187
                        w.write("\n");
jaroslav@348
   188
                    }
jaroslav@348
   189
                    if (b > 127) {
jaroslav@348
   190
                        b = b - 256;
jaroslav@348
   191
                    }
jaroslav@348
   192
                    w.append(Integer.toString(b));
jaroslav@348
   193
                }
jaroslav@348
   194
                w.append("\n]");
jaroslav@348
   195
            } catch (IOException ex) {
jaroslav@348
   196
                response.setError();
jaroslav@348
   197
                response.setDetailMessage(ex.getMessage());
jaroslav@330
   198
            }
jaroslav@330
   199
        }
jaroslav@330
   200
    }
jaroslav@323
   201
}