rt/vm/src/main/java/org/apidesign/vm4brwsr/VM.java
author Lubomir Nerad <lubomir.nerad@oracle.com>
Fri, 26 Apr 2013 18:48:34 +0200
branchclosure
changeset 1029 b1fe994d4267
parent 1020 a6bacea2518f
child 1083 9d6130cb464f
permissions -rw-r--r--
Partially working extension modules
jaroslav@106
     1
/**
jaroslav@106
     2
 * Back 2 Browser Bytecode Translator
jaroslav@106
     3
 * Copyright (C) 2012 Jaroslav Tulach <jaroslav.tulach@apidesign.org>
jaroslav@106
     4
 *
jaroslav@106
     5
 * This program is free software: you can redistribute it and/or modify
jaroslav@106
     6
 * it under the terms of the GNU General Public License as published by
jaroslav@106
     7
 * the Free Software Foundation, version 2 of the License.
jaroslav@106
     8
 *
jaroslav@106
     9
 * This program is distributed in the hope that it will be useful,
jaroslav@106
    10
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
jaroslav@106
    11
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
jaroslav@106
    12
 * GNU General Public License for more details.
jaroslav@106
    13
 *
jaroslav@106
    14
 * You should have received a copy of the GNU General Public License
jaroslav@106
    15
 * along with this program. Look for COPYING file in the top folder.
jaroslav@106
    16
 * If not, see http://opensource.org/licenses/GPL-2.0.
jaroslav@106
    17
 */
jaroslav@29
    18
package org.apidesign.vm4brwsr;
jaroslav@29
    19
jaroslav@29
    20
import java.io.IOException;
jaroslav@29
    21
import java.io.InputStream;
lubomir@1029
    22
import org.apidesign.vm4brwsr.ByteCodeParser.ClassData;
jaroslav@29
    23
jaroslav@29
    24
/** Generator of JavaScript from bytecode of classes on classpath of the VM.
jaroslav@29
    25
 *
jaroslav@29
    26
 * @author Jaroslav Tulach <jtulach@netbeans.org>
jaroslav@29
    27
 */
lubomir@1020
    28
abstract class VM extends ByteCodeToJavaScript {
lubomir@1029
    29
    protected final Bck2Brwsr.Resources resources;
lubomir@1029
    30
    private final ExportedSymbols exportedSymbols;
lubomir@1029
    31
lubomir@1029
    32
    private VM(Appendable out, Bck2Brwsr.Resources resources) {
lubomir@1029
    33
        super(out);
lubomir@1029
    34
        this.resources = resources;
lubomir@1029
    35
        this.exportedSymbols = new ExportedSymbols(resources);
lubomir@869
    36
    }
lubomir@869
    37
jaroslav@277
    38
    static {
jaroslav@277
    39
        // uses VMLazy to load dynamic classes
jaroslav@671
    40
        boolean assertsOn = false;
jaroslav@671
    41
        assert assertsOn = true;
jaroslav@671
    42
        if (assertsOn) {
jaroslav@671
    43
            VMLazy.init();
jaroslav@671
    44
            Zips.init();
jaroslav@671
    45
        }
jaroslav@277
    46
    }
jaroslav@399
    47
jaroslav@399
    48
    @Override
jaroslav@399
    49
    boolean debug(String msg) throws IOException {
jaroslav@399
    50
        return false;
jaroslav@399
    51
    }
jaroslav@277
    52
    
lubomir@1029
    53
    static void compileStandalone(Bck2Brwsr.Resources l, Appendable out, StringArray names) throws IOException {
lubomir@1029
    54
        VM vm = new Standalone(out, l);
lubomir@1029
    55
        vm.doCompile(names);
jaroslav@29
    56
    }
lubomir@869
    57
lubomir@1029
    58
    static void compileExtension(Bck2Brwsr.Resources l, Appendable out, StringArray names) throws IOException {
lubomir@1029
    59
        VM vm = new Extension(out, l);
lubomir@1029
    60
        vm.doCompile(names);
lubomir@869
    61
    }
lubomir@869
    62
lubomir@1029
    63
    private void doCompile(StringArray names) throws IOException {
lubomir@1020
    64
        generatePrologue();
lubomir@1029
    65
        generateBody(names);
lubomir@1020
    66
        generateEpilogue();
lubomir@1020
    67
    }
lubomir@1020
    68
lubomir@1020
    69
    protected abstract void generatePrologue() throws IOException;
lubomir@1020
    70
lubomir@1020
    71
    protected abstract void generateEpilogue() throws IOException;
lubomir@1020
    72
lubomir@1029
    73
    protected abstract String generateClass(String className)
lubomir@1029
    74
            throws IOException;
lubomir@1029
    75
lubomir@1029
    76
    protected abstract String getExportsObject();
lubomir@1029
    77
lubomir@1029
    78
    @Override
lubomir@1029
    79
    protected final void declaredClass(ClassData classData, String mangledName)
lubomir@1029
    80
            throws IOException {
lubomir@1029
    81
        if (exportedSymbols.isExported(classData)) {
lubomir@1029
    82
            out.append("\n").append(getExportsObject()).append("['")
lubomir@1029
    83
                                               .append(mangledName)
lubomir@1029
    84
                                               .append("'] = ")
lubomir@1029
    85
                            .append(accessClass(mangledName))
lubomir@1029
    86
               .append(";\n");
lubomir@1029
    87
        }
lubomir@1029
    88
    }
lubomir@1029
    89
lubomir@1029
    90
    private void generateBody(StringArray names) throws IOException {
jtulach@162
    91
        StringArray processed = new StringArray();
jtulach@162
    92
        StringArray initCode = new StringArray();
jtulach@162
    93
        for (String baseClass : names.toArray()) {
jaroslav@272
    94
            references.add(baseClass);
jaroslav@97
    95
            for (;;) {
jaroslav@97
    96
                String name = null;
jaroslav@272
    97
                for (String n : references.toArray()) {
jtulach@162
    98
                    if (processed.contains(n)) {
jaroslav@97
    99
                        continue;
jaroslav@97
   100
                    }
jaroslav@97
   101
                    name = n;
jaroslav@97
   102
                }
jaroslav@97
   103
                if (name == null) {
jaroslav@97
   104
                    break;
jaroslav@97
   105
                }
lubomir@1029
   106
jaroslav@97
   107
                try {
lubomir@1029
   108
                    String ic = generateClass(name);
jtulach@162
   109
                    processed.add(name);
jtulach@162
   110
                    initCode.add(ic == null ? "" : ic);
jaroslav@97
   111
                } catch (RuntimeException ex) {
jaroslav@97
   112
                    if (out instanceof CharSequence) {
jaroslav@97
   113
                        CharSequence seq = (CharSequence)out;
jaroslav@97
   114
                        int lastBlock = seq.length();
jaroslav@151
   115
                        while (lastBlock-- > 0) {
jaroslav@97
   116
                            if (seq.charAt(lastBlock) == '{') {
jaroslav@97
   117
                                break;
jaroslav@97
   118
                            }
jaroslav@29
   119
                        }
lubomir@1020
   120
                        throw new IOException("Error while compiling " + name + "\n"
jaroslav@97
   121
                            + seq.subSequence(lastBlock + 1, seq.length()), ex
jaroslav@97
   122
                        );
jaroslav@97
   123
                    } else {
lubomir@1020
   124
                        throw new IOException("Error while compiling " + name + "\n"
jaroslav@97
   125
                            + out, ex
jaroslav@97
   126
                        );
jaroslav@29
   127
                    }
jaroslav@97
   128
                }
jaroslav@29
   129
            }
jaroslav@97
   130
jaroslav@272
   131
            for (String resource : scripts.toArray()) {
jaroslav@250
   132
                while (resource.startsWith("/")) {
jaroslav@250
   133
                    resource = resource.substring(1);
jaroslav@250
   134
                }
lubomir@1029
   135
                InputStream emul = resources.get(resource);
jaroslav@250
   136
                if (emul == null) {
jaroslav@250
   137
                    throw new IOException("Can't find " + resource);
jaroslav@250
   138
                }
jaroslav@250
   139
                readResource(emul, out);
jaroslav@250
   140
            }
jaroslav@272
   141
            scripts = new StringArray();
lubomir@1020
   142
jaroslav@272
   143
            StringArray toInit = StringArray.asList(references.toArray());
jtulach@162
   144
            toInit.reverse();
jtulach@129
   145
jtulach@162
   146
            for (String ic : toInit.toArray()) {
jtulach@162
   147
                int indx = processed.indexOf(ic);
jtulach@162
   148
                if (indx >= 0) {
jaroslav@833
   149
                    final String theCode = initCode.toArray()[indx];
jaroslav@833
   150
                    if (!theCode.isEmpty()) {
jaroslav@833
   151
                        out.append(theCode).append("\n");
jaroslav@833
   152
                    }
jtulach@162
   153
                    initCode.toArray()[indx] = "";
jaroslav@91
   154
                }
jaroslav@91
   155
            }
jaroslav@29
   156
        }
jaroslav@29
   157
    }
lubomir@1020
   158
jaroslav@90
   159
    private static void readResource(InputStream emul, Appendable out) throws IOException {
jaroslav@90
   160
        try {
jaroslav@90
   161
            int state = 0;
jaroslav@90
   162
            for (;;) {
jaroslav@90
   163
                int ch = emul.read();
jaroslav@90
   164
                if (ch == -1) {
jaroslav@90
   165
                    break;
jaroslav@90
   166
                }
jaroslav@90
   167
                if (ch < 0 || ch > 255) {
jaroslav@90
   168
                    throw new IOException("Invalid char in emulation " + ch);
jaroslav@90
   169
                }
jaroslav@90
   170
                switch (state) {
jaroslav@90
   171
                    case 0: 
jaroslav@90
   172
                        if (ch == '/') {
jaroslav@90
   173
                            state = 1;
jaroslav@90
   174
                        } else {
jaroslav@90
   175
                            out.append((char)ch);
jaroslav@90
   176
                        }
jaroslav@90
   177
                        break;
jaroslav@90
   178
                    case 1:
jaroslav@90
   179
                        if (ch == '*') {
jaroslav@90
   180
                            state = 2;
jaroslav@90
   181
                        } else {
jaroslav@90
   182
                            out.append('/').append((char)ch);
jaroslav@90
   183
                            state = 0;
jaroslav@90
   184
                        }
jaroslav@90
   185
                        break;
jaroslav@90
   186
                    case 2:
jaroslav@90
   187
                        if (ch == '*') {
jaroslav@90
   188
                            state = 3;
jaroslav@90
   189
                        }
jaroslav@90
   190
                        break;
jaroslav@90
   191
                    case 3:
jaroslav@90
   192
                        if (ch == '/') {
jaroslav@90
   193
                            state = 0;
jaroslav@90
   194
                        } else {
jaroslav@90
   195
                            state = 2;
jaroslav@90
   196
                        }
jaroslav@90
   197
                        break;
jaroslav@90
   198
                }
jaroslav@90
   199
            }
jaroslav@90
   200
        } finally {
jaroslav@90
   201
            emul.close();
jaroslav@90
   202
        }
jaroslav@90
   203
    }
jaroslav@93
   204
jaroslav@298
   205
    private static InputStream loadClass(Bck2Brwsr.Resources l, String name) throws IOException {
jaroslav@298
   206
        return l.get(name + ".class"); // NOI18N
jaroslav@93
   207
    }
jaroslav@136
   208
jaroslav@136
   209
    static String toString(String name) throws IOException {
jaroslav@136
   210
        StringBuilder sb = new StringBuilder();
jaroslav@298
   211
//        compile(sb, name);
jaroslav@136
   212
        return sb.toString().toString();
jaroslav@136
   213
    }
jtulach@162
   214
jtulach@162
   215
    private StringArray scripts = new StringArray();
jtulach@162
   216
    private StringArray references = new StringArray();
jtulach@162
   217
    
jtulach@162
   218
    @Override
jtulach@162
   219
    protected boolean requireReference(String cn) {
jtulach@162
   220
        if (references.contains(cn)) {
jtulach@162
   221
            return false;
jtulach@162
   222
        }
jtulach@162
   223
        references.add(cn);
jtulach@162
   224
        return true;
jtulach@162
   225
    }
jtulach@162
   226
jtulach@162
   227
    @Override
jtulach@162
   228
    protected void requireScript(String resourcePath) {
jtulach@162
   229
        scripts.add(resourcePath);
jtulach@162
   230
    }
jaroslav@274
   231
jaroslav@274
   232
    @Override
jaroslav@274
   233
    String assignClass(String className) {
jaroslav@274
   234
        return "vm." + className + " = ";
jaroslav@274
   235
    }
jaroslav@274
   236
    
jaroslav@274
   237
    @Override
jaroslav@274
   238
    String accessClass(String className) {
jaroslav@274
   239
        return "vm." + className;
jaroslav@274
   240
    }
lubomir@869
   241
lubomir@1020
   242
    private static final class Standalone extends VM {
lubomir@1029
   243
        private Standalone(Appendable out, Bck2Brwsr.Resources resources) {
lubomir@1029
   244
            super(out, resources);
lubomir@1020
   245
        }
lubomir@1020
   246
lubomir@1020
   247
        @Override
lubomir@1020
   248
        protected void generatePrologue() throws IOException {
lubomir@1020
   249
            out.append("(function VM(global) {var fillInVMSkeleton = function(vm) {");
lubomir@1020
   250
        }
lubomir@1020
   251
lubomir@1020
   252
        @Override
lubomir@1020
   253
        protected void generateEpilogue() throws IOException {
lubomir@1020
   254
            out.append(
lubomir@1020
   255
                  "  return vm;\n"
lubomir@1020
   256
                + "  };\n"
lubomir@1029
   257
                + "  var extensions = [];\n"
lubomir@1020
   258
                + "  global.bck2brwsr = function() {\n"
lubomir@1020
   259
                + "    var args = Array.prototype.slice.apply(arguments);\n"
lubomir@1020
   260
                + "    var vm = fillInVMSkeleton({});\n"
lubomir@1029
   261
                + "    for (var i = 0; i < extensions.length; ++i) {\n"
lubomir@1029
   262
                + "      extensions[i](vm);\n"
lubomir@1029
   263
                + "    }\n"
lubomir@1020
   264
                + "    var loader = {};\n"
lubomir@1020
   265
                + "    loader.vm = vm;\n"
lubomir@1020
   266
                + "    loader.loadClass = function(name) {\n"
lubomir@1020
   267
                + "      var attr = name.replace__Ljava_lang_String_2CC('.','_');\n"
lubomir@1020
   268
                + "      var fn = vm[attr];\n"
lubomir@1020
   269
                + "      if (fn) return fn(false);\n"
lubomir@1020
   270
                + "      return vm.org_apidesign_vm4brwsr_VMLazy(false).\n"
lubomir@1020
   271
                + "        load__Ljava_lang_Object_2Ljava_lang_Object_2Ljava_lang_String_2_3Ljava_lang_Object_2(loader, name, args);\n"
lubomir@1020
   272
                + "    }\n"
lubomir@1020
   273
                + "    if (vm.loadClass) {\n"
lubomir@1020
   274
                + "      throw 'Cannot initialize the bck2brwsr VM twice!';\n"
lubomir@1020
   275
                + "    }\n"
lubomir@1020
   276
                + "    vm.loadClass = loader.loadClass;\n"
lubomir@1020
   277
                + "    vm.loadBytes = function(name) {\n"
lubomir@1020
   278
                + "      return vm.org_apidesign_vm4brwsr_VMLazy(false).\n"
lubomir@1020
   279
                + "        loadBytes___3BLjava_lang_Object_2Ljava_lang_String_2_3Ljava_lang_Object_2(loader, name, args);\n"
lubomir@1020
   280
                + "    }\n"
lubomir@1020
   281
                + "    vm.java_lang_reflect_Array(false);\n"
lubomir@1020
   282
                + "    vm.org_apidesign_vm4brwsr_VMLazy(false).\n"
lubomir@1020
   283
                + "      loadBytes___3BLjava_lang_Object_2Ljava_lang_String_2_3Ljava_lang_Object_2(loader, null, args);\n"
lubomir@1020
   284
                + "    return loader;\n"
lubomir@1020
   285
                + "  };\n");
lubomir@1029
   286
            out.append(
lubomir@1029
   287
                  "  global.bck2brwsr.registerExtension"
lubomir@1029
   288
                             + " = function(extension) {\n"
lubomir@1029
   289
                + "    extensions.push(extension);\n"
lubomir@1029
   290
                + "  };\n");
lubomir@1020
   291
            out.append("}(this));");
lubomir@1020
   292
        }
lubomir@1020
   293
lubomir@1020
   294
        @Override
lubomir@1029
   295
        protected String generateClass(String className) throws IOException {
lubomir@1029
   296
            InputStream is = loadClass(resources, className);
lubomir@1029
   297
            if (is == null) {
lubomir@1029
   298
                throw new IOException("Can't find class " + className);
lubomir@1029
   299
            }
lubomir@1029
   300
            return compile(is);
lubomir@1029
   301
        }
lubomir@1029
   302
lubomir@1029
   303
        @Override
lubomir@1029
   304
        protected String getExportsObject() {
lubomir@1020
   305
            return "vm";
lubomir@1020
   306
        }
lubomir@1020
   307
    }
lubomir@1020
   308
lubomir@1020
   309
    private static final class Extension extends VM {
lubomir@1029
   310
        private Extension(Appendable out, Bck2Brwsr.Resources resources) {
lubomir@1029
   311
            super(out, resources);
lubomir@1020
   312
        }
lubomir@1020
   313
lubomir@1020
   314
        @Override
lubomir@1020
   315
        protected void generatePrologue() throws IOException {
lubomir@1020
   316
            out.append("bck2brwsr.registerExtension(function(exports) {\n"
lubomir@1020
   317
                           + "  var vm = {};\n");
lubomir@1029
   318
            out.append("  function link(n, inst) {\n"
lubomir@1029
   319
                           + "    var cls = n.replace__Ljava_lang_String_2CC("
lubomir@1029
   320
                                                  + "'/', '_').toString();\n"
lubomir@1029
   321
                           + "    var dot = n.replace__Ljava_lang_String_2CC("
lubomir@1029
   322
                                                  + "'/', '.').toString();\n"
lubomir@1029
   323
                           + "    exports.loadClass(dot);\n"
lubomir@1029
   324
                           + "    vm[cls] = exports[cls];\n"
lubomir@1029
   325
                           + "    return vm[cls](inst);\n"
lubomir@1029
   326
                           + "  };\n");
lubomir@1020
   327
        }
lubomir@1020
   328
lubomir@1020
   329
        @Override
lubomir@1020
   330
        protected void generateEpilogue() throws IOException {
lubomir@1020
   331
            out.append("});");
lubomir@1020
   332
        }
lubomir@1020
   333
lubomir@1020
   334
        @Override
lubomir@1029
   335
        protected String generateClass(String className) throws IOException {
lubomir@1029
   336
            InputStream is = loadClass(resources, className);
lubomir@1029
   337
            if (is == null) {
lubomir@1029
   338
                out.append("\n").append(assignClass(
lubomir@1029
   339
                                            className.replace('/', '_')))
lubomir@1029
   340
                   .append("function() {\n  return link('")
lubomir@1029
   341
                   .append(className)
lubomir@1029
   342
                   .append("', arguments.length == 0 || arguments[0] === true);"
lubomir@1029
   343
                               + "\n};");
lubomir@1029
   344
lubomir@1029
   345
                return null;
lubomir@1029
   346
            }
lubomir@1029
   347
lubomir@1029
   348
            return compile(is);
lubomir@1029
   349
        }
lubomir@1029
   350
lubomir@1029
   351
        @Override
lubomir@1029
   352
        protected String getExportsObject() {
lubomir@1020
   353
            return "exports";
lubomir@1020
   354
        }
lubomir@869
   355
    }
jaroslav@29
   356
}