rt/vm/src/main/java/org/apidesign/vm4brwsr/VM.java
author Lubomir Nerad <lubomir.nerad@oracle.com>
Mon, 06 May 2013 18:06:08 +0200
branchclosure
changeset 1084 f5c9934a252c
parent 1083 9d6130cb464f
child 1085 6a4ef883e233
permissions -rw-r--r--
Overridable class member access type
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;
lubomir@1083
    23
import org.apidesign.vm4brwsr.ByteCodeParser.FieldData;
lubomir@1083
    24
import org.apidesign.vm4brwsr.ByteCodeParser.MethodData;
jaroslav@29
    25
jaroslav@29
    26
/** Generator of JavaScript from bytecode of classes on classpath of the VM.
jaroslav@29
    27
 *
jaroslav@29
    28
 * @author Jaroslav Tulach <jtulach@netbeans.org>
jaroslav@29
    29
 */
lubomir@1020
    30
abstract class VM extends ByteCodeToJavaScript {
lubomir@1084
    31
    protected final ClassDataCache classDataCache;
lubomir@1084
    32
lubomir@1084
    33
    private final Bck2Brwsr.Resources resources;
lubomir@1029
    34
    private final ExportedSymbols exportedSymbols;
lubomir@1029
    35
lubomir@1029
    36
    private VM(Appendable out, Bck2Brwsr.Resources resources) {
lubomir@1029
    37
        super(out);
lubomir@1029
    38
        this.resources = resources;
lubomir@1084
    39
        this.classDataCache = new ClassDataCache(resources);
lubomir@1029
    40
        this.exportedSymbols = new ExportedSymbols(resources);
lubomir@869
    41
    }
lubomir@869
    42
jaroslav@277
    43
    static {
jaroslav@277
    44
        // uses VMLazy to load dynamic classes
jaroslav@671
    45
        boolean assertsOn = false;
jaroslav@671
    46
        assert assertsOn = true;
jaroslav@671
    47
        if (assertsOn) {
jaroslav@671
    48
            VMLazy.init();
jaroslav@671
    49
            Zips.init();
jaroslav@671
    50
        }
jaroslav@277
    51
    }
jaroslav@399
    52
jaroslav@399
    53
    @Override
jaroslav@399
    54
    boolean debug(String msg) throws IOException {
jaroslav@399
    55
        return false;
jaroslav@399
    56
    }
jaroslav@277
    57
    
lubomir@1029
    58
    static void compileStandalone(Bck2Brwsr.Resources l, Appendable out, StringArray names) throws IOException {
lubomir@1029
    59
        VM vm = new Standalone(out, l);
lubomir@1029
    60
        vm.doCompile(names);
jaroslav@29
    61
    }
lubomir@869
    62
lubomir@1029
    63
    static void compileExtension(Bck2Brwsr.Resources l, Appendable out, StringArray names) throws IOException {
lubomir@1029
    64
        VM vm = new Extension(out, l);
lubomir@1029
    65
        vm.doCompile(names);
lubomir@869
    66
    }
lubomir@869
    67
lubomir@1029
    68
    private void doCompile(StringArray names) throws IOException {
lubomir@1020
    69
        generatePrologue();
lubomir@1029
    70
        generateBody(names);
lubomir@1020
    71
        generateEpilogue();
lubomir@1020
    72
    }
lubomir@1020
    73
lubomir@1020
    74
    protected abstract void generatePrologue() throws IOException;
lubomir@1020
    75
lubomir@1020
    76
    protected abstract void generateEpilogue() throws IOException;
lubomir@1020
    77
lubomir@1029
    78
    protected abstract String generateClass(String className)
lubomir@1029
    79
            throws IOException;
lubomir@1029
    80
lubomir@1029
    81
    protected abstract String getExportsObject();
lubomir@1029
    82
lubomir@1029
    83
    @Override
lubomir@1029
    84
    protected final void declaredClass(ClassData classData, String mangledName)
lubomir@1029
    85
            throws IOException {
lubomir@1029
    86
        if (exportedSymbols.isExported(classData)) {
lubomir@1029
    87
            out.append("\n").append(getExportsObject()).append("['")
lubomir@1029
    88
                                               .append(mangledName)
lubomir@1029
    89
                                               .append("'] = ")
lubomir@1029
    90
                            .append(accessClass(mangledName))
lubomir@1029
    91
               .append(";\n");
lubomir@1029
    92
        }
lubomir@1029
    93
    }
lubomir@1029
    94
lubomir@1083
    95
    @Override
lubomir@1083
    96
    protected void declaredField(FieldData fieldData,
lubomir@1083
    97
                                 String destObject,
lubomir@1083
    98
                                 String mangledName) throws IOException {
lubomir@1083
    99
        if (exportedSymbols.isExported(fieldData)) {
lubomir@1083
   100
            exportMember(destObject, mangledName);
lubomir@1083
   101
        }
lubomir@1083
   102
    }
lubomir@1083
   103
lubomir@1083
   104
    @Override
lubomir@1083
   105
    protected void declaredMethod(MethodData methodData,
lubomir@1083
   106
                                  String destObject,
lubomir@1083
   107
                                  String mangledName) throws IOException {
lubomir@1083
   108
        if (exportedSymbols.isExported(methodData)) {
lubomir@1083
   109
            exportMember(destObject, mangledName);
lubomir@1083
   110
        }
lubomir@1083
   111
    }
lubomir@1083
   112
lubomir@1083
   113
    private void exportMember(String destObject, String memberName)
lubomir@1083
   114
            throws IOException {
lubomir@1083
   115
        out.append("\n").append(destObject).append("['")
lubomir@1083
   116
                                           .append(memberName)
lubomir@1083
   117
                                           .append("'] = ")
lubomir@1083
   118
                        .append(destObject).append(".").append(memberName)
lubomir@1083
   119
           .append(";\n");
lubomir@1083
   120
    }
lubomir@1083
   121
lubomir@1029
   122
    private void generateBody(StringArray names) throws IOException {
jtulach@162
   123
        StringArray processed = new StringArray();
jtulach@162
   124
        StringArray initCode = new StringArray();
jtulach@162
   125
        for (String baseClass : names.toArray()) {
jaroslav@272
   126
            references.add(baseClass);
jaroslav@97
   127
            for (;;) {
jaroslav@97
   128
                String name = null;
jaroslav@272
   129
                for (String n : references.toArray()) {
jtulach@162
   130
                    if (processed.contains(n)) {
jaroslav@97
   131
                        continue;
jaroslav@97
   132
                    }
jaroslav@97
   133
                    name = n;
jaroslav@97
   134
                }
jaroslav@97
   135
                if (name == null) {
jaroslav@97
   136
                    break;
jaroslav@97
   137
                }
lubomir@1029
   138
jaroslav@97
   139
                try {
lubomir@1029
   140
                    String ic = generateClass(name);
jtulach@162
   141
                    processed.add(name);
jtulach@162
   142
                    initCode.add(ic == null ? "" : ic);
jaroslav@97
   143
                } catch (RuntimeException ex) {
jaroslav@97
   144
                    if (out instanceof CharSequence) {
jaroslav@97
   145
                        CharSequence seq = (CharSequence)out;
jaroslav@97
   146
                        int lastBlock = seq.length();
jaroslav@151
   147
                        while (lastBlock-- > 0) {
jaroslav@97
   148
                            if (seq.charAt(lastBlock) == '{') {
jaroslav@97
   149
                                break;
jaroslav@97
   150
                            }
jaroslav@29
   151
                        }
lubomir@1020
   152
                        throw new IOException("Error while compiling " + name + "\n"
jaroslav@97
   153
                            + seq.subSequence(lastBlock + 1, seq.length()), ex
jaroslav@97
   154
                        );
jaroslav@97
   155
                    } else {
lubomir@1020
   156
                        throw new IOException("Error while compiling " + name + "\n"
jaroslav@97
   157
                            + out, ex
jaroslav@97
   158
                        );
jaroslav@29
   159
                    }
jaroslav@97
   160
                }
jaroslav@29
   161
            }
jaroslav@97
   162
jaroslav@272
   163
            for (String resource : scripts.toArray()) {
jaroslav@250
   164
                while (resource.startsWith("/")) {
jaroslav@250
   165
                    resource = resource.substring(1);
jaroslav@250
   166
                }
lubomir@1029
   167
                InputStream emul = resources.get(resource);
jaroslav@250
   168
                if (emul == null) {
jaroslav@250
   169
                    throw new IOException("Can't find " + resource);
jaroslav@250
   170
                }
jaroslav@250
   171
                readResource(emul, out);
jaroslav@250
   172
            }
jaroslav@272
   173
            scripts = new StringArray();
lubomir@1020
   174
jaroslav@272
   175
            StringArray toInit = StringArray.asList(references.toArray());
jtulach@162
   176
            toInit.reverse();
jtulach@129
   177
jtulach@162
   178
            for (String ic : toInit.toArray()) {
jtulach@162
   179
                int indx = processed.indexOf(ic);
jtulach@162
   180
                if (indx >= 0) {
jaroslav@833
   181
                    final String theCode = initCode.toArray()[indx];
jaroslav@833
   182
                    if (!theCode.isEmpty()) {
jaroslav@833
   183
                        out.append(theCode).append("\n");
jaroslav@833
   184
                    }
jtulach@162
   185
                    initCode.toArray()[indx] = "";
jaroslav@91
   186
                }
jaroslav@91
   187
            }
jaroslav@29
   188
        }
jaroslav@29
   189
    }
lubomir@1020
   190
jaroslav@90
   191
    private static void readResource(InputStream emul, Appendable out) throws IOException {
jaroslav@90
   192
        try {
jaroslav@90
   193
            int state = 0;
jaroslav@90
   194
            for (;;) {
jaroslav@90
   195
                int ch = emul.read();
jaroslav@90
   196
                if (ch == -1) {
jaroslav@90
   197
                    break;
jaroslav@90
   198
                }
jaroslav@90
   199
                if (ch < 0 || ch > 255) {
jaroslav@90
   200
                    throw new IOException("Invalid char in emulation " + ch);
jaroslav@90
   201
                }
jaroslav@90
   202
                switch (state) {
jaroslav@90
   203
                    case 0: 
jaroslav@90
   204
                        if (ch == '/') {
jaroslav@90
   205
                            state = 1;
jaroslav@90
   206
                        } else {
jaroslav@90
   207
                            out.append((char)ch);
jaroslav@90
   208
                        }
jaroslav@90
   209
                        break;
jaroslav@90
   210
                    case 1:
jaroslav@90
   211
                        if (ch == '*') {
jaroslav@90
   212
                            state = 2;
jaroslav@90
   213
                        } else {
jaroslav@90
   214
                            out.append('/').append((char)ch);
jaroslav@90
   215
                            state = 0;
jaroslav@90
   216
                        }
jaroslav@90
   217
                        break;
jaroslav@90
   218
                    case 2:
jaroslav@90
   219
                        if (ch == '*') {
jaroslav@90
   220
                            state = 3;
jaroslav@90
   221
                        }
jaroslav@90
   222
                        break;
jaroslav@90
   223
                    case 3:
jaroslav@90
   224
                        if (ch == '/') {
jaroslav@90
   225
                            state = 0;
jaroslav@90
   226
                        } else {
jaroslav@90
   227
                            state = 2;
jaroslav@90
   228
                        }
jaroslav@90
   229
                        break;
jaroslav@90
   230
                }
jaroslav@90
   231
            }
jaroslav@90
   232
        } finally {
jaroslav@90
   233
            emul.close();
jaroslav@90
   234
        }
jaroslav@90
   235
    }
jaroslav@93
   236
jaroslav@136
   237
    static String toString(String name) throws IOException {
jaroslav@136
   238
        StringBuilder sb = new StringBuilder();
jaroslav@298
   239
//        compile(sb, name);
jaroslav@136
   240
        return sb.toString().toString();
jaroslav@136
   241
    }
jtulach@162
   242
jtulach@162
   243
    private StringArray scripts = new StringArray();
jtulach@162
   244
    private StringArray references = new StringArray();
jtulach@162
   245
    
jtulach@162
   246
    @Override
jtulach@162
   247
    protected boolean requireReference(String cn) {
jtulach@162
   248
        if (references.contains(cn)) {
jtulach@162
   249
            return false;
jtulach@162
   250
        }
jtulach@162
   251
        references.add(cn);
jtulach@162
   252
        return true;
jtulach@162
   253
    }
jtulach@162
   254
jtulach@162
   255
    @Override
jtulach@162
   256
    protected void requireScript(String resourcePath) {
jtulach@162
   257
        scripts.add(resourcePath);
jtulach@162
   258
    }
jaroslav@274
   259
jaroslav@274
   260
    @Override
jaroslav@274
   261
    String assignClass(String className) {
jaroslav@274
   262
        return "vm." + className + " = ";
jaroslav@274
   263
    }
jaroslav@274
   264
    
jaroslav@274
   265
    @Override
jaroslav@274
   266
    String accessClass(String className) {
jaroslav@274
   267
        return "vm." + className;
jaroslav@274
   268
    }
lubomir@869
   269
lubomir@1084
   270
    @Override
lubomir@1084
   271
    protected String accessMember(String object, String mangledName,
lubomir@1084
   272
                                  String[] fieldInfoName) throws IOException {
lubomir@1084
   273
        final ClassData declaringClass =
lubomir@1084
   274
                classDataCache.getClassData(fieldInfoName[0]);
lubomir@1084
   275
        if (declaringClass == null) {
lubomir@1084
   276
            return object + "['" + mangledName + "']";
lubomir@1084
   277
        }
lubomir@1084
   278
lubomir@1084
   279
        // TODO
lubomir@1084
   280
        return object + "." + mangledName;
lubomir@1084
   281
    }
lubomir@1084
   282
lubomir@1020
   283
    private static final class Standalone extends VM {
lubomir@1029
   284
        private Standalone(Appendable out, Bck2Brwsr.Resources resources) {
lubomir@1029
   285
            super(out, resources);
lubomir@1020
   286
        }
lubomir@1020
   287
lubomir@1020
   288
        @Override
lubomir@1020
   289
        protected void generatePrologue() throws IOException {
lubomir@1020
   290
            out.append("(function VM(global) {var fillInVMSkeleton = function(vm) {");
lubomir@1020
   291
        }
lubomir@1020
   292
lubomir@1020
   293
        @Override
lubomir@1020
   294
        protected void generateEpilogue() throws IOException {
lubomir@1020
   295
            out.append(
lubomir@1020
   296
                  "  return vm;\n"
lubomir@1020
   297
                + "  };\n"
lubomir@1029
   298
                + "  var extensions = [];\n"
lubomir@1020
   299
                + "  global.bck2brwsr = function() {\n"
lubomir@1020
   300
                + "    var args = Array.prototype.slice.apply(arguments);\n"
lubomir@1020
   301
                + "    var vm = fillInVMSkeleton({});\n"
lubomir@1029
   302
                + "    for (var i = 0; i < extensions.length; ++i) {\n"
lubomir@1029
   303
                + "      extensions[i](vm);\n"
lubomir@1029
   304
                + "    }\n"
lubomir@1020
   305
                + "    var loader = {};\n"
lubomir@1020
   306
                + "    loader.vm = vm;\n"
lubomir@1020
   307
                + "    loader.loadClass = function(name) {\n"
lubomir@1020
   308
                + "      var attr = name.replace__Ljava_lang_String_2CC('.','_');\n"
lubomir@1020
   309
                + "      var fn = vm[attr];\n"
lubomir@1020
   310
                + "      if (fn) return fn(false);\n"
lubomir@1020
   311
                + "      return vm.org_apidesign_vm4brwsr_VMLazy(false).\n"
lubomir@1020
   312
                + "        load__Ljava_lang_Object_2Ljava_lang_Object_2Ljava_lang_String_2_3Ljava_lang_Object_2(loader, name, args);\n"
lubomir@1020
   313
                + "    }\n"
lubomir@1020
   314
                + "    if (vm.loadClass) {\n"
lubomir@1020
   315
                + "      throw 'Cannot initialize the bck2brwsr VM twice!';\n"
lubomir@1020
   316
                + "    }\n"
lubomir@1020
   317
                + "    vm.loadClass = loader.loadClass;\n"
lubomir@1020
   318
                + "    vm.loadBytes = function(name) {\n"
lubomir@1020
   319
                + "      return vm.org_apidesign_vm4brwsr_VMLazy(false).\n"
lubomir@1020
   320
                + "        loadBytes___3BLjava_lang_Object_2Ljava_lang_String_2_3Ljava_lang_Object_2(loader, name, args);\n"
lubomir@1020
   321
                + "    }\n"
lubomir@1020
   322
                + "    vm.java_lang_reflect_Array(false);\n"
lubomir@1020
   323
                + "    vm.org_apidesign_vm4brwsr_VMLazy(false).\n"
lubomir@1020
   324
                + "      loadBytes___3BLjava_lang_Object_2Ljava_lang_String_2_3Ljava_lang_Object_2(loader, null, args);\n"
lubomir@1020
   325
                + "    return loader;\n"
lubomir@1020
   326
                + "  };\n");
lubomir@1029
   327
            out.append(
lubomir@1029
   328
                  "  global.bck2brwsr.registerExtension"
lubomir@1029
   329
                             + " = function(extension) {\n"
lubomir@1029
   330
                + "    extensions.push(extension);\n"
lubomir@1029
   331
                + "  };\n");
lubomir@1020
   332
            out.append("}(this));");
lubomir@1020
   333
        }
lubomir@1020
   334
lubomir@1020
   335
        @Override
lubomir@1029
   336
        protected String generateClass(String className) throws IOException {
lubomir@1084
   337
            ClassData classData = classDataCache.getClassData(className);
lubomir@1084
   338
            if (classData == null) {
lubomir@1029
   339
                throw new IOException("Can't find class " + className);
lubomir@1029
   340
            }
lubomir@1084
   341
            return compile(classData);
lubomir@1029
   342
        }
lubomir@1029
   343
lubomir@1029
   344
        @Override
lubomir@1029
   345
        protected String getExportsObject() {
lubomir@1020
   346
            return "vm";
lubomir@1020
   347
        }
lubomir@1020
   348
    }
lubomir@1020
   349
lubomir@1020
   350
    private static final class Extension extends VM {
lubomir@1029
   351
        private Extension(Appendable out, Bck2Brwsr.Resources resources) {
lubomir@1029
   352
            super(out, resources);
lubomir@1020
   353
        }
lubomir@1020
   354
lubomir@1020
   355
        @Override
lubomir@1020
   356
        protected void generatePrologue() throws IOException {
lubomir@1020
   357
            out.append("bck2brwsr.registerExtension(function(exports) {\n"
lubomir@1020
   358
                           + "  var vm = {};\n");
lubomir@1029
   359
            out.append("  function link(n, inst) {\n"
lubomir@1029
   360
                           + "    var cls = n.replace__Ljava_lang_String_2CC("
lubomir@1029
   361
                                                  + "'/', '_').toString();\n"
lubomir@1029
   362
                           + "    var dot = n.replace__Ljava_lang_String_2CC("
lubomir@1029
   363
                                                  + "'/', '.').toString();\n"
lubomir@1029
   364
                           + "    exports.loadClass(dot);\n"
lubomir@1029
   365
                           + "    vm[cls] = exports[cls];\n"
lubomir@1029
   366
                           + "    return vm[cls](inst);\n"
lubomir@1029
   367
                           + "  };\n");
lubomir@1020
   368
        }
lubomir@1020
   369
lubomir@1020
   370
        @Override
lubomir@1020
   371
        protected void generateEpilogue() throws IOException {
lubomir@1020
   372
            out.append("});");
lubomir@1020
   373
        }
lubomir@1020
   374
lubomir@1020
   375
        @Override
lubomir@1029
   376
        protected String generateClass(String className) throws IOException {
lubomir@1084
   377
            ClassData classData = classDataCache.getClassData(className);
lubomir@1084
   378
            if (classData == null) {
lubomir@1029
   379
                out.append("\n").append(assignClass(
lubomir@1029
   380
                                            className.replace('/', '_')))
lubomir@1029
   381
                   .append("function() {\n  return link('")
lubomir@1029
   382
                   .append(className)
lubomir@1029
   383
                   .append("', arguments.length == 0 || arguments[0] === true);"
lubomir@1029
   384
                               + "\n};");
lubomir@1029
   385
lubomir@1029
   386
                return null;
lubomir@1029
   387
            }
lubomir@1029
   388
lubomir@1084
   389
            return compile(classData);
lubomir@1029
   390
        }
lubomir@1029
   391
lubomir@1029
   392
        @Override
lubomir@1029
   393
        protected String getExportsObject() {
lubomir@1020
   394
            return "exports";
lubomir@1020
   395
        }
lubomir@869
   396
    }
jaroslav@29
   397
}